Lambda Calculus
3 projects
Showing 3 of 3 projects
fp-core.rsRust
A Rust library providing purely functional data structures and a comprehensive glossary of functional programming concepts.
#functional-programming#category-theory#type-system
Stars1.4k
Forks69
Last commit3 months ago
MontagueScala
A Scala library for semantic parsing using Combinatory Categorial Grammar (CCG) to translate natural language into formal representations.
#lexicon-based#formal-semantics#scala-library
Stars60
Forks7
Last commit3 years ago
CoLoRRocq Prover
A Rocq/Coq library providing formal definitions and mechanically verified proofs for rewriting theory, λ-calculus, and termination analysis.
#rewriting-theory#termination-analysis#coq
Stars37
Forks21
Last commit2 months ago
Community-curated · Updated weekly · 100% open source
Found a gem we're missing?
Open-Awesome is built by the community, for the community. Submit a project, suggest an awesome list, or help improve the catalog on GitHub.