An example on how to write an incremental, concurrent, fault-tolerant compiler
☆66Jun 30, 2025Updated 8 months ago
Alternatives and similar repositories for modern-compiler-architecture
Users that are interested in modern-compiler-architecture are comparing it to the libraries listed below
Sorting:
- A Lévy-optimal lambda calculus reducer with a backdoor to C☆43Feb 25, 2026Updated last week
- A portable linker for multiple file formats.☆13Aug 28, 2023Updated 2 years ago
- Simple & compliant implementation of common UNIX userspace utilities☆10Oct 23, 2024Updated last year
- Multi-arch Docker images for Idris 2☆13Feb 9, 2026Updated last month
- ☆14May 28, 2025Updated 9 months ago
- A Gemini client for Varvara, written in Finwë.☆10Sep 21, 2024Updated last year
- TypeSafePaths is a TypeScript library that provides a type-safe way to manage URL paths and their parameters in a web application. It lev…☆12May 23, 2024Updated last year
- Linearizability Hoare Logic☆17Feb 9, 2026Updated last month
- A garden of small programming language implementations 🪴☆313Updated this week
- Attempt to prove semantic preservation (forward simulation) for a simple compiler.☆12May 1, 2024Updated last year
- Work in progress. (Not finished yet) Slim down (GNU) core utils to 64kB, statically linked with minilib.☆15Oct 30, 2023Updated 2 years ago
- Educational implementation of a subset of the JVM bytecode to illustrate imperative and object-oriented programming.☆58Jul 18, 2024Updated last year
- Convert OCaml Types between different major versions☆14May 23, 2022Updated 3 years ago
- A random generator of Lua programs☆12Feb 21, 2026Updated 2 weeks ago
- ☆13Aug 27, 2024Updated last year
- A clean, responsive PowerShell flavored MkDocs theme - forked from Cinder☆14May 28, 2016Updated 9 years ago
- Typed effects API for OxCaml☆25Jan 15, 2026Updated last month
- ☆20Feb 16, 2026Updated 3 weeks ago
- A mashup of virtual terminal (vt) and shell (sh) giving an acme-like editor / development environment with Emacs bindings for programmers…☆17Aug 26, 2022Updated 3 years ago
- A secure utmp/wtmp implementation☆19Jan 21, 2026Updated last month
- File format and optimizer for programs encoded in binary lambda calculus☆17Jan 21, 2024Updated 2 years ago
- being a particular fragment of Haskell, extended to a proof system☆44Mar 2, 2026Updated last week
- A library for benign effects in Haskell☆20May 23, 2025Updated 9 months ago
- Accompanying materials for "A Core Calculus for Documents"☆36Oct 5, 2023Updated 2 years ago
- 🦖 Implementations of various type inference algorithms. The new project is now at https://github.com/cu1ch3n/type-inference-zoo-frontend…☆154Jun 22, 2025Updated 8 months ago
- A small Linux sandbox☆18Feb 23, 2026Updated 2 weeks ago
- Mirror of the portable version of Game Of Trees☆32Feb 25, 2026Updated last week
- The blazingly fast free planning poker game 🚀☆18Sep 26, 2024Updated last year
- personal branch of git://git.suckless.org/ubase☆11Jun 5, 2020Updated 5 years ago
- Platform-independent space-efficient tagged pointers in Rust☆23Oct 18, 2025Updated 4 months ago
- Tiny package manager for Linux.☆22Sep 14, 2025Updated 5 months ago
- A collection of standard Unix utilities that is intended to provide maximum compatibility with traditional Unix while incorporating addi…☆48Jan 11, 2026Updated last month
- Martin-Löf type theory + W-types implemented in C (WIP)☆27Feb 16, 2026Updated 3 weeks ago
- blending sam with the shell experiment☆23Mar 25, 2019Updated 6 years ago
- Violette is a simple functional programming language.☆26Oct 11, 2025Updated 4 months ago
- Documentation of the OCaml implementation☆54Mar 21, 2023Updated 2 years ago
- Benchmark repository of polyglot effect handler examples☆34Aug 21, 2025Updated 6 months ago
- posix compatible lex utility which compiles to ~60KB☆27Aug 27, 2022Updated 3 years ago
- ☆49Sep 10, 2025Updated 5 months ago