Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 13 Language Typechecker Open Source Projects

Open source projects categorized as Language Typechecker
Categories > Compilers > Typechecker
Typescript ⭐ 97,675
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
dependent packages 559,981total releases 2,904most recent commit 17 days agonpm typescript} Downloads
Pikelet ⭐ 507
A friendly little systems language with first-class types. Very WIP! 🚧 🚧 🚧
total releases 1most recent commit 3 years ago
Fathom ⭐ 235
🚧 (Alpha stage software) A declarative data definition language for formally specifying binary data formats. 🚧
most recent commit a year ago
Millet ⭐ 177
A language server for Standard ML.
total releases 1most recent commit 4 months ago
Hack Langspec ⭐ 168
The official Hack Language specification.
most recent commit 5 years ago
Mamba ⭐ 76
🐍 The Mamba programming language, because we care about safety
total releases 11most recent commit a year ago
Dolmen ⭐ 75
Dolmen provides a library and a binary to parse, typecheck, and evaluate languages used in automated deduction
most recent commit 5 months ago
Extended Js Subset ⭐ 50
Open-source TypeScript killer written in C#
most recent commit 6 months ago
Asl Interpreter ⭐ 44
Example implementation of Arm's Architecture Specification Language (ASL)
most recent commit 5 years ago
Pumping ⭐ 18
Regular languages in types
most recent commit 7 years ago
Ohrid19 Agda ⭐ 13
Material for the Agda course at the EUTYPES Summer School '19 in Ohrid
most recent commit 5 years ago
Ichigo Lang ⭐ 11
write a little simply typed functional language to practice Rust
most recent commit 4 years ago
Whirlwind ⭐ 5
A language for clear, concise and clever computing.
most recent commit 3 months ago
The 4 Latest Releases In Language Typechecker Open Source 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 17 days agonpm typescript} Downloads
Millet ⭐ 177
A language server for Standard ML.
total releases 1latest release April 26, 2023most recent commit 4 months ago
Mamba ⭐ 76
🐍 The Mamba programming language, because we care about safety
total releases 11latest release January 21, 2023most recent commit a year ago
Pikelet ⭐ 507
A friendly little systems language with first-class types. Very WIP! 🚧 🚧 🚧
total releases 1latest release July 24, 2018most recent commit 3 years ago
Popular Programming Languages Categories
Python
Javascript
Java
Typescript
C Plus Plus
Php
Golang
C
C Sharp
Shell
Categories
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.