Skip to content
View AYUSHMIT's full-sized avatar
  • USA

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
  • 1lab Public

    Forked from the1lab/1lab

    A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory

    Agda GNU Affero General Public License v3.0 Updated Oct 9, 2024
  • LLVM backend for Accelerate

    Haskell Other Updated Oct 18, 2024
  • Adan Public

    Forked from sail-sg/Adan

    Adan: Adaptive Nesterov Momentum Algorithm for Faster Optimizing Deep Models

    Python Apache License 2.0 Updated Oct 18, 2024
  • Aegis Public

    Forked from vul337/Aegis

    The source code of Aegis (Usenix 2023)

    Jupyter Notebook Updated Oct 18, 2024
  • aern2 Public

    Forked from michalkonecny/aern2

    A Haskell library for Approximating Exact Real Numbers (AERN) based on interval computation. (aern2 is a rewrite of aern.)

    Haskell Updated Oct 10, 2024
  • The fuzzer afl++ is afl with community patches, qemu 5.1 upgrade, collision-free coverage, enhanced laf-intel & redqueen, AFLfast++ power schedules, MOpt mutators, unicorn_mode, and a lot more!

    C Apache License 2.0 Updated Oct 10, 2024
  • agda Public

    Forked from agda/agda

    Agda is a dependently typed programming language / interactive theorem prover.

    Haskell Other Updated Oct 18, 2024
  • A component library based on ModelingToolkit

    Julia MIT License Updated Jul 16, 2024
  • Ai4EDocs Public

    Forked from ai4energy/Ai4EDocs

    Open documents of Ai4Energy

    Julia MIT License Updated Oct 11, 2024
  • main Julia API of Ai4Energy

    Julia MIT License Updated Aug 24, 2024
  • Ai4EServer Public

    Forked from ai4energy/Ai4EServer

    The server of Ai4Energy

    CSS Updated Jun 8, 2023
  • Notebooks and documentation for AI-for-Earth-managed datasets on Azure

    Jupyter Notebook MIT License Updated Nov 8, 2024
  • Apache Airavata Data Catalog

    Java Apache License 2.0 Updated Oct 10, 2024
  • alaz Public

    Forked from getanteon/alaz

    Alaz: Advanced eBPF Agent for Kubernetes Observability – Effortlessly monitor K8s service interactions and performance metrics in your K8s environment. Gain in-depth insights with service maps, met…

    C GNU Affero General Public License v3.0 Updated Oct 2, 2024
  • Ambic-Data Public

    CSS MIT No Attribution Updated Nov 26, 2024
  • Home to all tools related to Amplify's code-first DX (Gen 2) for building fullstack apps on AWS

    TypeScript Apache License 2.0 Updated Jan 7, 2025
  • Amplify UI is a collection of accessible, themeable, performant React (and more!) components that can connect directly to the cloud.

    TypeScript Apache License 2.0 Updated Jan 7, 2025
  • My Amplify Gen 2 starter application

    TypeScript MIT No Attribution Updated Jan 9, 2025
  • android Public

    Forked from home-assistant/android

    📱 Home Assistant Companion for Android

    Kotlin Apache License 2.0 Updated Apr 1, 2025
  • aomp Public

    Forked from ROCm/aomp

    AOMP is an open source Clang/LLVM based compiler with added support for the OpenMP® API on Radeon™ GPUs. Use this repository for releases, issues, documentation, packaging, and examples.

    Fortran Apache License 2.0 Updated Oct 10, 2024
  • TypeScript Apache License 2.0 Updated Oct 10, 2024
  • APPFL Public

    Forked from APPFL/APPFL

    Advanced Privacy-Preserving Federated Learning framework

    Python MIT License Updated Oct 9, 2024
  • Python GNU General Public License v3.0 Updated Oct 18, 2024
  • argobots Public

    Forked from pmodels/argobots

    Official Argobots Repository

    C Other Updated Oct 29, 2024
  • asn1scc Public

    Forked from ttsiodras/asn1scc

    ASN.1 compiler for embedded systems

    Updated Oct 9, 2023
  • atomate2 is a library of computational materials science workflows

    Python Other Updated Mar 28, 2025
  • [ATTRIB @ NeurIPS 2024] When Attention Sink Emerges in Language Models: An Empirical View

    Python MIT License Updated Oct 18, 2024
  • A curated list of awesome Coq libraries, plugins, tools, verification projects, and resources [maintainer=@palmskog]

    Creative Commons Zero v1.0 Universal Updated Aug 11, 2024
  • A curated list of amazing tools, products, tutorials, applications, publications, and other resources related to OpenFHE

    BSD 2-Clause "Simplified" License Updated Mar 20, 2025
  • A awesome list about Software Defined Network (SDN)

    MIT License Updated Jul 15, 2024