Project Name	Stars	Most Recent Commit	License	Language
Algt2	31	4 years ago	gpl-3.0	Haskell
ALGT 2.0
Types And Programming Languages	27	4 years ago	mit	Rust
Exercises from Benjamin Pierce's "Types and Programming Languages" textbook + extras!
Nbe A Tutorial	6	6 years ago		Scala
Checking Dependent Types with Normalization by Evaluation

Alternatives To Nbe A Tutorial

Select To Compare

Algt2 ⭐ 31

ALGT 2.0

most recent commit 4 years ago

Types And Programming Languages ⭐ 27

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

most recent commit 4 years ago

Nbe A Tutorial ⭐ 6

Checking Dependent Types with Normalization by Evaluation

most recent commit 6 years ago

Suggest An Alternative To nbe-a-tutorial

Alternative Project Comparisons

Nbe A Tutorial vs Algt2

Nbe A Tutorial vs Types And Programming Languages

Popular Lambda Calculus Projects

Kind ⭐ 3,420

A next-gen functional language

dependent packages 2total releases 105latest release February 15, 2023most recent commit 5 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

Egg ⭐ 1,164

egg is a flexible, high-performance e-graph library

dependent packages 6total releases 23latest release June 29, 2023most recent commit 4 months ago

Magic In Ten Mins ⭐ 693

十分钟魔法练习

most recent commit 8 months ago

Fp Core.rs ⭐ 644

A library for functional programming in Rust

most recent commit 4 years ago

Popular Typechecker Projects

Typescript ⭐ 97,983

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 2 hours 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 Mathematics Categories