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:
- The Bear Operating System☆24Aug 8, 2017Updated 9 years ago
- iperf like tool on MirageOS☆11May 27, 2026Updated 5 months ago
- Erlang Bindings for sd_notify()☆19Jan 6, 2022Updated 4 years ago
- Infect to Protect☆15Nov 6, 2018Updated 7 years ago
- ☆13Dec 4, 2018Updated 7 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- The Whack Programming Language☆59Mar 7, 2019Updated 7 years ago
- Tool for debugging WebAssembly (like gdb).☆12Jan 25, 2023Updated 3 years ago
- Implementation of the openflow protocol in OCaml☆12Sep 28, 2010Updated 16 years ago
- descartes: the cartesian hoare logic prover☆12Feb 23, 2017Updated 9 years ago
- Automatically generate table of contents for Markdown files☆17Nov 22, 2022Updated 3 years ago
- Bytecode VM and Assembler in JS☆33Jan 14, 2022Updated 4 years ago
- Crellvm: Verified Credible Compilation for LLVM☆18Jun 26, 2018Updated 8 years ago
- A port of XenAPI.py to Ruby☆12Apr 1, 2016Updated 10 years ago
- A Tiny Basic: An Actually Tiny BASIC for Arduino☆29Aug 13, 2020Updated 6 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.
- Rust native library for TPM 2.0 operations. Heavily work in progress.☆13Dec 5, 2022Updated 3 years ago
- a quick open/close/ioctl/read/write syscall hooker☆15May 28, 2014Updated 12 years ago
- Adaptation of gxemul to support the CHERI MIPS unit test suite and certain CHERI features☆15Dec 8, 2015Updated 10 years ago
- Script to easy install Debian on XenServer☆10Jan 20, 2012Updated 14 years ago
- An exokernel written in C11 (with GNU extensions) for Clang.☆15Jun 6, 2013Updated 13 years ago
- A client for doing FS operations in multiple places in sync.☆14Sep 29, 2017Updated 9 years ago
- A no-frills Racket macro library to extend ffi/unsafe with C++ compatibility.☆10Feb 5, 2020Updated 6 years ago
- Source code for 'Software Exorcism' by Bill Blunden☆13Mar 30, 2017Updated 9 years ago
- A C implementation of elliptic-curve-based Direct Anonymous Attestation (DAA) signatures. Created to support the Xaptum Edge Network Fabr…☆45Aug 13, 2021Updated 5 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Mirage OS bindings for ESP32☆29Oct 3, 2019Updated 7 years ago
- Mirror of git://git.savannah.gnu.org/tar.git☆11May 18, 2016Updated 10 years ago
- 32-bit Operating System in assembly.☆12Mar 21, 2026Updated 7 months ago
- libudev.so.0 compatibility library for systems with newer udev versions☆11Jul 17, 2024Updated 2 years ago
- Erlang Design by Contract☆23Jul 27, 2018Updated 8 years ago
- Replacement for GNU Bintuils, written in Rust☆12Oct 5, 2024Updated 2 years ago
- Companion Worm research☆18Nov 8, 2021Updated 4 years ago
- like ngrok but reverse☆13Aug 25, 2016Updated 10 years ago
- Classified ads is internet messaging system done right☆11Feb 16, 2025Updated last year
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Erlang to Scheme compiler☆40Mar 28, 2012Updated 14 years ago
- Rescuing the SOUL great logic meta programming language☆12Oct 7, 2018Updated 8 years ago
- DynSem☆13Apr 28, 2025Updated last year
- My public presentations and code examples☆15Jan 20, 2024Updated 2 years ago
- Common TinTin++ game architecture + settings + database for 3-Kingdoms LP-MUD (3k.org)☆13Updated this week
- Rough notes for the Stanford algorithm course☆13Apr 24, 2012Updated 14 years ago
- IBM Business Automation Manager Open Editions (BAMOE)☆11Oct 22, 2026Updated last week