GitHub topics: typed-lambda-calculus
arrow-kt/arrow
The perfect companion for your Kotlin journey - Inspired by functional, data-oriented and concurrent programming
Language: Kotlin - Size: 57 MB - Last synced at: about 3 hours ago - Pushed at: about 4 hours ago - Stars: 6,381 - Forks: 454
mtumilowicz/scala3-dependent-types-polymorphic-functions-workshop
Introduction to typelevel programming: phantom types, dependent types, path dependent types and Curry-Howard isomorphism.
Language: Scala - Size: 324 KB - Last synced at: 4 months ago - Pushed at: 5 months ago - Stars: 1 - Forks: 0
justinfargnoli/lamb
An implementation of the Typed Lambda Calculus described in https://papl.cs.brown.edu/2018/types.html
Language: Rust - Size: 313 KB - Last synced at: 11 months ago - Pushed at: over 3 years ago - Stars: 6 - Forks: 0
wangjiezhe/tapl
Source code for TAPL
Language: OCaml - Size: 121 KB - Last synced at: about 1 year ago - Pushed at: over 8 years ago - Stars: 5 - Forks: 2
jadnohra/tag_export
An export of my digital library (Mathematics, Logic, Physics, Numerical Analysis, Machine Learning, Computer Science)
Size: 107 KB - Last synced at: over 1 year ago - Pushed at: almost 8 years ago - Stars: 8 - Forks: 2
less-wrong/less-wrong
Simple CoC-based programming language
Language: Haskell - Size: 29.3 KB - Last synced at: over 2 years ago - Pushed at: almost 8 years ago - Stars: 8 - Forks: 2
cpiemontese/tlc-elpi
Interactive theorem proving in ELPI
Size: 344 KB - Last synced at: about 2 years ago - Pushed at: over 6 years ago - Stars: 2 - Forks: 0
akimichi/archetype-semantics
A research paper
Language: TeX - Size: 3.89 MB - Last synced at: 3 months ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 0
