Topic: "bidirectional-typechecking"
pikelet-lang/pikelet
A friendly little systems language with first-class types. Very WIP! đ§ đ§ đ§
Language: Rust - Size: 5.56 MB - Last synced at: 16 days ago - Pushed at: almost 4 years ago - Stars: 617 - Forks: 26
brendanzab/rust-nbe-for-mltt
Normalization by evaluation for Martin-LĂśf Type Theory with dependent records
Language: Rust - Size: 862 KB - Last synced at: 12 months ago - Pushed at: almost 3 years ago - Stars: 90 - Forks: 7
brendanzab/elm-stlc
Bidirectional type checker for the simply typed lambda calculus
Language: Elm - Size: 15.6 KB - Last synced at: about 1 month ago - Pushed at: over 5 years ago - Stars: 14 - Forks: 1
ashton314/lambda-x86
Lambda Calculus compiler targeting x86, written in Racket
Language: Racket - Size: 687 KB - Last synced at: 2 days ago - Pushed at: almost 5 years ago - Stars: 10 - Forks: 0
kwanghoon/bidi
bidirectional type checking algorithms for higher-ranked polymorphism
Language: Haskell - Size: 83 KB - Last synced at: about 2 years ago - Pushed at: about 3 years ago - Stars: 9 - Forks: 0
rmehri01/bidirectional
âď¸ An implementation of "Sound and Complete Bidirectional Typechecking for Higher-Rank Polymorphism with Existentials and Indexed Types" in Rust.
Language: Rust - Size: 52.7 KB - Last synced at: 2 days ago - Pushed at: over 1 year ago - Stars: 5 - Forks: 0
ebresafegaga/tina
Tina, a programming language with typed algebraic effects and handlers.
Language: OCaml - Size: 8.9 MB - Last synced at: about 2 years ago - Pushed at: almost 4 years ago - Stars: 5 - Forks: 1
chrisnevers/bidirectional-typechecking
Bidirectional type checking for predicative System F
Language: OCaml - Size: 604 KB - Last synced at: about 1 year ago - Pushed at: over 5 years ago - Stars: 5 - Forks: 0
omentic/chrysanthemum
A blossoming type system.
Language: Rust - Size: 2.95 MB - Last synced at: about 1 month ago - Pushed at: almost 2 years ago - Stars: 3 - Forks: 0
jasonsbarr/liszt
A prototypal object oriented language that borrows heavily from functional programming concepts and languages
Language: TypeScript - Size: 559 KB - Last synced at: 3 months ago - Pushed at: over 2 years ago - Stars: 1 - Forks: 0
owaismohsin001/junu-spaghetti
Junu Spaghetti, a language that types spaghetti code
Language: Haskell - Size: 1.68 MB - Last synced at: about 2 months ago - Pushed at: over 3 years ago - Stars: 1 - Forks: 0
omentic/mechanicals
Various implementations of the lambda calculus and friends
Language: Racket - Size: 161 KB - Last synced at: about 1 month ago - Pushed at: 7 months ago - Stars: 0 - Forks: 0