The Hypatia Type-1 Hypervisor
☆13Jul 24, 2026Updated 2 weeks ago
Alternatives and similar repositories for hypatia
Users that are interested in hypatia 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 hierarchical timer wheel in Rust☆17Feb 1, 2018Updated 8 years ago
- Linux kernel source tree with changes to support LVBS with Hyper-V☆21Sep 12, 2024Updated last year
- An asynchronous UDP socket that supports timestamping☆15Jul 20, 2026Updated 3 weeks ago
- ☆23Updated this week
- DTrace probes for Tokio runtime events☆19Oct 24, 2025Updated 9 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- HTML to Scalatags converter☆10Oct 8, 2018Updated 7 years ago
- Cookie cutter for JupyterLab mimerenderer extensions using TypeScript☆20Aug 8, 2023Updated 3 years ago
- Prototype debugger for lilos☆27Mar 5, 2025Updated last year
- notes, config, tools, etc. for kicking the tires on cockroachdb☆11Apr 8, 2025Updated last year
- The x86_64 UEFI bootloader for rCore☆43Mar 1, 2026Updated 5 months ago
- Binary size explorer☆15Aug 7, 2025Updated last year
- decentralised platform for sharing notes privately☆14May 13, 2026Updated 3 months ago
- Virtual machine monitor for L4Re☆36Jul 31, 2026Updated last week
- A very extendable and versatile hybrid kernel.☆36Jun 24, 2024Updated 2 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.
- A pet project I started for prefetching the Kancolle game assets.☆10Jan 2, 2018Updated 8 years ago
- Simple EFI bootloader☆47Nov 19, 2025Updated 8 months ago
- An archive of the original Multivalent tools circa 2006☆19Feb 28, 2017Updated 9 years ago
- The BSVC Microprocessor Simulation Framework☆51Jul 17, 2024Updated 2 years ago
- A plugin for KanColleViewer in Chinese.☆11Jul 28, 2015Updated 11 years ago
- Threshold encryption☆12Jan 18, 2022Updated 4 years ago
- A simple template for building a Limine-compliant kernel in Rust.☆55Mar 16, 2026Updated 4 months ago
- Rust implementation for Session Traversal Utilities for NAT (STUN)☆22Oct 1, 2025Updated 10 months ago
- Convenience wrapper over Apache Milagro☆12Apr 28, 2022Updated 4 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.
- small http documentation server☆24Oct 16, 2021Updated 4 years ago
- Locks compatible with std::sync, but with runtime deadlock debugging for testing purposes☆27Nov 19, 2023Updated 2 years ago
- Porting Windows Dynamic Link Libraries to Linux☆44Dec 26, 2025Updated 7 months ago
- A reusable, extensible, and efficient C++ implementation of the Foster B-tree data structure☆15Jun 26, 2019Updated 7 years ago
- ☆39Updated this week
- Corny COBS encode/decode for Rust no_std targets☆21Nov 10, 2022Updated 3 years ago
- Quickly create routes to test with your frontend☆13Aug 25, 2024Updated last year
- Cross-platform Rust wrappers for the PCI ID Repository☆12Oct 3, 2025Updated 10 months ago
- A simple, single-future, non-blocking executor intended for building state machines. Designed to be no-std and embedded friendly.☆87Apr 13, 2024Updated 2 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Chrome extension to preview and debug your webpage's meta tags for different social platforms like Twitter, Facebook, WhatsApp, LinkedIn …☆28Nov 20, 2021Updated 4 years ago
- dom-like layout for terminal applications☆13Dec 27, 2020Updated 5 years ago
- Jupiter is an orchestrator for Dispersed (Networked) Computing that uses Docker containers and Kubernetes.☆24Jan 24, 2023Updated 3 years ago
- DWARF program analysis crate☆24Apr 25, 2024Updated 2 years ago
- Contact is a language and interactive shell for Riak.☆15Jan 3, 2022Updated 4 years ago
- VersionEye SBT Plugin for scala projects☆10Nov 30, 2017Updated 8 years ago
- batch eval tool for machine code. eval() but for asm.☆12Dec 31, 2022Updated 3 years ago