GitHub topics: simply-typed-lambda-calculus
brendanzab/elm-stlc
Bidirectional type checker for the simply typed lambda calculus
Language: Elm - Size: 15.6 KB - Last synced at: 14 days ago - Pushed at: about 5 years ago - Stars: 14 - Forks: 1
brianberns/Stlc
Simply-typed lambda calculus
Language: F# - Size: 40 KB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 2 - Forks: 2
Zeta611/type-safe-programming
SLConf 2024: 타입으로 안전하게 프로그래밍하기
Language: TeX - Size: 6.99 MB - Last synced at: 14 days ago - Pushed at: over 1 year ago - Stars: 4 - Forks: 0
lambduli/lambdas
REPL for various lambda calculi.
Language: Haskell - Size: 112 KB - Last synced at: almost 2 years ago - Pushed at: about 4 years ago - Stars: 1 - Forks: 0
trackoor/STLC
❄️ Simply typed lambda calculus formalized in Coq, REPL in Haskell.
Language: Haskell - Size: 8.79 KB - Last synced at: 16 days ago - Pushed at: about 4 years ago - Stars: 5 - Forks: 0
hediturki123/LambdaCalculus
Simply typed and advanced structures in lambda calculus
Language: Coq - Size: 146 KB - Last synced at: almost 2 years ago - Pushed at: almost 5 years ago - Stars: 3 - Forks: 1
profbrandon/typeChecker
A repository dedicated to the derivation and implementation of type systems. Current system: Extended System F
Language: Haskell - Size: 29.5 MB - Last synced at: about 2 years ago - Pushed at: over 7 years ago - Stars: 2 - Forks: 0
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.
Language: Agda - Size: 38.1 KB - Last synced at: about 1 month ago - Pushed at: over 7 years ago - Stars: 16 - Forks: 0
ecly/programming_language_seminar
Exercises and project for Programming Language Seminar course at ITU
Language: Coq - Size: 4.48 MB - Last synced at: about 23 hours ago - Pushed at: almost 7 years ago - Stars: 0 - Forks: 0
