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 4 months ago
- Prepared statement support for the system command☆29Updated 4 years ago
- Freestanding OCaml runtime☆103Updated last week
- exokernel style operating system based on lightweight virtual machines☆25Updated 8 years ago
- A digital logic simulation written in C☆63Updated 4 years ago
- Bootstrap compiler☆44Updated 5 years ago
- Unix architecture evolution diagrams☆82Updated 6 years ago
- Richard's compiler bootstrap experiment☆45Updated last year
- fundamental tools in the spirit of C☆60Updated 5 years ago
- return-to-abort() - Using code introspection to prevent stack-smashing☆37Updated 4 years ago
- Kernighan's Awk a.k.a. "One True Awk"☆55Updated 8 years ago
- A single instruction set processor architecture☆18Updated 7 years ago
- Test self-modifying code behaviour on processors for single-use JIT functions☆51Updated 4 years ago
- Bootstrapping VM for bare metal to trusted C compilation☆47Updated 4 months ago
- pacc: a compiler-compiler☆37Updated 8 years ago
- subset-of-C compiler targeting 32-bit x86☆115Updated last year
- The latest development version of rose. It may not pass all regression tests.☆107Updated 5 years ago
- An exercise in cryptographic minimlism☆24Updated 10 years ago
- A JIT compiler for Brainfuck running on x86_64 UEFI☆86Updated 6 years ago
- [deprecated, see https://github.com/vigor-nf/vigor] VigNAT first repository. Includes VigNAT, libVig, Vigor Validator, and all the proofs…☆75Updated 3 years ago
- NxM, a 64-bit plan 9 derivative you can build on Linux and OSX, and boot on qemu☆45Updated 10 months ago
- A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.☆104Updated 6 months ago
- A threaded, continuations-based I/O event library for manycore NUMA machines☆71Updated 3 years ago
- T1 Documentation☆11Updated 5 years ago
- A simple, self hosted, low level programming language.☆79Updated 2 months ago
- Portable, efficient, safe execution of untrusted x86 code☆121Updated 2 years ago
- Schrödinger's Tcl☆30Updated 10 years ago
- ZeroVM Run-Time environment☆65Updated 9 years ago
- A highly portable build system targeting modern UNIX systems. Supports C, OCaml, TeX, METAPOST, NOWEB, M4, and more. Based on BSD Make.☆105Updated 6 years ago
- Tweaked version of "Aha" - "A Hacker's Assistant" superoptimiser by Henry S. Warren☆58Updated 2 years ago