bidirectional-typechecking
Here are 13 public repositories matching this topic...
Sort:Most stars
A friendly little systems language with first-class types. Very WIP! 🚧 🚧 🚧
- Updated
May 16, 2021 - Rust
Normalization by evaluation for Martin-Löf Type Theory with dependent records
- Updated
Jun 8, 2022 - Rust
bidirectional type checking algorithms for higher-ranked polymorphism
- Updated
Mar 23, 2022 - Haskell
Bidirectional type checker for the simply typed lambda calculus
- Updated
Feb 4, 2020 - Elm
Tina, a programming language with typed algebraic effects and handlers.
- Updated
Aug 13, 2021 - OCaml
Lambda Calculus compiler targeting x86, written in Racket
- Updated
Jun 14, 2020 - Racket
Bidirectional type checking for predicative System F
- Updated
Jan 26, 2020 - OCaml
- Updated
Nov 10, 2023 - Rust
A blossoming type system.
- Updated
Jul 20, 2023 - Rust
Junu Spaghetti, a language that types spaghetti code
- Updated
Jan 12, 2022 - Haskell
Various implementations of the lambda calculus and friends
- Updated
Oct 24, 2024 - Racket
A prototypal object oriented language that borrows heavily from functional programming concepts and languages
- Updated
Dec 15, 2022 - TypeScript
Lambda calculus with bidirectional type inference
- Updated
Jul 4, 2025 - Rust
Improve this page
Add a description, image, and links to thebidirectional-typechecking topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with thebidirectional-typechecking topic, visit your repo's landing page and select "manage topics."