-
-
loom Public
Forked from verse-lab/loomLoom is a framework for automated generation of foundational multi-modal verifiers. This repository is a mirror with stable snapshots. Submit issues and PRs here.
Lean Apache License 2.0 UpdatedFeb 21, 2026 -
lean-auto Public
Forked from leanprover-community/lean-autoExperiments on automation for Lean
Lean Apache License 2.0 UpdatedFeb 13, 2026 -
best-of-lean4 Public
Forked from 34j/best-of-lean4A list of awesome lean4 projects. Feel free to add your project.
Creative Commons Attribution Share Alike 4.0 International UpdatedFeb 12, 2026 -
lean-smt Public
Forked from ufmg-smite/lean-smtTactics for discharging Lean goals into SMT solvers.
Lean Apache License 2.0 UpdatedFeb 11, 2026 -
lean4-skills Public
Forked from cameronfreer/lean4-skillsClaude skills for Lean 4 theorem proving
Shell MIT License UpdatedFeb 1, 2026 -
SafeVerify Public
Forked from GasStationManager/SafeVerifyA Lean4 script for robustly verifying submitted proofs of theorems and implementations of functions
Lean Apache License 2.0 UpdatedJan 31, 2026 -
lean-lsp-mcp Public
Forked from oOo0oOo/lean-lsp-mcpLean Theorem Prover MCP
Python MIT License UpdatedJan 31, 2026 -
lean-by-example Public
Forked from lean-ja/lean-by-exampleコード例で学ぶ Lean 言語
Lean Other UpdatedJan 25, 2026 -
LeanDepViz Public
Forked from cameronfreer/LeanDepVizDependency visualization and verification for Lean 4 projects
Python MIT License UpdatedJan 12, 2026 -
lattice-crypto Public
Forked from JuI3s/etaleA lattice-crypto primitive library.
Rust UpdatedJan 11, 2026 -
the0 Public
Forked from alexanderwanyoike/the0Open Source Algorithmic
TypeScript Apache License 2.0 UpdatedJan 4, 2026 -
DeepTutor Public
Forked from HKUDS/DeepTutor"DeepTutor: AI-Powered Personalized Learning Assistant"
Python GNU Affero General Public License v3.0 UpdatedJan 4, 2026 -
portalex Public
Forked from portal-hq/portalexPortalEx is a simple web server that mocks a crypto exchange to demonstrate how to integrate Portal Connect.
TypeScript UpdatedDec 18, 2025 -
DeepCode Public
Forked from HKUDS/DeepCode"DeepCode: Open Agentic Coding (Paper2Code & Text2Web & Text2Backend)"
Python MIT License UpdatedDec 11, 2025 -
dory Public
Forked from JuI3s/doryA high performance and modular implementation of the Dory polynomial commitment scheme
Rust Apache License 2.0 UpdatedDec 7, 2025 -
research Public
Forked from eternax-ai/researchAchieveing truly autonomous intelligence
MIT License UpdatedNov 7, 2025 -
-
range-set-blaze-lean Public
Forked from CarlKCarlK/range-set-blaze-leanLean Apache License 2.0 UpdatedOct 20, 2025 -
sppark Public
Forked from supranational/spparkZero-knowledge template library
Cuda Apache License 2.0 UpdatedSep 30, 2025 -
agents Public template
Forked from contains-studio/agentssharing current agents in use
UpdatedJul 28, 2025 -
jolt-twist-shout Public
Forked from a16z/joltThe simplest and most extensible zkVM. Fast and fully open source from a16z crypto and friends. ⚡
Rust Apache License 2.0 UpdatedJul 8, 2025 -
LeanInteract Public
Forked from augustepoiroux/LeanInteractLeanInteract: A Python Interface for Lean 4
Python MIT License UpdatedJun 5, 2025 -
cedar-spec Public
Forked from cedar-policy/cedar-specDefinitional implementation of Cedar language and utilities for DRT
Lean Apache License 2.0 UpdatedJun 4, 2025 -
ArkLib Public
Forked from Verified-zkEVM/ArkLibFormally Verified Arguments of Knowledge in Lean
Lean Apache License 2.0 UpdatedJun 4, 2025 -
formal-specification-ide Public
Forked from atlas-computing-org/formal-specification-ideTypeScript UpdatedMay 27, 2025 -
sp1-fv-poc Public
Forked from NethermindEth/sp1-fv-pocProof-of-Concept Verification Infrastructure for SP1 zk chips
Lean Apache License 2.0 UpdatedMay 21, 2025 -
sp1-constraint-extractor Public
Forked from NethermindEth/sp1-constraint-extractorSP1 Constraint Extractor
Rust Apache License 2.0 UpdatedMay 21, 2025 -
LeanAide Public
Forked from siddhartha-gadgil/LeanAideTools based on AI for helping with Lean 4
Jupyter Notebook Apache License 2.0 UpdatedMay 21, 2025 -
aptos-core Public
Forked from aptos-labs/aptos-coreAptos is a layer 1 blockchain built to support the widespread use of blockchain through better technology and user experience.
Rust Other UpdatedMay 11, 2025
{{ message }}