Lean 4 programming language and theorem prover
- lean4
- lean
Repository Index
57,138 visible repositories in the index
1–5 of 5 · Most stars
Gno: An interpreted, stack-based Go virtual machine to build succinct and composable apps + gno.land: a blockchain for timeless code and fair open-source.
- gno
- gnoland
- gnolang
- bft
Language for high-assurance and high-speed cryptography
The repository host gives no description.
HTPL is a programming language based on HTML
- programming-language
- htpl-compiler
- html