mhsys / mh

Related projects ⓘ

Alternatives and complementary repositories for mh

• gueststar / nthm
  Non-preemptive Thread Hierarchy Manager
  ☆55Updated 3 weeks ago
• marssaxman / fleet
  exokernel style operating system based on lightweight virtual machines
  ☆25Updated 8 years ago
• animetosho / jit_smc_test
  Test self-modifying code behaviour on processors for single-use JIT functions
  ☆51Updated 4 years ago
• codr7 / libcodr7
  fundamental tools in the spirit of C
  ☆59Updated 4 years ago
• rzscheck / logic
  A digital logic simulation written in C
  ☆63Updated 4 years ago
• mirage / ocaml-solo5
  Freestanding OCaml runtime
  ☆100Updated this week
• sysml / mini-os
  Minimalistic Operating System for Xen
  ☆65Updated 2 years ago
• cisco / systemf
  Prepared statement support for the system command
  ☆29Updated 4 years ago
• t1lang / t1bootstrap
  Bootstrap compiler
  ☆44Updated 5 years ago
• cjdelisle / return-to-abort
  return-to-abort() - Using code introspection to prevent stack-smashing
  ☆37Updated 4 years ago
• mulle-c / mulle-allocator
  🔄 Flexible C memory allocation scheme
  ☆77Updated 7 months ago
• NanXiao / umalloc
  A tiny Unix dynamic memory allocator library.
  ☆64Updated 7 years ago
• m4tx / uefi-jitfuck
  A JIT compiler for Brainfuck running on x86_64 UEFI
  ☆85Updated 6 years ago
• rcorcs / rcc
  rcor C compiler (under development)
  ☆115Updated 7 years ago
• aidanhs / schrotcl
  Schrödinger's Tcl
  ☆30Updated 9 years ago
• hq6 / GdbShellPipe
  Enable piping of internal command output to external commands
  ☆70Updated 6 years ago
• arnoldrobbins / mcilroy-regex
  Doug McIlroy's C++ regular expression matching library
  ☆95Updated 6 years ago
• dspinellis / unix-architecture
  Unix architecture evolution diagrams
  ☆82Updated 5 years ago
• eloraiby / tcpm
  Tiny Cooperative Process Management Library/Embedded Bounded Queue Actor Model (C11)
  ☆40Updated 6 years ago
• vignat / vignat
  [deprecated, see https://github.com/vigor-nf/vigor] VigNAT first repository. Includes VigNAT, libVig, Vigor Validator, and all the proofs…
  ☆75Updated 2 years ago
• moehriegitt / vastringify
  Type-safe Printf in C
  ☆67Updated 2 years ago
• ademakov / MainMemory
  Wannabe Main Memory Database and More
  ☆53Updated 3 years ago
• hnsl / librcd
  A library for Rapid {C|Concurrency|Correct} Development
  ☆34Updated 9 years ago
• ssrg-vt / hermitux-kernel
  ☆34Updated last year
• TobyGoodwin / pacc
  pacc: a compiler-compiler
  ☆37Updated 8 years ago