A minimal experimental microkernel
☆25Apr 26, 2024Updated 2 years ago
Alternatives and similar repositories for mink
Users that are interested in mink are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Experiment and learn how compilers, linkers and C runtime work cooperatively☆10Jan 31, 2020Updated 6 years ago
- FreeBSD src tree☆11Updated this week
- ☆14Sep 11, 2019Updated 7 years ago
- ☆23May 9, 2024Updated 2 years ago
- Jeff BezOS: the operating system☆11Jan 10, 2026Updated 9 months 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.
- XtratuM Mirror☆21Apr 7, 2017Updated 9 years ago
- Dazzling is a project website generator based on Gatsby and React that's simple, quick, and extensible.☆10Sep 11, 2018Updated 8 years ago
- Image Packaging System package manager☆34Aug 24, 2026Updated 2 months ago
- ☆29Sep 27, 2026Updated last month
- Dropwizard API to power address lookups☆10Feb 16, 2015Updated 11 years ago
- The source for the illumos documentation site☆38Oct 6, 2026Updated last month
- Make and DKMS support for dummy/Loopback USB host and device emulator driver.☆12Dec 25, 2018Updated 7 years ago
- *DEPRECATED* Intel's Hardware Accelerated Execution Manager (ripped) SDK☆15Dec 8, 2017Updated 8 years ago
- The dead-simple, missing link between iOS interface controls and objective-c blocks. No more delegates and useless methods, just blocks!☆16Jun 2, 2013Updated 13 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- x86 bootloader and OS kernel including textual shell, heap memory allocator, ATA driver☆20Sep 29, 2020Updated 6 years ago
- Jump Consistent Hash NIF library for Erlang/Elixir☆18Jul 16, 2023Updated 3 years ago
- Relay Node for the Tox Network☆11Jan 1, 2018Updated 8 years ago
- PostgreSQL Schema is a database migration tool.☆13Apr 5, 2018Updated 8 years ago
- caar - the modern LISP machine☆12Mar 16, 2022Updated 4 years ago
- Kernel for my operating system KoraOS☆19May 29, 2026Updated 5 months ago
- Such OS; Very Duck!☆15Feb 19, 2021Updated 5 years ago
- The Mailismus mailserver - SMTP, IMAP, POP3, SSL☆12Apr 5, 2024Updated 2 years ago
- Experimental 64-bit emulator based on Project 64 and mupen64plus☆10Nov 5, 2019Updated 7 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.
- This project involved the development of a x86 64 bit operating system (SBUnix). It was developed in C and Assembly language. System was …☆29Sep 1, 2015Updated 11 years ago
- Rust bindings to the KVM interface☆17Jun 20, 2019Updated 7 years ago
- ☆17Jun 26, 2015Updated 11 years ago
- ps2 bios extractor - Modules extraction from PlaysStation 2 rom dump☆17Sep 5, 2022Updated 4 years ago
- Raspberry PI Zero USB gadget. Mouse, Keyboard, USB flash drive.☆16Mar 20, 2018Updated 8 years ago
- Simple firewall to block outgoing network access for specified software☆18Oct 22, 2026Updated 2 weeks ago
- Filesystem abstraction layer☆11Feb 17, 2026Updated 8 months ago
- ☆19Oct 1, 2018Updated 8 years ago
- Modern x86_64 UEFI bootloader☆13Oct 3, 2021Updated 5 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Tox Cam☆13May 16, 2020Updated 6 years ago
- Stub for polymorphic code☆11Mar 18, 2023Updated 3 years ago
- ☆18Sep 29, 2022Updated 4 years ago
- just a toy operating system for fun☆18Oct 16, 2014Updated 12 years ago
- The Rumprun unikernel and toolchain for various platforms☆11Oct 30, 2026Updated last week
- A parser combinator in Ruby, with a pretty DSL☆11Jun 25, 2017Updated 9 years ago
- The tiny portable libc☆14Jun 7, 2022Updated 4 years ago