Projects in Awesome Lists tagged with formality
A curated list of projects in awesome lists tagged with formality .
https://github.com/higherorderco/kind
A modern proof language
dependent-types formality functional-programming lambda-calculus moonad proof-language proof-languages theorem-prover type-theory
Last synced: 14 May 2025
https://github.com/higherorderco/kind1
A modern proof language
dependent-types formality functional-programming lambda-calculus moonad proof-language proof-languages theorem-prover type-theory
Last synced: 29 Apr 2025
https://github.com/HigherOrderCO/Kind
A modern proof language
dependent-types formality functional-programming lambda-calculus moonad proof-language proof-languages theorem-prover type-theory
Last synced: 12 Apr 2025
https://github.com/HigherOrderCO/Kind1
A next-gen functional language
dependent-types formality functional-programming lambda-calculus moonad proof-language proof-languages theorem-prover type-theory
Last synced: 27 Aug 2025
https://github.com/moonad/Moonad
Moonad: a p2p academic journal, or a social network for code?
academic-journals formal-languages formal-verification formality functional-programming game-development moonad
Last synced: 10 Jul 2025
https://github.com/simonhorlick/kind-vscode
A language server protocol implementation and vscode plugin for the Formality programming language.
Last synced: 16 Mar 2026
