Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 13 Compiler Typechecker Open Source Projects

Open source projects categorized as Compiler Typechecker
Categories > Compilers > Compiler
Categories > Compilers > Typechecker
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 10most recent commit 3 months agocargo ezno-parser} Downloads
Rezoom.sql ⭐ 634
Statically typechecks a common SQL dialect and translates it to various RDBMS backends
dependent packages 3total releases 23most recent commit 4 years agonuget Rezoom.SQL.Provider} 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
Kentuckymule ⭐ 157
Limits of Scala typechecking speed
most recent commit 3 years ago
Mamba ⭐ 76
🐍 The Mamba programming language, because we care about safety
total releases 11most recent commit a year ago
Typology ⭐ 68
Swift type checking and semantic analysis for developer tools
most recent commit 2 years ago
Language Incubator ⭐ 53
Learning compilers, interpreters, code generation, virtual machines, assemblers, JITs, etc.
most recent commit 6 months ago
Extended Js Subset ⭐ 50
Open-source TypeScript killer written in C#
most recent commit 7 months ago
Selectrix ⭐ 28
Static Typechecker for Elixir
most recent commit 4 years ago
Candor ⭐ 12
A toy Parser+Compiler+Typechecker
most recent commit a year ago
Siml ⭐ 7
My playground for building a compiler for an ML-like in Rust
most recent commit a year ago
Weekendcompiler ⭐ 7
An example LLVM-based compiler for a subset of C.
most recent commit 5 years ago
The 2 Most Depended On Compiler Typechecker Open Source Projects
Rezoom.sql ⭐ 634
Statically typechecks a common SQL dialect and translates it to various RDBMS backends
dependent packages 3total releases 23latest release December 01, 2017most recent commit 4 years agonuget Rezoom.SQL.Provider} 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
The 4 Latest Releases In Compiler Typechecker Open Source Projects
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
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
Rezoom.sql ⭐ 634
Statically typechecks a common SQL dialect and translates it to various RDBMS backends
dependent packages 3total releases 23latest release December 01, 2017most recent commit 4 years agonuget Rezoom.SQL.Provider} Downloads
Popular Compilers Categories
Llvm
Abstract Syntax Tree
Gcc
Clang
Emscripten
Wsl
Lexer
Jit
Ghc
Ida
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.