More
More
-
1lab Public
Forked from the1lab/1labA formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
Agda GNU Affero General Public License v3.0 UpdatedOct 9, 2024 -
accelerate-llvm Public
Forked from AccelerateHS/accelerate-llvmLLVM backend for Accelerate
Haskell Other UpdatedOct 18, 2024 -
Adan Public
Forked from sail-sg/AdanAdan: Adaptive Nesterov Momentum Algorithm for Faster Optimizing Deep Models
Python Apache License 2.0 UpdatedOct 18, 2024 -
Aegis Public
Forked from vul337/AegisThe source code of Aegis (Usenix 2023)
Jupyter Notebook UpdatedOct 18, 2024 -
aern2 Public
Forked from michalkonecny/aern2A Haskell library for Approximating Exact Real Numbers (AERN) based on interval computation. (aern2 is a rewrite of aern.)
Haskell UpdatedOct 10, 2024 -
AFLplusplus Public
Forked from AFLplusplus/AFLplusplusThe 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 UpdatedOct 10, 2024 -
Agda is a dependently typed programming language / interactive theorem prover.
Haskell Other UpdatedOct 18, 2024 -
Ai4EComponentLib.jl Public
Forked from ai4energy/Ai4EComponentLib.jlA component library based on ModelingToolkit
Julia MIT License UpdatedJul 16, 2024 -
Ai4EDocs Public
Forked from ai4energy/Ai4EDocsOpen documents of Ai4Energy
Julia MIT License UpdatedOct 11, 2024 -
Ai4EJuliaApi.jl Public
Forked from ai4energy/Ai4EJuliaApi.jlmain Julia API of Ai4Energy
Julia MIT License UpdatedAug 24, 2024 -
-
AIforEarthDataSets Public
Forked from microsoft/AIforEarthDataSetsNotebooks and documentation for AI-for-Earth-managed datasets on Azure
Jupyter Notebook MIT License UpdatedNov 8, 2024 -
airavata-data-catalog Public
Forked from apache/airavata-data-catalogApache Airavata Data Catalog
Java Apache License 2.0 UpdatedOct 10, 2024 -
alaz Public
Forked from getanteon/alazAlaz: 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 UpdatedOct 2, 2024 -
-
amplify-backend Public
Forked from aws-amplify/amplify-backendHome to all tools related to Amplify's code-first DX (Gen 2) for building fullstack apps on AWS
TypeScript Apache License 2.0 UpdatedJan 7, 2025 -
amplify-ui Public
Forked from aws-amplify/amplify-uiAmplify UI is a collection of accessible, themeable, performant React (and more!) components that can connect directly to the cloud.
TypeScript Apache License 2.0 UpdatedJan 7, 2025 -
amplify-vite-react-template Public
My Amplify Gen 2 starter application
TypeScript MIT No Attribution UpdatedJan 9, 2025 -
android Public
Forked from home-assistant/android📱 Home Assistant Companion for Android
Kotlin Apache License 2.0 UpdatedApr 1, 2025 -
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 UpdatedOct 10, 2024 -
api-security-audit-action Public
Forked from 42Crunch/api-security-audit-actionTypeScript Apache License 2.0 UpdatedOct 10, 2024 -
APPFL Public
Forked from APPFL/APPFLAdvanced Privacy-Preserving Federated Learning framework
Python MIT License UpdatedOct 9, 2024 -
ArchSDN-Controller Public
Forked from ClaymorePT/ArchSDN-ControllerPython GNU General Public License v3.0 UpdatedOct 18, 2024 -
argobots Public
Forked from pmodels/argobotsOfficial Argobots Repository
C Other UpdatedOct 29, 2024 -
asn1scc Public
Forked from ttsiodras/asn1sccASN.1 compiler for embedded systems
UpdatedOct 9, 2023 -
atomate2 Public
Forked from materialsproject/atomate2atomate2 is a library of computational materials science workflows
Python Other UpdatedMar 28, 2025 -
Attention-Sink Public
Forked from sail-sg/Attention-Sink[ATTRIB @ NeurIPS 2024] When Attention Sink Emerges in Language Models: An Empirical View
Python MIT License UpdatedOct 18, 2024 -
awesome-coq Public
Forked from rocq-community/awesome-coqA curated list of awesome Coq libraries, plugins, tools, verification projects, and resources [maintainer=@palmskog]
Creative Commons Zero v1.0 Universal UpdatedAug 11, 2024 -
awesome-openfhe Public
Forked from openfheorg/awesome-openfheA curated list of amazing tools, products, tutorials, applications, publications, and other resources related to OpenFHE
BSD 2-Clause "Simplified" License UpdatedMar 20, 2025 -
awesome-sdn Public
Forked from sdnds-tw/awesome-sdnA awesome list about Software Defined Network (SDN)
MIT License UpdatedJul 15, 2024