The Hypatia Type-1 Hypervisor
☆14Jul 24, 2026Updated 3 months 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:
- DTrace probes for Tokio runtime events☆22Oct 24, 2025Updated last year
- A hierarchical timer wheel in Rust☆17Feb 1, 2018Updated 8 years ago
- An asynchronous UDP socket that supports timestamping☆15Oct 14, 2026Updated 2 weeks ago
- Simple EFI bootloader☆48Nov 19, 2025Updated 11 months ago
- HTML to Scalatags converter☆10Oct 8, 2018Updated 8 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.
- DWARF program analysis crate☆24Apr 25, 2024Updated 2 years ago
- Prototype debugger for lilos☆27Mar 5, 2025Updated last year
- Binary size explorer☆15Aug 7, 2025Updated last year
- a tree. with versions.☆13Jul 26, 2017Updated 9 years ago
- HIF: The Hubris/Humility Interchange Format☆11Sep 19, 2023Updated 3 years ago
- decentralised platform for sharing notes privately☆14May 13, 2026Updated 5 months ago
- Wraps cargo to move target directories to a central location [super experimental]☆30Oct 6, 2026Updated 3 weeks ago
- Virtual machine monitor for L4Re☆36Oct 23, 2026Updated last week
- An archive of the original Multivalent tools circa 2006☆19Feb 28, 2017Updated 9 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.
- ☆12Feb 2, 2014Updated 12 years ago
- Jahob Verification System☆13Mar 19, 2017Updated 9 years ago
- A pure-Python window manager for the X window system.☆14Jun 24, 2020Updated 6 years ago
- Rust implementation for Session Traversal Utilities for NAT (STUN)☆23Oct 1, 2025Updated last year
- A system to help ship lisp code with C dependencies☆10Apr 29, 2018Updated 8 years ago
- Threshold encryption☆12Jan 18, 2022Updated 4 years ago
- Convenience wrapper over Apache Milagro☆12Apr 28, 2022Updated 4 years ago
- Predictable serde format for embedded (or larger) systems☆13Jul 20, 2024Updated 2 years ago
- The HOL System is an environment for interactive theorem proving in a higher-order logic. Its most outstanding feature is its high degre…☆11Oct 24, 2016Updated 10 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- A simple, single-future, non-blocking executor intended for building state machines. Designed to be no-std and embedded friendly.☆86Apr 13, 2024Updated 2 years ago
- Cross-platform Rust wrappers for the PCI ID Repository☆12Oct 3, 2025Updated last year
- high level abstractions of running docker containers☆11May 16, 2023Updated 3 years ago
- A reusable, extensible, and efficient C++ implementation of the Foster B-tree data structure☆15Jun 26, 2019Updated 7 years ago
- dom-like layout for terminal applications☆13Dec 27, 2020Updated 5 years ago
- VersionEye SBT Plugin for scala projects☆10Nov 30, 2017Updated 8 years ago
- High level Lean 4 FFI for Rust☆14Mar 16, 2024Updated 2 years ago
- A XMODEM sender using libftdi☆17May 31, 2022Updated 4 years ago
- Corny COBS encode/decode for Rust no_std targets☆21Nov 10, 2022Updated 3 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.
- Notes for CIS 700 (Fall '19) at Syracuse U.☆13Nov 6, 2019Updated 6 years ago
- The (very) small kernel of the LaTTe proof assistant☆12May 29, 2026Updated 5 months ago
- 📡 A stunning terminal RSS reader built with Rust and ratatui☆13Aug 11, 2026Updated 2 months ago
- Metadata agent for configuration of illumos guests on DigitalOcean☆16May 14, 2025Updated last year
- Software Network Processing Unit☆18Oct 26, 2026Updated last week
- ELFbac ARM port☆14Aug 9, 2016Updated 10 years ago
- mirror of http://code.google.com/p/bitstring☆14Sep 6, 2016Updated 10 years ago