Highlights
- Pro
-
-
awesome-mcp-servers Public
Forked from punkpeye/awesome-mcp-serversA collection of MCP servers.
MIT License UpdatedMar 28, 2025 -
-
aiverify Public
Forked from lkafle/aiverifyAI Verify
Python Apache License 2.0 UpdatedAug 16, 2024 -
mindscript Public
Forked from DAIOS-AI/mindscriptA programming language for formal/informal computation.
Python MIT License UpdatedJun 10, 2024 -
llm.c Public
Forked from karpathy/llm.cLLM training in simple, raw C/CUDA
Cuda MIT License UpdatedMay 28, 2024 -
NNDL-PyTorch Public
PyTorch code for Neural Networks and Deep Learning written by Michael Nielsen
-
awesome-deep-rl Public
For deep RL and the future of AI.
-
-
debate Public
Forked from google-deepmind/debateFormalizing stochastic doubly-efficient debate
Lean Apache License 2.0 UpdatedNov 30, 2023 -
-
soft-moe Public
Forked from bwconrad/soft-moePyTorch implementation of "From Sparse to Soft Mixtures of Experts"
Python Apache License 2.0 UpdatedAug 22, 2023 -
Alpaca-Llama2-Multinode-on-SageMaker Public
Forked from haozhx23/Alpaca-Llama2-Multinode-on-SageMakerJupyter Notebook UpdatedJul 24, 2023 -
prm800k Public
Forked from openai/prm800k800,000 step-level correctness labels on LLM solutions to MATH problems
Python MIT License UpdatedJun 1, 2023 -
-
-
-
leo-neural-networks Public
Forked from zeroknowledgetutorials/leo-neural-networksNeural network implementation using fixed-point numbers in the Leo language for zk-SNARKs, and Pyhon-based Leo neural network calculator
Python UpdatedMar 1, 2023 -
coq-library-undecidability Public
Forked from uds-psl/coq-library-undecidabilityA library of mechanised undecidability proofs in the Coq proof assistant.
Coq Other UpdatedFeb 28, 2023 -
chatgpt-prompt-evaluator Public
Forked from alignedai/chatgpt-prompt-evaluatorThis shows the results from using a second, filter LLM that analyses prompts before sending them to GPT-Chat
MIT License UpdatedDec 6, 2022 -
-
reinforcementlearning.today Public
Made for a reading group at the Center for Safe AGI.
-
awesome-double-categories Public
Forked from mattecapu/awesome-double-categoriesA list of works and resources about double category theory, with a particular focus on applications.
UpdatedOct 16, 2022 -
RL4LMs Public
Forked from allenai/RL4LMsA modular RL library to fine-tune language models to human preferences
Python Apache License 2.0 UpdatedOct 11, 2022 -
JAXSeq Public
Forked from Sea-Snell/JAXSeqTrain very large language models in Jax.
Python MIT License UpdatedOct 9, 2022 -
alphatensor Public
Forked from google-deepmind/alphatensor -
awesome-aleo Public
Forked from howardwu/awesome-aleo🏎️ A curated list of Aleo & Leo code and resources 🏎️
UpdatedSep 21, 2022 -
snarkVM Public
Forked from ProvableHQ/snarkVMA Virtual Machine for Zero-Knowledge Executions
Rust GNU General Public License v3.0 UpdatedSep 6, 2022 -
ZK-SBT Public
Forked from enricobottazzi/ZK-SBTLibrary to issue zero knowledge soul bound tokens (ZK SBTs)
Solidity GNU Affero General Public License v3.0 UpdatedAug 30, 2022 -
fiat-crypto Public
Forked from mit-plv/fiat-cryptoCryptographic Primitive Code Generation by Fiat
Coq Other UpdatedAug 19, 2022