☆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 2 years ago
- System-V UNIX clone for ARM A-Core Processors☆16Jun 15, 2021Updated 5 years ago
- A server that abuses various protocols to transmit content of my website.☆19Jul 15, 2026Updated 2 months ago
- experiments in linux sandbox stuff☆28May 5, 2015Updated 11 years ago
- Contents from Solaris 8 Source Foundation☆11Oct 11, 2021Updated 4 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 free implementation of DCE RPC, with development aimed at implementing DCOM for Linux (and other UNIX systems).☆10Sep 5, 2013Updated 13 years ago
- ☆12Sep 30, 2018Updated 7 years ago
- ☆14Feb 11, 2021Updated 5 years ago
- Bare metal programming experiments for 68040-based NeXT systems☆12Sep 12, 2022Updated 4 years ago
- Specification for the NameDrop DNS delegation protocol☆30Mar 20, 2025Updated last year
- small C coroutine library based on pypy's stacklet and boost context☆12Jan 28, 2018Updated 8 years ago
- Privilege-separated secure DHCPv4 client for Linux.☆38Jul 6, 2026Updated 2 months ago
- Linux kernel for Qualcomm's Hexagon processors☆10Mar 14, 2013Updated 13 years ago
- Capstone Engine bindings on PHP 7.0+☆12Sep 22, 2022Updated 4 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.
- Kubernetes OIDC authentication client☆17Feb 26, 2022Updated 4 years ago
- Source code of Research Unix v8, released by The Unix Heritage Society.☆19Jun 27, 2019Updated 7 years ago
- A lightweight panel/taskbar written in Python and C for X11 window managers☆15Oct 19, 2013Updated 12 years ago
- Homebrew formulae for everything Troff and man page related.☆26Feb 16, 2026Updated 7 months ago
- Port of uCLinux for the Mackerel-68k | Deprecated, see: https://github.com/crmaykish/mackerel-linux☆11Jun 3, 2026Updated 3 months ago
- Intel 8080 emulator with built-in CP/M emulation☆14Feb 16, 2023Updated 3 years ago
- SEAL GUI for DOS☆15Jun 14, 2023Updated 3 years ago
- QEMU bare metal test for validating TrustZone support☆11Apr 23, 2015Updated 11 years ago
- The UNIX System V Release 4 source code for the AT&T 3B2☆16Nov 5, 2022Updated 3 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.
- Restoring a lesser-known Unix System V Release 4/i386 distribution from the early 90s☆16Dec 12, 2024Updated last year
- Work towards a "golden model" of the RISC-V calling convention(s)☆10Oct 2, 2017Updated 8 years ago
- A recreation of Mini vMac's history by importing the source code archives. No pull requests, please; to contribute to Mini vMac, contact …☆11Dec 4, 2019Updated 6 years ago
- ☆10Jul 24, 2017Updated 9 years ago
- The main repository of CargOS☆10Mar 24, 2025Updated last year
- bash loop to run tasks in the background. used as an anacron alternative☆13Nov 12, 2024Updated last year
- ☆14Mar 12, 2021Updated 5 years ago
- xv6 ported to x86_64.☆10Jan 9, 2021Updated 5 years ago
- Multiversal Interfaces for Classic MacOS☆17Aug 11, 2026Updated last month
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- List all bitcoin addresses with positive balance.☆11May 14, 2024Updated 2 years ago
- Package shm provides a way to use System V shared memory.☆13Jan 16, 2021Updated 5 years ago
- The pam_ldap module provides the means for Solaris and Linux servers and workstations to authenticate against LDAP directories, and to ch…☆14Jul 1, 2024Updated 2 years ago
- xinu68k: Xinu for the Motorola MECB, AT&T PC 7300, AT&T UNIX PC, AT&T/Olivetti 3B1, Convergent Technologies S/50, and Sun Microsystems Su…☆18Mar 10, 2022Updated 4 years ago
- Flow-based programming framework☆16Apr 9, 2018Updated 8 years ago
- Wrap radamsa on OSX, add instrumentation / triage.☆15Apr 22, 2016Updated 10 years ago
- Dockerized dev environment for the xv6 os☆10Jan 29, 2023Updated 3 years ago