FazBrowse GitHub Viewer | Trending |
URL:
| Home
Tools: [Original HTTPS Page]

AYUSHMIT (Ayush Pandey) · GitHub

Overview Repositories 610 Projects Packages Stars 2.7k
6 followers · 2.6k following

Achievements

Achievements

Highlights

Block or report AYUSHMIT

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Close all issues, pull requests, and discussions opened by this user Content in all repositories owned by your account will be closed.
Add an optional note
Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Pinned Loading

  1. mujoco mujoco Public

    Forked from google-deepmind/mujoco

    Multi-Joint dynamics with Contact. A general purpose physics simulator.

    C++ 1

  2. wasm-semantics wasm-semantics Public

    Forked from runtimeverification/wasm-semantics

    A Prototype Formal Semantics of WebAssembly in K

    WebAssembly

  3. carbonstat carbonstat Public

    Forked from di-unipi-socc/carbonstat

    Python

  4. coq-library-undecidability coq-library-undecidability Public

    Forked from uds-psl/coq-library-undecidability

    A library of mechanised undecidability proofs in the Coq proof assistant.

    Coq

  5. CyberBattleSim CyberBattleSim Public

    Forked from microsoft/CyberBattleSim

    An experimentation and research platform to investigate the interaction of automated agents in an abstract simulated network environments.

    Jupyter Notebook

  6. dapr dapr Public

    Forked from dapr/dapr

    Dapr is a portable, event-driven, runtime for building distributed applications across cloud and edge.

    Go

Back | FazBrowse Home | New Git URL