Lean 4 programming language and theorem prover
- lean4
- lean
Repository Index
64,764 visible repositories in the index
1–8 of 8 · Most stars
The math library of Lean 4
- lean4
Formal verification for AI: a Lean 4 + Dafny proof checker that catches fake AI proofs (reward hacking), and verified recursive self-improvement (RSI) for coding agents. AI for math, physics and software engineering.
- proof-assistant
- lean4
- ai-agents
- ai-for-math
Functional programming style pattern-matching library for C++
- pattern-matching
- pattern
- variant
- visitor
Free components that wrap up Python into Delphi and Lazarus (FPC)
- delphi
- lazarus
- python
- pascal
TScert: a sound core for TypeScript. An independent checker, whose soundness is proved in Lean, accepts a TypeScript function only with a proof.
- formal-verification
- lean4
- proof-carrying-code
- type-safety
Computer Graphics and Gaming API (Vulkan, OpenGL, GLFW, STB, ...) bindings for Java using Java 22 FFM APIs
- glfw
- glfw3
- glfw3-bindings
- java
A Bitcoin Script Interpreter and Debugger in Scala
- scala
- bitcoin
- cryptocurrency