bidirectional-typechecking 开源项目推荐（15 个）

pikelet-lang /pikelet

一种友好的小系统语言，拥有一流的类型。非常在进行中！🚧 🚧 🚧

brendanzab /rust-nbe-for-mltt

Normalization by evaluation for Martin-Löf Type Theory with dependent records

kwanghoon /bidi

bidirectional type checking algorithms for higher-ranked polymorphism

brendanzab /elm-stlc

Bidirectional type checker for the simply typed lambda calculus

ebresafegaga /tina

Tina, a programming language with typed algebraic effects and handlers.

Nezk /upal

A typechecker and lazy interpreter for System U

ashton314 /lambda-x86

Lambda Calculus compiler targeting x86, written in Racket

Nezk /naskets

A lazy, purely functional language based on System F-omega with (restricted) equirecursive types.

chrisnevers /bidirectional-typechecking

Bidirectional type checking for predicative System F

omentic /chrysanthemum

A blossoming type system.

Nezk /nothing-special

Yet another typechecker for a dependently typed language.

omentic /mechanicals

Various implementations of the lambda calculus and friends

jasonsbarr /liszt

A prototypal object oriented language that borrows heavily from functional programming concepts and languages

lucasmcclean /serin

ML-style language with bidirectional typing, closures, and WASM compilation.

WilliamRagstad /tlc_bidir

Lambda calculus with bidirectional type inference