An incremental approach to compiler construction
☆85May 29, 2020Updated 5 years ago
Alternatives and similar repositories for inc
Users that are interested in inc are comparing it to the libraries listed below
Sorting:
- An interpreter for the Assembly programming language.☆12Nov 9, 2020Updated 5 years ago
- An implementation of Tarjan's Strongly Connected Components algorithm☆14Aug 25, 2019Updated 6 years ago
- A simple programming language targeting LLVM☆64Oct 15, 2018Updated 7 years ago
- A newborn programming language for extensible software☆16Dec 24, 2021Updated 4 years ago
- A Scheme compiler to Lua bytecode☆22Apr 21, 2017Updated 8 years ago
- Runtime with fast GC and easy concurrency.☆43Mar 24, 2021Updated 4 years ago
- Source for jump.dev☆15Feb 25, 2026Updated last week
- A tiny C compiler based on LLVM and ANTLR4☆10Jan 13, 2019Updated 7 years ago
- Salon des Refusés - Dialectics for new computer science☆11Feb 6, 2019Updated 7 years ago
- EXPERIMENTAL PROTOTYPE code for "Bolt-on Causal Consistency" appearing in SIGMOD 2013☆12Nov 2, 2013Updated 12 years ago
- A reactive notebook for Haskell☆53Mar 2, 2026Updated last week
- Rust testing framework for compilers and VMs☆51Feb 24, 2025Updated last year
- A self-hosting mini Haskell compiler with a mini C runtime.☆78Dec 22, 2019Updated 6 years ago
- Low-latency Overlog runtime☆18Jun 2, 2015Updated 10 years ago
- ideally, this will become a pure Haskell library for Linear Integer/Mixed Programming☆16Nov 12, 2018Updated 7 years ago
- Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.☆33May 2, 2025Updated 10 months ago
- Gramada is an interactive development environment for programming languages defined in Ohm. It is based on Vivide and implemented in Sque…☆17Mar 6, 2020Updated 6 years ago
- Screams when you write `unsafe` on Rust.☆13Nov 7, 2021Updated 4 years ago
- The Waterloo Consistency Analyzer☆15Oct 19, 2020Updated 5 years ago
- ☆16Oct 5, 2021Updated 4 years ago
- Tiny CLOS for R6RS Scheme☆17Jun 9, 2011Updated 14 years ago
- Toy database project in C☆16Mar 21, 2024Updated last year
- A little project exploring Forests in Northern Ireland☆16Apr 21, 2022Updated 3 years ago
- File format and optimizer for programs encoded in binary lambda calculus☆17Jan 21, 2024Updated 2 years ago
- Library to integrate eta wai applications with servlet api☆18Jan 9, 2019Updated 7 years ago
- Caribou leverages Notty to generate simple terminal user interfaces.☆17Oct 14, 2023Updated 2 years ago
- My personal template repository for Racket packages☆16Sep 17, 2020Updated 5 years ago
- FMIImport.jl implements the import functionalities of the FMI-standard (fmi-standard.org) for the Julia programming language. FMIImport.j…☆18Nov 19, 2025Updated 3 months ago
- The most minimal C you can do real work in☆16May 8, 2022Updated 3 years ago
- Functional lens library for Rust☆113Dec 11, 2020Updated 5 years ago
- ☆65Nov 8, 2016Updated 9 years ago
- Gridded Earth variables, domain decomposition, and climate model C-grid support☆45Feb 7, 2026Updated last month
- PL syntax macros.☆21Nov 30, 2025Updated 3 months ago
- An error-tolerant live programming environment (my Master's thesis)☆21Jul 25, 2022Updated 3 years ago
- Run javap directly from the SBT console☆30Jun 17, 2018Updated 7 years ago
- The uncurried minimal functional programming language for CPS transformation☆19Feb 23, 2024Updated 2 years ago
- A Scheme to WAT/WASM compiler in spirit of SICP exercises 5.49-52☆20Jan 4, 2026Updated 2 months ago
- A Discord bot for the Community Rust Language server, written in Python.☆18Jul 20, 2023Updated 2 years ago
- Restructor Prototype☆21Jun 10, 2017Updated 8 years ago