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 (Qodo Merge open-source): An AI-Powered 🤖 Tool for Automated Pull Request Analysis, Feedback, Suggestions and More! 💻🔍

ChatGPT plugin for theorem proving in Lean

mmj2 GUI Proof Assistant for the Metamath project

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: State-of-the-art Machine Learning for Pytorch, TensorFlow, and JAX.

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

Smart contracts for IDO usecase

Off-chain services for CoW Protocol

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

A polyglot web converter.

Interface for the ido-platform

🦄 Open source interfaces for the Uniswap protocol

Go implementation of Ethereum proof of stake

Off-chain services for the Gnosis Protocol v1.