Projects in Awesome Lists tagged with bidirectional-typechecking
A curated list of projects in awesome lists tagged with bidirectional-typechecking .
https://github.com/pikelet-lang/pikelet
A friendly little systems language with first-class types. Very WIP! đ§ đ§ đ§
bidirectional-typechecking compiler dependent-record-types dependent-records dependent-types programming-language rust systems-language systems-programming type-system type-theory typechecker
Last synced: 30 Apr 2025
https://github.com/brendanzab/rust-nbe-for-mltt
Normalization by evaluation for Martin-LĂśf Type Theory with dependent records
bidirectional-typechecking debruijn-indices dependent-record-types dependent-records dependent-types normalization-by-evaluation rust semantic-typechecking type-checker type-inference type-system type-theory unification
Last synced: 17 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/ashton314/lambda-x86
Lambda Calculus compiler targeting x86, written in Racket
bidirectional-typechecking compiler lambda-calculus racket type-checker type-inference x86
Last synced: 23 Mar 2025
https://github.com/rmehri01/bidirectional
âď¸ An implementation of "Sound and Complete Bidirectional Typechecking for Higher-Rank Polymorphism with Existentials and Indexed Types" in Rust.
bidirectional-typechecking existential-types rust
Last synced: 10 Apr 2025
https://github.com/omentic/chrysanthemum
A blossoming type system.
bidirectional-typechecking lambda-calculus rust type-system typeclasses
Last synced: 07 Apr 2025
https://github.com/jasonsbarr/liszt
A prototypal object oriented language that borrows heavily from functional programming concepts and languages
bidirectional-typechecking functional-programming generics language object-oriented programming-language programming-languages prototypal typescript
Last synced: 23 Feb 2025
https://github.com/owaismohsin001/junu-spaghetti
Junu Spaghetti, a language that types spaghetti code
ad-hoc-polymorphism bidirectional-typechecking parametric-polymorphism programming-language spaghetti-code static-typing structural-typing union-types
Last synced: 28 Mar 2025
https://github.com/omentic/mechanicals
Various implementations of the lambda calculus and friends
bidirectional-typechecking lambda-calculus
Last synced: 07 Apr 2025