bidirectional-typechecking

There are 12 repositories under bidirectional-typechecking topic.

pikelet-lang/pikelet
A friendly little systems language with first-class types. Very WIP! 🚧 🚧 🚧
Language:Rust610 30 6226
brendanzab/rust-nbe-for-mltt
Normalization by evaluation for Martin-Löf Type Theory with dependent records
Language:Rust93 12 06
kwanghoon/bidi
bidirectional type checking algorithms for higher-ranked polymorphism
Language:Haskell18 3 00
brendanzab/elm-stlc
Bidirectional type checker for the simply typed lambda calculus
Language:Elm13 3 01
ebresafegaga/tina
Tina, a programming language with typed algebraic effects and handlers.
Language:OCaml12 1 01
ashton314/lambda-x86
Lambda Calculus compiler targeting x86, written in Racket
Language:Racket10 3 00
chrisnevers/bidirectional-typechecking
Bidirectional type checking for predicative System F
Language:OCaml6 2 20
rmehri01/bidirectional
↔️ An implementation of "Sound and Complete Bidirectional Typechecking for Higher-Rank Polymorphism with Existentials and Indexed Types" in Rust.
Language:Rust4 2 00
omentic/chrysanthemum
A blossoming type system.
Language:Rust2 1 00
jasonsbarr/liszt
A prototypal object oriented language that borrows heavily from functional programming concepts and languages
Language:TypeScript1 2 210
owaismohsin001/junu-spaghetti
Junu Spaghetti, a language that types spaghetti code
Language:Haskell1 1 0
omentic/mechanicals
Various implementations of the lambda calculus and friends
Language:Racket0 1 00