mhsys / mh
MH: a microkernel for fun and experimenting!
☆30Updated 7 years ago
Alternatives and similar repositories for mh:
Users that are interested in mh are comparing it to the libraries listed below
- Non-preemptive Thread Hierarchy Manager☆55Updated 6 months ago
- Test self-modifying code behaviour on processors for single-use JIT functions☆52Updated 4 years ago
- Richard's compiler bootstrap experiment☆45Updated last year
- Prepared statement support for the system command☆29Updated 4 years ago
- fundamental tools in the spirit of C☆60Updated 5 years ago
- Freestanding OCaml runtime☆103Updated last month
- A JIT compiler for Brainfuck running on x86_64 UEFI☆86Updated 6 years ago
- Bootstrap compiler☆44Updated 5 years ago
- The Whack Programming Language☆61Updated 6 years ago
- minimalistic commandline hexadecimal editor similar to radare☆84Updated 4 years ago
- Schrödinger's Tcl☆30Updated 10 years ago
- exokernel style operating system based on lightweight virtual machines☆25Updated 9 years ago
- pacc: a compiler-compiler☆37Updated 8 years ago
- PIOS: Parallel Instructional Operating System - Instructional Template Code☆37Updated 12 years ago
- The Mickey Mouse of dynamic linkers☆14Updated 2 months ago
- BSD-licensed CTF Implementation☆19Updated 9 years ago
- A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.☆104Updated 7 months ago
- Bootstrapping VM for bare metal to trusted C compilation☆46Updated 6 months ago
- Unix architecture evolution diagrams☆82Updated 6 years ago
- The latest development version of rose. It may not pass all regression tests.☆107Updated 6 years ago
- T1 Documentation☆11Updated 5 years ago
- A digital logic simulation written in C☆63Updated 4 years ago
- rcor C compiler (under development)☆115Updated 7 years ago
- 🔄 Flexible C memory allocation scheme☆78Updated this week
- com2txt tool (from 1993)☆30Updated 7 years ago
- a little JIT VM language for (probably/eventually) terminal UI apps.☆62Updated 6 years ago
- A minimalist type-inferred programming language with procedural macro support☆136Updated 4 years ago
- quick c☆35Updated 3 years ago
- Minimalistic Operating System for Xen☆65Updated 2 years ago
- The Pascal-F Verifier☆49Updated 7 years ago