Stars
LLMs as Copilots for Theorem Proving in Lean
Modular, contributor-friendly and blazing-fast implementation of the Ethereum protocol, in Rust
Design and code prototypes for a system of forking oracle-enshrined L2 ledgers
Tool for data extraction and interacting with Lean programmatically.
llmstep: [L]LM proofstep suggestions in Lean 4.
🚀 PR-Agent: An AI-Powered 🤖 Tool for Automated Pull Request Analysis, Feedback, Suggestions and More! 💻🔍 (For more advanced: check Qodo Merge)
ChatGPT plugin for theorem proving in Lean
Metamath-lamp (Lite Assistant for Metamath Proofs) is a GUI-based proof assistant for creating formal mathematical proofs in Metamath that does not require installation (just run it directly using …
Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.
Modern, opinionated, and gas optimized building blocks for smart contract development.
Evals is a framework for evaluating LLMs and LLM systems, and an open-source registry of benchmarks.
A collection of libraries to optimise AI model performances
🤗 Transformers: the model-definition framework for state-of-the-art machine learning models in text, vision, audio, and multimodal models, for both inference and training.
LlamaIndex is the leading framework for building LLM-powered agents over your data.
GLM-130B: An Open Bilingual Pre-Trained Model (ICLR 2023)
An implementation of model parallel autoregressive transformers on GPUs, based on the Megatron and DeepSpeed libraries
Minimal Anti-Collusion Infrastructure (MACI)
A curated list of awesome StarkNet resources, libraries, tools and more
A collection of tools to manage queries on Dune Analytics
🦄 Open source interfaces for the Uniswap protocol
Go implementation of Ethereum proof of stake