jfecher / modern-compiler-architectureView external linksLinks
An example on how to write an incremental, concurrent, fault-tolerant compiler
☆63Jun 30, 2025Updated 7 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:
- Multi-arch Docker images for Idris 2☆13Updated this week
- Simple & compliant implementation of common UNIX userspace utilities☆10Oct 23, 2024Updated last year
- 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☆17Updated this week
- A garden of small programming language implementations 🪴☆311Feb 3, 2026Updated last week
- Attempt to prove semantic preservation (forward simulation) for a simple compiler.☆12May 1, 2024Updated last year
- A simple viewer of the cutoff scores for all Brazilian universities participating in SISU☆16Dec 26, 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
- A clean, responsive PowerShell flavored MkDocs theme - forked from Cinder☆14May 28, 2016Updated 9 years ago
- A small unix-like kernel and OS components based around the Shard programming language.☆15Jan 19, 2026Updated 3 weeks ago
- A random generator of Lua programs☆12Nov 1, 2021Updated 4 years ago
- ☆13Aug 27, 2024Updated last year
- Convert OCaml Types between different major versions☆14May 23, 2022Updated 3 years ago
- ☆19Jan 8, 2026Updated last month
- File format and optimizer for programs encoded in binary lambda calculus☆17Jan 21, 2024Updated 2 years 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 3 weeks ago
- being a particular fragment of Haskell, extended to a proof system☆43Dec 2, 2025Updated 2 months ago
- A library for benign effects in Haskell☆20May 23, 2025Updated 8 months ago
- Accompanying materials for "A Core Calculus for Documents"☆36Oct 5, 2023Updated 2 years ago
- A language with dependent data and codata types☆125Feb 7, 2026Updated last week
- The blazingly fast free planning poker game 🚀☆18Sep 26, 2024Updated last year
- Mirror of the portable version of Game Of Trees☆31Updated this week
- A small Linux sandbox☆18Nov 9, 2025Updated 3 months ago
- 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 3 months ago
- Tiny package manager for Linux.☆20Sep 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)☆27Aug 9, 2025Updated 6 months ago
- Violette is a simple functional programming language.☆26Oct 11, 2025Updated 4 months ago
- blending sam with the shell experiment☆23Mar 25, 2019Updated 6 years ago
- Multi backend HashMap for higher performance on different key space sizes☆29Oct 5, 2025Updated 4 months ago
- The initial (legacy) compiler for the Gera programming language.☆24May 10, 2024Updated last year
- Benchmark repository of polyglot effect handler examples☆34Aug 21, 2025Updated 5 months ago
- posix compatible lex utility which compiles to ~60KB☆27Aug 27, 2022Updated 3 years ago
- ☆49Sep 10, 2025Updated 5 months ago
- A formally-verified provably-safe sandboxing Wasm-to-native compiler☆28Aug 30, 2022Updated 3 years ago
- Sed Lisp -- a lisp interpreter in GNU sed☆55Nov 7, 2020Updated 5 years ago