Projects in Awesome Lists tagged with simply-typed-lambda-calculus
A curated list of projects in awesome lists tagged with simply-typed-lambda-calculus .
https://github.com/gergoerdi/universe-of-syntax
A universe of scope- and type-safe syntaxes (syntices?). Includes generic implementation of type-preserving renaming/substitution with all the proofs you could possibly need.
agda lambda-calculus normalization simply-typed-lambda-calculus substitution
Last synced: 09 Mar 2025
https://github.com/brendanzab/elm-stlc
Bidirectional type checker for the simply typed lambda calculus
bidirectional-typechecking elm lambda-calculus simply-typed-lambda-calculus type-checking
Last synced: 09 Apr 2025
https://github.com/trackoor/STLC
❄️ Simply typed lambda calculus formalized in Coq, REPL in Haskell.
programming-language simply-typed-lambda-calculus stlc
Last synced: 10 Feb 2025
https://github.com/zeta611/type-safe-programming
SLConf 2024: 타입으로 안전하게 프로그래밍하기
ad-hoc-polymorphism algebraic-data-types beamer generalized-algebraic-data-type parametric-polymorphism polymorphism rust simply-typed-lambda-calculus subtype-polymorphism system-f type-system universal-type
Last synced: 01 Feb 2025
https://github.com/ecly/programming_language_seminar
Exercises and project for Programming Language Seminar course at ITU
coq formal-proofs formal-verification simply-typed-lambda-calculus
Last synced: 17 Mar 2025
