Awesome Open Source

Programming Languages

Search results for language typechecker

10 search results found

Typescript ⭐ 97,990

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

Pikelet ⭐ 507

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

🚧 (Alpha stage software) A declarative data definition language for formally specifying binary data formats. 🚧

A language server for Standard ML.

Hack Langspec ⭐ 168

The official Hack Language specification.

🐍 The Mamba programming language, because we care about safety

Dolmen provides a library and a binary to parse, typecheck, and evaluate languages used in automated deduction

Extended Js Subset ⭐ 50

Open-source TypeScript killer written in C#

Asl Interpreter ⭐ 44

Example implementation of Arm's Architecture Specification Language (ASL)

Regular languages in types

Ohrid19 Agda ⭐ 13

Material for the Agda course at the EUTYPES Summer School '19 in Ohrid

Ichigo Lang ⭐ 11

write a little simply typed functional language to practice Rust

Whirlwind ⭐ 5

A language for clear, concise and clever computing.

Related Searches

Python Language (4,480)

Javascript Language (4,233)

Java Language (2,399)

C Plus Plus Language (1,971)

Php Language (1,760)

Language Translation (1,672)

C Language (1,627)

Golang Language (1,282)

Typescript Language (1,163)

Ruby Language (1,107)

1-10 of 10 search results

Privacy | About | Terms | Follow Us On Twitter

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