Mirror of http://www.rano.org/bcompiler.tar.gz, with a bootstrap script
☆87Mar 9, 2021Updated 4 years ago
Alternatives and similar repositories for bcompiler
Users that are interested in bcompiler are comparing it to the libraries listed below
Sorting:
- Richard's compiler bootstrap experiment☆44Jun 8, 2023Updated 2 years ago
- Bootstrap compiler☆87Jun 25, 2010Updated 15 years ago
- a self-hosting lambda calculus compiler☆37Mar 31, 2025Updated 11 months ago
- The PLAtform NEutral Transpiler☆127Feb 22, 2026Updated last week
- Matita (proof assistant) with embedded elpi☆15Jan 30, 2018Updated 8 years ago
- 100% XXTEA authenticated, chunked file encryption☆18Feb 14, 2021Updated 5 years ago
- The most minimal C you can do real work in☆16May 8, 2022Updated 3 years ago
- Lisp compiler for x86-64☆36Jan 30, 2026Updated last month
- A compiler to IA32 and REPL for maru in maru under 7k s-expressions☆18Apr 17, 2020Updated 5 years ago
- Public domain C SHA-256 implementation☆16Dec 31, 2020Updated 5 years ago
- a tiny self-hosted Forth implementation☆436May 8, 2020Updated 5 years ago
- A set of minimal dependency bootstrap binaries☆1,027May 23, 2025Updated 9 months ago
- Bootstrapping VM for bare metal to trusted C compilation☆50Nov 1, 2024Updated last year
- okami is an application development platform☆39Aug 15, 2025Updated 6 months ago
- Lisp Butts Game Engine ).)☆13Aug 11, 2022Updated 3 years ago
- Benchmarking algebraic effect handler implementations☆27Jun 6, 2021Updated 4 years ago
- Minimal operating system for x86 intended as a basis for benchmarking and running Gambit☆95Nov 18, 2020Updated 5 years ago
- Experimenting on ornamentation in Agda via reflection.☆12Jul 1, 2023Updated 2 years ago
- A server for the forester tool☆17Dec 10, 2024Updated last year
- Survey on materials that touch on the history of Lambda Calculus☆12Sep 13, 2020Updated 5 years ago
- Implementation of dependent type theory in SWI-Prolog☆10Oct 6, 2020Updated 5 years ago
- mirror of Fabrice Bellard's libbf tar releases, with fixes and CI☆16Aug 19, 2025Updated 6 months ago
- Context-free grammar parsing library☆10Oct 6, 2024Updated last year
- The Delphin Project☆10Aug 19, 2016Updated 9 years ago
- Library for writing text-based user interfaces☆12Dec 22, 2017Updated 8 years ago
- Various mechanized proof files for fun.☆13Aug 11, 2025Updated 6 months ago
- A fork of st implementing scrollback, keyboard selection, and tabs.☆11Jul 23, 2014Updated 11 years ago
- ☆12May 9, 2015Updated 10 years ago
- The BASIC-BINARY-IPC system provides an interface for performing inter process communication using IPv4 or local streams. The interface f…☆21Nov 7, 2021Updated 4 years ago
- ☆12Feb 11, 2019Updated 7 years ago
- Combinators in C☆38Jun 5, 2012Updated 13 years ago
- AVL Trees for Racket☆12Jan 7, 2018Updated 8 years ago
- An implementation of a lexically scoped, referentially transparent, minimal Lisp with some added features☆10Mar 30, 2022Updated 3 years ago
- tiny emacs☆28Dec 11, 2021Updated 4 years ago
- Implementation of Scheme programming language in assembly☆25Feb 4, 2018Updated 8 years ago
- A certified semantics for relational programming workout.☆26Oct 15, 2020Updated 5 years ago
- Dependently typed Algorithm M and friends☆26Jun 2, 2018Updated 7 years ago
- Copying Garbage Collector☆14May 13, 2020Updated 5 years ago
- ☆14Jun 14, 2025Updated 8 months ago