Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 23 Compiler Type System Open Source Projects

Open source projects categorized as Compiler Type System
Categories > Compilers > Compiler
Categories > Type System
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
Reading ⭐ 2,285
A list of computer-science readings I recommend
most recent commit 2 years ago
Pikelet ⭐ 507
A friendly little systems language with first-class types. Very WIP! 🚧 🚧 🚧
total releases 1most recent commit 3 years ago
Arrow Meta ⭐ 381
Functional companion to Kotlin's Compiler
dependent packages 2total releases 30most recent commit 3 months ago
Fathom ⭐ 235
🚧 (Alpha stage software) A declarative data definition language for formally specifying binary data formats. 🚧
most recent commit a year ago
Shen Libs ⭐ 135
Shen experimental libraries
most recent commit 5 years ago
Labrys ⭐ 91
A toy language based on LLVM that implements the System Fω type-system
most recent commit 2 years ago
Dhall Nix ⭐ 80
This repository has moved to https://github.com/dhall-lang/dhall-haskell/tree/m
most recent commit 5 years ago
Typelang ⭐ 76
🌳 A tiny language interpreter implemented purely in TypeScript's type-system
most recent commit 3 years ago
Aqb ⭐ 69
A BASIC Compiler and IDE for Amiga Computers
most recent commit 6 months ago
Typology ⭐ 68
Swift type checking and semantic analysis for developer tools
most recent commit 2 years ago
Joujou ⭐ 64
A compiler from a small functional language to C. Especially features algebraic effects and handlers with multishot continuations, and a static type system with inference of types and effects, with subtyping.
most recent commit 5 years ago
Arrow Meta Examples ⭐ 54
Some examples for Λrrow Meta the functional companion to Kotlin's Compiler & IDE.
most recent commit 2 years ago
Infrared ⭐ 42
✨🚀 Blazing fast, inferred static type checker for JavaScript.
dependent packages 2total releases 1most recent commit 3 years agonpm infrared-core} Downloads
Type Theory Compiler ⭐ 38
Compiler for type theoretic lambda calculi equipped with system primtives which compiles side-effecting, strict expressions into efficient LLVM IR.
most recent commit 5 years ago
Types And Programming Languages ⭐ 30
C++ Implementations of programming languages and type systems studied in "Types and Programming Languages" by Benjamin C. Pierce..
most recent commit 4 years ago
Minimalcc ⭐ 29
Minimal C subset compiler
most recent commit 3 years ago
Plts ⭐ 28
A collection of programming languages and type systems.
most recent commit 4 months ago
Mini Typescript ⭐ 26
A miniature model of the Typescript compiler, intended to teach the structure of the real Typescript compiler
most recent commit 4 months ago
Truth ⭐ 19
A Domain Representation Language
dependent packages 2total releases 49most recent commit 4 years agonpm truth-compiler} Downloads
Zeolite ⭐ 18
Zeolite is a statically-typed, general-purpose programming language.
total releases 46most recent commit 3 months ago
Lip ⭐ 16
An embeddable LISP in C99
most recent commit 6 years ago
Phase ⭐ 13
Phase is a C# to Haxe compiler
most recent commit 4 years ago
The 3 Most Depended On Compiler Type System Open Source Projects
Arrow Meta ⭐ 381
Functional companion to Kotlin's Compiler
dependent packages 2total releases 30latest release April 29, 2023most recent commit 3 months ago
Truth ⭐ 19
A Domain Representation Language
dependent packages 2total releases 49latest release May 09, 2019most recent commit 4 years agonpm truth-compiler} Downloads
Infrared ⭐ 42
:sparkles::rocket: Blazing fast, inferred static type checker for JavaScript.
dependent packages 2total releases 1latest release July 03, 2018most recent commit 3 years agonpm infrared-core} Downloads
The 6 Latest Releases In Compiler Type System Open Source Projects
Arrow Meta ⭐ 381
Functional companion to Kotlin's Compiler
dependent packages 2total releases 30latest release April 29, 2023most recent commit 3 months ago
Zeolite ⭐ 18
Zeolite is a statically-typed, general-purpose programming language.
total releases 46latest release October 08, 2022most recent commit 3 months ago
Truth ⭐ 19
A Domain Representation Language
dependent packages 2total releases 49latest release May 09, 2019most recent commit 4 years agonpm truth-compiler} Downloads
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
Infrared ⭐ 42
:sparkles::rocket: Blazing fast, inferred static type checker for JavaScript.
dependent packages 2total releases 1latest release July 03, 2018most recent commit 3 years agonpm infrared-core} Downloads
Fly ⭐ 7
A high-level Swift web framework for OS X and Linux.
latest release March 29, 2016most recent commit 8 years ago
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.