Project Name	Stars	Most Recent Commit	Total Releases	Latest Release	Open Issues	License	Language
Pikelet	507	3 years ago	1	July 24, 2018	30	apache-2.0	Rust
A friendly little systems language with first-class types. Very WIP! 🚧 🚧 🚧
Rust Nbe For Mltt	78	2 years ago				mit	Rust
Normalization by evaluation for Martin-Löf Type Theory with dependent records
Types And Programming Languages	27	4 years ago				mit	Rust
Exercises from Benjamin Pierce's "Types and Programming Languages" textbook + extras!
Trepplein	18	2 years ago			3	apache-2.0	Scala
Lean type-checker written in Scala.

Alternatives To Trepplein

Select To Compare

Pikelet ⭐ 507

A friendly little systems language with first-class types. Very WIP! 🚧 🚧 🚧

total releases 1most recent commit 3 years ago

Rust Nbe For Mltt ⭐ 78

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

most recent commit 2 years ago

Types And Programming Languages ⭐ 27

Exercises from Benjamin Pierce's "Types and Programming Languages" textbook + extras!

most recent commit 4 years ago

Trepplein ⭐ 18

Lean type-checker written in Scala.

most recent commit 2 years ago

Suggest An Alternative To trepplein

Alternative Project Comparisons

Trepplein vs Pikelet

Trepplein vs Rust Nbe For Mltt

Trepplein vs Types And Programming Languages

Popular Typechecker Projects

Typescript ⭐ 97,990

TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

dependent packages 559,981total releases 2,904latest release December 09, 2023most recent commit 5 days ago

Mypy ⭐ 17,070

Optional static typing for Python

dependent packages 6,707total releases 112latest release November 23, 2023most recent commit 3 months ago

Pyre Check ⭐ 6,606

Performant type-checking for python.

dependent packages 31total releases 77latest release October 19, 2023most recent commit 3 months ago

Pytype ⭐ 4,464

A static type analyzer for Python code

dependent packages 107total releases 193latest release December 08, 2023most recent commit 3 months ago

Ezno ⭐ 1,994

A JavaScript compiler and TypeScript checker written in Rust with a focus on static analysis and runtime performance

dependent packages 3total releases 10latest release November 20, 2023most recent commit 3 months ago

Popular Type Theory Projects

Plt ⭐ 5,018

Programming Language Theory λΠ

most recent commit 9 months ago

Kind ⭐ 3,420

A next-gen functional language

dependent packages 2total releases 105latest release February 15, 2023most recent commit 6 months ago

Write You A Haskell ⭐ 2,744

Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)

most recent commit 5 years ago

Agda ⭐ 2,281

Agda is a dependently typed programming language / interactive theorem prover.

total releases 40latest release November 30, 2023most recent commit 3 months ago

Lean3 ⭐ 2,138

Lean Theorem Prover

most recent commit 7 months ago

Popular Compilers Categories