A place for public review of the posix port of stage0
☆141Aug 17, 2025Updated 7 months ago
Alternatives and similar repositories for stage0-posix
Users that are interested in stage0-posix are comparing it to the libraries listed below
Sorting:
- Bootstrapping tools for Janneke's MES☆36Oct 9, 2025Updated 5 months ago
- The roots of trust for all architectures☆107Nov 30, 2024Updated last year
- A more standards compliant C library written in M2-Planet's C subset☆21Mar 5, 2026Updated 2 weeks ago
- The PLAtform NEutral Transpiler☆128Updated this week
- An attempt to provide a reproducible, automatic, complete end-to-end bootstrap from a minimal number of binary seeds to a supported fully…☆722Mar 12, 2026Updated last week
- Collection of notes for talks☆13Jan 6, 2024Updated 2 years ago
- Making Mes.c M2-Planet friendly☆30May 25, 2022Updated 3 years ago
- Boot2Now is a series of compilers in the form of bootable machine images☆20Apr 13, 2023Updated 2 years ago
- A set of minimal dependency bootstrap binaries☆1,030May 23, 2025Updated 9 months ago
- Builder-Hex0 is a minimal build system which includes a bootloader, kernel, shell, and a hex0 compiler☆76Feb 17, 2024Updated 2 years ago
- Richard's compiler bootstrap experiment☆44Jun 8, 2023Updated 2 years ago
- The most minimal C you can do real work in☆16May 8, 2022Updated 3 years ago
- [toy] Chess, but with the fog of war.☆12Dec 22, 2021Updated 4 years ago
- Experiment on how to bootstrap the OCaml compiler☆112Apr 16, 2022Updated 3 years ago
- Starting with a single ~400 KB TinyCC binary, compile a Clang 17 toolchain and Nix package manager☆59Oct 14, 2023Updated 2 years ago
- Self-hosting parser generators in Forth and C.☆20Feb 27, 2021Updated 5 years ago
- SQL over RPC, specifically for SQLite☆10Jul 17, 2018Updated 7 years ago
- pax archive utility☆13Mar 6, 2026Updated 2 weeks ago
- Bootstrap compiler☆87Jun 25, 2010Updated 15 years ago
- Add specified programs (apps) on PATH.☆20Aug 26, 2025Updated 6 months ago
- mirror of my guix configs☆13Feb 12, 2026Updated last month
- A mini merge DSL for data overlays☆29Oct 26, 2023Updated 2 years ago
- SECD machine and Lispkit Lisp compiler, in Python☆14Oct 25, 2017Updated 8 years ago
- Tiny public-domain implementation of BLAKE3☆26Sep 11, 2021Updated 4 years ago
- ☆24Oct 30, 2023Updated 2 years ago
- a tiny self-hosted Forth implementation☆436May 8, 2020Updated 5 years ago
- A repo uploading my work on the GSoC Project of porting Guix and GuixSD to Hurd. [Out of date]☆23Jul 25, 2017Updated 8 years ago
- Learn how argc and argv are passed from environment to Unix program.☆19Jul 9, 2021Updated 4 years ago
- An accessible Forth written in machine code for the RISC-V architecture.☆24Jan 19, 2026Updated 2 months ago
- Auxolotl Laboratories, a home for all our mad science experiments☆22Jun 12, 2024Updated last year
- Darwin build box for Nix community members☆25Nov 6, 2023Updated 2 years ago
- A FREE, easy-to-use and portable implementation of a 9p file server daemon for UNIX-like systems.☆13Nov 4, 2024Updated last year
- ☆18May 19, 2020Updated 5 years ago
- Experimental Nix implementation of Android `soong` modules☆10Oct 11, 2023Updated 2 years ago
- zalora nix expressions library☆18Nov 8, 2015Updated 10 years ago
- Linux port of itsy forth by John Metcalf☆40Oct 7, 2025Updated 5 months ago
- A very basic Lisp + Erlang-style processes, on a virtual machine☆10Aug 24, 2016Updated 9 years ago
- 3-lisp implementation from Procedural Reflection in Programming Languages, volume i., Brian Cantwell Smith☆126Apr 11, 2025Updated 11 months ago
- Bootstrapping rustc from source☆112Mar 6, 2026Updated 2 weeks ago