MH: a microkernel for fun and experimenting!
☆31Feb 22, 2018Updated 8 years ago
Alternatives and similar repositories for mh
Users that are interested in mh are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Standard ML Parser Combinator Library☆18Jan 9, 2026Updated 6 months ago
- Tools to create filesystem images from an fspec filesystem specification.☆16Apr 21, 2024Updated 2 years ago
- TinyForth Standard -- microscopic simplified forth standard of 35 words, designed to make forth as simple, extensible, and readable as po…☆13Feb 26, 2023Updated 3 years ago
- Erlang Bindings for sd_notify()☆19Jan 6, 2022Updated 4 years ago
- simple and efficient hashtable implementation for C, taken from musl's hsearch()☆21Feb 1, 2023Updated 3 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- iperf like tool on MirageOS☆11May 27, 2026Updated last month
- Wind River Linux Setup -- Distribution Build Project Assembler☆12Oct 2, 2019Updated 6 years ago
- Source for OUP/M - a CP/M-like operating system for 6502☆56Nov 12, 2018Updated 7 years ago
- Website contents for nommu.org☆10Sep 30, 2020Updated 5 years ago
- ☆11Jan 1, 2021Updated 5 years ago
- Infect to Protect☆15Nov 6, 2018Updated 7 years ago
- Tool for debugging WebAssembly (like gdb).☆12Jan 25, 2023Updated 3 years ago
- Crellvm: Verified Credible Compilation for LLVM☆18Jun 26, 2018Updated 8 years ago
- Automatically generate table of contents for Markdown files☆17Nov 22, 2022Updated 3 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Bytecode VM and Assembler in JS☆33Jan 14, 2022Updated 4 years ago
- posix compatible lex utility which compiles to ~60KB☆27Aug 27, 2022Updated 3 years ago
- Adaptation of gxemul to support the CHERI MIPS unit test suite and certain CHERI features☆15Dec 8, 2015Updated 10 years ago
- Go package and CLI to work with VHD images☆14Jul 6, 2020Updated 6 years ago
- Modular Provable Security on Commodity System and Application Software Stacks☆13Jan 6, 2022Updated 4 years ago
- libc and tools for creating size-optimized, statically linked Linux i386 and i686 programs☆28Updated this week
- Example repo for using golang to write ansible modules☆15Jan 5, 2019Updated 7 years ago
- Implementation of the SPDY protocol in ocaml☆14Oct 2, 2011Updated 14 years ago
- exokernel style operating system based on lightweight virtual machines☆25Apr 29, 2016Updated 10 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- High performance, DPDK-based, user space firewall☆13Dec 9, 2015Updated 10 years ago
- Rust native library for TPM 2.0 operations. Heavily work in progress.☆13Dec 5, 2022Updated 3 years ago
- Standalone libSboot for U-boot☆22Jan 17, 2013Updated 13 years ago
- The MLtonLibrary repository☆37Apr 4, 2023Updated 3 years ago
- with opengl☆14Jul 18, 2021Updated 5 years ago
- Simple supervisor to run daemons☆16Oct 30, 2024Updated last year
- A B-Tree implementation in OCaml☆24Oct 24, 2016Updated 9 years ago
- An exokernel written in C11 (with GNU extensions) for Clang.☆15Jun 6, 2013Updated 13 years ago
- ☆15Jun 18, 2015Updated 11 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.
- epc3925 router filename.gwc decoder☆10Jun 4, 2015Updated 11 years ago
- A correct C89/C90/C99/C11/C18 parser written using Menhir and OCaml☆213Jun 14, 2024Updated 2 years ago
- Exokernel/framework intended to ease the development of pure user space OS kernels☆21Dec 15, 2023Updated 2 years ago
- Stability Dashboard☆13Updated this week
- Apparently this maybe blogs or something?☆17Aug 2, 2024Updated last year
- A simple implementation of Facebook's Open Graph API☆17Dec 12, 2010Updated 15 years ago
- Open-source implementation of Letter Boxed☆11Jan 11, 2022Updated 4 years ago