-
-
-
-
-
granule Public
Forked from granule-project/granuleA statically-typed linear functional language with graded modal types for fine-grained program reasoning
Haskell BSD 3-Clause "New" or "Revised" License UpdatedOct 25, 2026 -
zeroclaw Public
Forked from zeroclaw-labs/zeroclawFast, small, and fully autonomous AI personal assistant infrastructure, ANY OS, ANY PLATFORM — deploy anywhere, swap anything 🦀
Rust Apache License 2.0 UpdatedOct 25, 2026 -
vscode-lean4 Public
Forked from leanprover/vscode-lean4VS Code extension for the Lean 4 programming language and theorem prover
TypeScript Apache License 2.0 UpdatedOct 25, 2026 -
purescript-backend-optimizer Public
Forked from aristanetworks/purescript-backend-optimizerOptimizing backend toolkit and modern ECMAScript backend for PureScript
PureScript MIT License UpdatedOct 25, 2026 -
leancompcert Public
Forked from gersh/leancompcertExperimental Lean-to-CompCert pipeline with verified decision procedures and explicit assurance boundaries
Lean UpdatedOct 25, 2026 -
-
-
lean-melearning-Same-Coeffect-Different-Base-Connecting-Two-Dominant-Approaches-to-Graded-Types-2026 Public
TeX UpdatedOct 25, 2026 -
-
-
-
-
-
koka Public
Forked from koka-lang/kokaKoka language compiler and interpreter
Koka Other UpdatedOct 25, 2026 -
iris-tutorial-lean Public
Forked from logsem/iris-tutorial-leanIris tutorial in Lean
Lean Other UpdatedOct 25, 2026 -
-
comrak Public
Forked from kivikakk/comrakCommonMark + GFM compatible Markdown parser and renderer
Rust Other UpdatedOct 25, 2026 -
ATS-Xanadu Public
Forked from githwxi/ATS-XanaduBootstrapping ATS3
ATS GNU General Public License v3.0 UpdatedOct 25, 2026 -
-
79FB clean Public
Forked from Certora/cleanC-to-Lean framework based on CompCert
Rocq Prover Other UpdatedOct 23, 2026 -
-
-
-
-
-
lean4 Public
Forked from leanprover/lean4Lean 4 programming language and theorem prover
Lean Apache License 2.0 UpdatedOct 15, 2026
{{ message }}