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:
- view based o.s.☆49Aug 21, 2026Updated last week
- Experimental hostapd/wpa_supplicant that allows automatic MACsec channel establishment☆11Sep 5, 2017Updated 8 years ago
- Wind River Linux Setup -- Distribution Build Project Assembler☆12Oct 2, 2019Updated 6 years ago
- ☆11Jan 1, 2021Updated 5 years ago
- Infect to Protect☆15Nov 6, 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.
- Tool for debugging WebAssembly (like gdb).☆12Jan 25, 2023Updated 3 years ago
- Crellvm: Verified Credible Compilation for LLVM☆18Jun 26, 2018Updated 8 years ago
- ☆13Dec 4, 2018Updated 7 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
- Python library for interfacing with TPMs☆12Feb 12, 2017Updated 9 years ago
- A token system based on proof of transport☆11Dec 21, 2021Updated 4 years ago
- Supervise child process in the "Go Way"☆17Jan 23, 2022Updated 4 years ago
- Modular Provable Security on Commodity System and Application Software Stacks☆13Jan 6, 2022Updated 4 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- High performance, DPDK-based, user space firewall☆13Dec 9, 2015Updated 10 years ago
- The GUI Hex Editor/Analyzer supports remote access and template. Which works on Winodws/Linux☆16Feb 9, 2023Updated 3 years ago
- Standalone libSboot for U-boot☆22Jan 17, 2013Updated 13 years ago
- with opengl☆14Jul 18, 2021Updated 5 years ago
- Go library for accessing the Namesilo API.☆14Aug 1, 2026Updated 3 weeks ago
- A Tiny Basic: An Actually Tiny BASIC for Arduino☆29Aug 13, 2020Updated 6 years ago
- Linux UIO Library in Rust☆22Jun 7, 2026Updated 2 months ago
- A B-Tree implementation in OCaml☆24Oct 24, 2016Updated 9 years ago
- VFSLite is a lightweight virtual file system. Open-source and self-contained in a single file.☆27Mar 18, 2025Updated last year
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- ☆15Jun 18, 2015Updated 11 years ago
- Replacement for GNU Bintuils, written in Rust☆12Oct 5, 2024Updated last year
- 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
- Sample project to emit/handle events using bus package☆12Dec 11, 2021Updated 4 years ago
- ☆19Apr 21, 2026Updated 4 months ago
- deepnn architecture for generating monophonic melodies conditioned on chords☆13Apr 15, 2019Updated 7 years ago
- Stability Dashboard☆13Updated this week
- Massively scalable, cloud-backed distributed block device for Linux and VMs☆25Jun 19, 2026Updated 2 months ago
- Samples of binary with different formats and architectures. A test suite for your binary analysis tools.☆21Jun 23, 2014Updated 12 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.
- Erlang Design by Contract☆23Jul 27, 2018Updated 8 years ago
- Companion Worm research☆17Nov 8, 2021Updated 4 years ago
- GCounter CRDT Implemented in Go & Docker☆16Sep 5, 2020Updated 5 years ago
- Common TinTin++ game architecture + settings + database for 3-Kingdoms LP-MUD (3k.org)☆13Updated this week
- A JavaScript implementation of SOM, a minimal Smalltalk for teaching and research.☆17Feb 7, 2024Updated 2 years ago
- Phone. WTF!☆11Jul 29, 2025Updated last year
- A very simple cli helper that encrypts files in directories using AES-GCM (128bit)☆16Updated this week