jaseemabid / incView external linksLinks
An incremental approach to compiler construction
☆84May 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:
- A tiny scheme interpreter in Haskell☆24Jul 14, 2019Updated 6 years ago
- 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
- Source for jump.dev☆15Updated this week
- EXPERIMENTAL PROTOTYPE code for "Bolt-on Causal Consistency" appearing in SIGMOD 2013☆12Nov 2, 2013Updated 12 years ago
- Rust testing framework for compilers and VMs☆51Feb 24, 2025Updated 11 months ago
- A self-hosting mini Haskell compiler with a mini C runtime.☆77Dec 22, 2019Updated 6 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 9 months ago
- [DEPRECATED] Helper for https://github.com/taiki-e/cargo-llvm-cov/issues/123.☆11Jan 18, 2025Updated last year
- Gramada is an interactive development environment for programming languages defined in Ohm. It is based on Vivide and implemented in Sque…☆17Mar 6, 2020Updated 5 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
- Fault-tolerant nom 5 parser based on "Syntax error recovery in parsing expression grammars" (2018)☆31Feb 24, 2022Updated 3 years ago
- A little project exploring Forests in Northern Ireland☆16Apr 21, 2022Updated 3 years ago
- My personal template repository for Racket packages☆16Sep 17, 2020Updated 5 years ago
- a small C++ lattice library☆15Jan 9, 2020Updated 6 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
- An implementation of Cheney style garbage collection for cons cells and atomic data. Heap resizing is also permitted either explicitly an…☆13Dec 28, 2017Updated 8 years ago
- The most minimal C you can do real work in☆16May 8, 2022Updated 3 years ago
- Library for writing tests for utilities that read text files and produce text output☆23Jun 26, 2020Updated 5 years ago
- Functional lens library for Rust☆113Dec 11, 2020Updated 5 years ago
- ☆65Nov 8, 2016Updated 9 years ago
- The uncurried minimal functional programming language for CPS transformation☆19Feb 23, 2024Updated last year
- A React Component library implementing the Knit design language☆16Jan 18, 2024Updated 2 years ago
- Run javap directly from the SBT console☆30Jun 17, 2018Updated 7 years ago
- PL syntax macros.☆21Nov 30, 2025Updated 2 months ago
- An error-tolerant live programming environment (my Master's thesis)☆20Jul 25, 2022Updated 3 years ago
- Repository for LambdaConf 2018 and related material.☆23Dec 4, 2018Updated 7 years ago
- A Discord bot for the Community Rust Language server, written in Python.☆18Jul 20, 2023Updated 2 years ago
- Experimental Niko Language☆17Sep 6, 2020Updated 5 years ago
- Restructor Prototype☆22Jun 10, 2017Updated 8 years ago
- More Evil in ledger-mode.☆22Apr 11, 2024Updated last year
- Vim plugin for ATS☆16Jul 7, 2021Updated 4 years ago