A place for public review of the posix port of stage0
☆149Jul 5, 2026Updated 2 weeks ago
Alternatives and similar repositories for stage0-posix
Users that are interested in stage0-posix are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Bootstrapping tools for Janneke's MES☆36May 17, 2026Updated 2 months ago
- The roots of trust for all architectures☆110Nov 30, 2024Updated last year
- A more standards compliant C library written in M2-Planet's C subset☆23Jun 22, 2026Updated 3 weeks ago
- The PLAtform NEutral Transpiler☆132Jul 5, 2026Updated 2 weeks ago
- An attempt to provide a reproducible, automatic, complete end-to-end bootstrap from a minimal number of binary seeds to a supported fully…☆739Apr 19, 2026Updated 3 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Collection of notes for talks☆13Jan 6, 2024Updated 2 years ago
- A set of minimal dependency bootstrap binaries☆1,050Jun 17, 2026Updated last month
- Builder-Hex0 is a minimal build system which includes a bootloader, kernel, shell, and a hex0 compiler☆82Feb 17, 2024Updated 2 years ago
- Richard's compiler bootstrap experiment☆44Jun 8, 2023Updated 3 years ago
- The most minimal C you can do real work in☆16May 8, 2022Updated 4 years ago
- Starting with a single ~400 KB TinyCC binary, compile a Clang 17 toolchain and Nix package manager☆60Oct 14, 2023Updated 2 years ago
- Experiment on how to bootstrap the OCaml compiler☆113Apr 16, 2022Updated 4 years ago
- Self-hosting parser generators in Forth and C.☆20Feb 27, 2021Updated 5 years ago
- ☆14May 13, 2026Updated 2 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- SQL over RPC, specifically for SQLite☆10Jul 17, 2018Updated 8 years ago
- pax archive utility☆14May 25, 2026Updated last month
- Bootstrap compiler☆88Jun 25, 2010Updated 16 years ago
- mirror of my guix configs☆12Updated this week
- A mini merge DSL for data overlays☆28Oct 26, 2023Updated 2 years ago
- ☆24Oct 30, 2023Updated 2 years ago
- Tiny public-domain implementation of BLAKE3☆28Sep 11, 2021Updated 4 years ago
- SECD machine and Lispkit Lisp compiler, in Python☆14Oct 25, 2017Updated 8 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
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Learn how argc and argv are passed from environment to Unix program.☆19Jul 9, 2021Updated 5 years ago
- a tiny self-hosted Forth implementation☆442May 8, 2020Updated 6 years ago
- Auxolotl Laboratories, a home for all our mad science experiments☆22Jun 12, 2024Updated 2 years ago
- 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
- Build idbloader.img, trust.img, and uboot.img from compiled uboot☆10Feb 17, 2023Updated 3 years ago
- Improvements to picol: A TCL like interpreter suitable as an shell in an embedded system☆34Nov 23, 2025Updated 7 months ago
- Experimental Nix implementation of Android `soong` modules☆10Oct 11, 2023Updated 2 years ago
- ☆18May 19, 2020Updated 6 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A very basic Lisp + Erlang-style processes, on a virtual machine☆10Aug 24, 2016Updated 9 years ago
- ☆43Dec 1, 2025Updated 7 months ago
- Add specified programs (apps) on PATH.☆20Aug 26, 2025Updated 10 months ago
- 3-lisp implementation from Procedural Reflection in Programming Languages, volume i., Brian Cantwell Smith☆133Apr 11, 2025Updated last year
- A compiler and runtime library for an extended dialect of C that checks type, memory, and concurrency safety☆16Jan 31, 2016Updated 10 years ago
- Python interpreter for Peter Landin's SECD abstract machine.☆43Apr 12, 2013Updated 13 years ago
- Bootstrapping rustc from source☆120Updated this week