Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Algt2

Stars
31
License
gpl-3.0
Open Issues
0
Most Recent Commit
4 years ago
Programming Language
Haskell
Categories
Repo
Alternatives To Algt2
Project NameStarsDownloadsRepos Using ThisPackages Using ThisMost Recent CommitTotal ReleasesLatest ReleaseOpen IssuesLicenseLanguage
Algt231
4 years agogpl-3.0Haskell
ALGT 2.0
Types And Programming Languages27
4 years agomitRust
Exercises from Benjamin Pierce's "Types and Programming Languages" textbook + extras!
Nbe A Tutorial6
6 years agoScala
Checking Dependent Types with Normalization by Evaluation
Alternatives To Algt2
Select To Compare
Algt2 ⭐ 31
ALGT 2.0
most recent commit 4 years ago


Suggest An Alternative To ALGT2
Alternative Project Comparisons
Algt2 vs Types And Programming Languages
Algt2 vs Nbe A Tutorial
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 agonpm kind-lang} Downloads
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 agocargo egg} Downloads
Popular Typechecker Projects
Typescript ⭐ 97,675
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 11 days agonpm typescript} Downloads
Mypy ⭐ 17,070
Optional static typing for Python
dependent packages 6,707total releases 112latest release November 23, 2023most recent commit 3 months agopypi mypy} Downloads
Pyre Check ⭐ 6,606
Performant type-checking for python.
dependent packages 31total releases 77latest release October 19, 2023most recent commit 3 months agopypi pyre-check} Downloads
Pytype ⭐ 4,464
A static type analyzer for Python code
dependent packages 107total releases 193latest release December 08, 2023most recent commit 3 months agopypi pytype} Downloads
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 agocargo ezno-parser} Downloads
Popular Mathematics Categories
Random
Mathematics
Numpy
Geometry
Measurements
Tensor
Probability
Algebra
Matrices
Theano

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Haskell
Lambda Calculus
Typechecker
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.