Skip to content
View AYUSHMIT's full-sized avatar
35 followers · 2.2k following
  • USA
  • 22:49 - 4h behind

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.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

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

Report abuse

Pinned Loading

  1. Ai4EComponentLib.jl Public

    Forked from ai4energy/Ai4EComponentLib.jl

    A component library based on ModelingToolkit

    Julia

  2. carbonstat Public

    Forked from di-unipi-socc/carbonstat

    Python

  3. coq-library-undecidability Public

    Forked from uds-psl/coq-library-undecidability

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

    Coq

  4. 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

  5. dapr Public

    Forked from dapr/dapr

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

    Go

  6. wasm-semantics Public

    Forked from runtimeverification/wasm-semantics

    A Prototype Formal Semantics of WebAssembly in K

    WebAssembly