☆36Jan 12, 2023Updated 3 years ago
Alternatives and similar repositories for hermitux-kernel
Users that are interested in hermitux-kernel are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A binary-compatible unikernel☆398Aug 13, 2024Updated last year
- System-V UNIX clone for ARM A-Core Processors☆16Jun 15, 2021Updated 4 years ago
- [mirror] Yggdrasil kernel - x86-64 Unix-like kernel☆14Nov 20, 2020Updated 5 years ago
- A multicore OS for learning, written in Rust☆25Apr 18, 2021Updated 5 years ago
- An Multiboot Compliant X64 SMP Operating Systems☆12Oct 17, 2013Updated 12 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.
- A server that abuses various protocols to transmit content of my website.☆18Apr 25, 2026Updated last week
- Authenticated Encryption Based on the Masked Even-Mansour (MEM) Construction☆28Apr 20, 2018Updated 8 years ago
- Set of reusable Make snippets 🏗️☆17Jul 22, 2017Updated 8 years ago
- A simple OS kernel.☆14Mar 14, 2023Updated 3 years ago
- Kai Hendry's blog☆13Mar 5, 2026Updated 2 months ago
- Contents from Solaris 8 Source Foundation☆11Oct 11, 2021Updated 4 years ago
- A free implementation of DCE RPC, with development aimed at implementing DCOM for Linux (and other UNIX systems).☆10Sep 5, 2013Updated 12 years ago
- Proof of concept for Go/linux machine with no other user-space☆29Jun 4, 2018Updated 7 years ago
- Bare metal programming experiments for 68040-based NeXT systems☆12Sep 12, 2022Updated 3 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.
- The SunOS 4.1.3 source code.☆14May 14, 2023Updated 2 years ago
- small C coroutine library based on pypy's stacklet and boost context☆12Jan 28, 2018Updated 8 years ago
- Certificate transparency SCT verification library in rust☆55Mar 31, 2026Updated last month
- Privilege-separated secure DHCPv4 client for Linux.☆34Apr 3, 2026Updated last month
- Linux kernel for Qualcomm's Hexagon processors☆10Mar 14, 2013Updated 13 years ago
- Capstone Engine bindings on PHP 7.0+☆12Sep 22, 2022Updated 3 years ago
- Component (module, plugin, process (like dbus)) rpc server daemon and client library，make component communicating easier,using epoll eve…☆15Sep 2, 2019Updated 6 years ago
- Homebrew formulae for everything Troff and man page related.☆25Feb 16, 2026Updated 2 months ago
- Small library supporting HTTP accept headers and content negotiation.☆13Mar 18, 2017Updated 9 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.
- UART Communication Protocol, support all platform☆11Feb 24, 2026Updated 2 months ago
- The UNIX System V Release 4 source code for the AT&T 3B2☆16Nov 5, 2022Updated 3 years ago
- QEMU bare metal test for validating TrustZone support☆11Apr 23, 2015Updated 11 years ago
- Intel 8080 emulator with built-in CP/M emulation☆14Feb 16, 2023Updated 3 years ago
- A fork of v7x86☆17Oct 22, 2022Updated 3 years ago
- Restoring a lesser-known Unix System V Release 4/i386 distribution from the early 90s☆16Dec 12, 2024Updated last year
- A UNIX-like operating system with an emphasis on simplicity☆38Jan 18, 2020Updated 6 years ago
- Mach kernel from 1986☆21Aug 8, 2019Updated 6 years ago
- nv2D: Efficient immediate-mode style 2D rendering using OpenGL 4.x core vertex buffer objects☆15Oct 3, 2013Updated 12 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.
- ☆16Aug 20, 2019Updated 6 years ago
- ☆14Mar 12, 2021Updated 5 years ago
- xv6 ported to x86_64.☆10Jan 9, 2021Updated 5 years ago
- The main repository of CargOS☆10Mar 24, 2025Updated last year
- FFI-based byte buffers for Idris☆10Jun 21, 2019Updated 6 years ago
- Instantly share images, videos, and other files on the web☆15Aug 24, 2017Updated 8 years ago
- List all bitcoin addresses with positive balance.☆11May 14, 2024Updated last year