-
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 -
-
android Public
Forked from home-assistant/android📱 Home Assistant Companion for Android
Kotlin Apache License 2.0 UpdatedDec 1, 2024 -
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 UpdatedDec 1, 2024 -
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 coq-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-sdn Public
Forked from sdnds-tw/awesome-sdnA awesome list about Software Defined Network (SDN)
MIT License UpdatedJul 15, 2024 -
awesome-zkml Public
Forked from worldcoin/awesome-zkmlawesome-zkml repository
MIT License UpdatedAug 1, 2024 -
Azure-Sentinel-Notebooks Public
Forked from Azure/Azure-Sentinel-NotebooksInteractive Azure Sentinel Notebooks provides security insights and actions to investigate anomalies and hunt for malicious behaviors.
Jupyter Notebook MIT License UpdatedOct 10, 2024 -
AzurePublicDataset Public
Forked from Azure/AzurePublicDatasetMicrosoft Azure Traces
-
backend-scoreboard Public
Forked from onnx/backend-scoreboardScoreboard for ONNX Backend Compatibility
Python Apache License 2.0 UpdatedOct 18, 2024 -
bcc Public
Forked from iovisor/bccBCC - Tools for BPF-based Linux IO analysis, networking, monitoring, and more
C Apache License 2.0 UpdatedSep 28, 2024
{{ message }}