oriansj / mescc-tools
Bootstrapping tools for Janneke's MES
☆35Updated last month
Alternatives and similar repositories for mescc-tools:
Users that are interested in mescc-tools are comparing it to the libraries listed below
- Making Mes.c M2-Planet friendly☆30Updated 2 years ago
- The PLAtform NEutral Transpiler☆114Updated this week
- A place for public review of the posix port of stage0☆117Updated last month
- A more standards compliant C library written in M2-Planet's C subset☆20Updated this week
- The roots of trust for all architectures☆89Updated 5 months ago
- Builder-Hex0 is a minimal build system which includes a bootloader, kernel, shell, and a hex0 compiler☆53Updated last year
- Collection of community-maintained components for Genode☆46Updated this week
- Tool for streamlining the development of Genode applications☆23Updated last week
- Portable high-level assembler with authentic C syntax☆24Updated 2 years ago
- Boot2Now is a series of compilers in the form of bootable machine images☆18Updated 2 years ago
- Experiment on how to bootstrap the OCaml compiler☆105Updated 3 years ago
- Le-Lisp by INRIA☆28Updated 2 years ago
- Minimal operating system for x86 intended as a basis for benchmarking and running Gambit☆88Updated 4 years ago
- [ABANDONED] An extensible shell (descended from es and rc) having functional semantics and a conventional syntax.☆51Updated 3 years ago
- Experiments in bootstrapping from bare-metal☆31Updated 3 years ago
- Website for stories around the Genode operating system☆17Updated 2 months ago
- tiny emacs☆26Updated 3 years ago
- A flake to remotely build and/or cache C/C++ compilation, using recursive Nix☆30Updated 3 years ago
- Guy Steele's RABBIT Scheme compiler☆60Updated 16 years ago
- A 16-bit CPU and self-hosting Forth system for the Lattice ICE40 FPGA, written in Haskell.☆58Updated 3 years ago
- ☆54Updated 8 years ago
- A nix flake for running 9front virtual machines with drawterm☆42Updated last week
- ☆21Updated 8 years ago
- configuration script for portable, OpenBSD-oriented systems☆49Updated 2 weeks ago
- GNU Guix☆34Updated 9 years ago
- ☆18Updated 5 years ago
- ☆22Updated 4 years ago
- Richard's compiler bootstrap experiment☆45Updated last year
- Tools to create filesystem images from an fspec filesystem specification.☆16Updated last year
- Collection of notes for talks☆12Updated last year