Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists tagged with stlc
A curated list of projects in awesome lists tagged with stlc .
https://github.com/pragmatwice/ichigo-lang
write a little simply typed functional language to practice Rust
darling-in-the-frankxx functional-lang rust stlc type-checker
Last synced: 16 Oct 2024
https://github.com/schell/px-lang
px is an experimental, typed lambda calculus for _
Last synced: 27 Oct 2024
https://github.com/misakacenter/stlc
❄️ Simply typed lambda calculus formalized in Coq, REPL in Haskell.
programming-language simply-typed-lambda-calculus stlc
Last synced: 10 Oct 2024
https://github.com/kamirus/lambda-formalizations
Lambda Calculi Formalizations in Coq using nested datatypes for a type-safe term representation
control-operators coq-formalization effect-handlers effect-system lambda-calculus nested-datatypes preservation progress stlc theorem-proving
Last synced: 03 Nov 2024
