hypatia-hypervisor/hypatia external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

hypatia-hypervisor/hypatia

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/hypatia-hypervisor/hypatia)

Close

hypatia-hypervisor / hypatiaView on GitHubMore

• External links
• Readme badge

The Hypatia Type-1 Hypervisor

☆13Jan 9, 2026Updated last month

Alternatives and similar repositories for hypatia

Users that are interested in hypatia are comparing it to the libraries listed below

• andrewjstone / ferris

  View on GitHub
  A hierarchical timer wheel in Rust
  ☆17Feb 1, 2018Updated 8 years ago
• cbiffle / lilosdbg

  View on GitHub
  Prototype debugger for lilos
  ☆27Mar 5, 2025Updated 11 months ago
• emacs-eaf / eaf-jupyter

  View on GitHub
  Jupyter client
  ☆15Jul 12, 2025Updated 7 months ago
• versioneye / versioneye_sbt_plugin

  View on GitHub
  VersionEye SBT Plugin for scala projects
  ☆10Nov 30, 2017Updated 8 years ago
• lovesh / amcl_rust_wrapper

  View on GitHub
  Convenience wrapper over Apache Milagro
  ☆12Apr 28, 2022Updated 3 years ago
• sstent / nixos-on-odroid-m1

  View on GitHub
  These are configuration files which make it easier to set up and maintain a NixOS installation on an ODROID-M1 single-board computer.
  ☆13Nov 21, 2023Updated 2 years ago
• Freax13 / test-kernel

  View on GitHub
  ☆13Oct 6, 2022Updated 3 years ago
• BuoyantIO / linkerd-workshops

  View on GitHub
  Content for Linkerd workshops
  ☆13Oct 30, 2024Updated last year
• scf37 / html2scalatags

  View on GitHub
  HTML to Scalatags converter
  ☆10Oct 8, 2018Updated 7 years ago
• oxidecomputer / cockroachdb-exploration

  View on GitHub
  notes, config, tools, etc. for kicking the tires on cockroachdb
  ☆11Apr 8, 2025Updated 10 months ago
• tupai-os / deus

  View on GitHub
  A portable kernel written in Rust.
  ☆16Feb 13, 2024Updated 2 years ago
• u-root / sidecore

  View on GitHub
  sidecore lets you run IoT systems, using flattened docker images from github.com/u-root/sidecore-images, as easily as you run a shell scr…
  ☆10Jun 20, 2025Updated 8 months ago
• lienching / pci-ids.rs

  View on GitHub
  Cross-platform Rust wrappers for the PCI ID Repository
  ☆11Oct 3, 2025Updated 5 months ago
• evantahler / git-whereami

  View on GitHub
  Append your location to all of our git commits!
  ☆10Apr 17, 2015Updated 10 years ago
• BuoyantIO / linkerd-buoyant

  View on GitHub
  Linkerd Buoyant releases
  ☆13Updated this week
• pratikmallya / interview_questions

  View on GitHub
  👨‍💻 my solutions to interview questions
  ☆10May 14, 2016Updated 9 years ago
• Geal / vlc_module.rs

  View on GitHub
  Helper library to write VLC modules in Rust
  ☆14Mar 24, 2021Updated 4 years ago
• benaubin / simple_wal

  View on GitHub
  Write-ahead-logging implementation for Rust
  ☆16Oct 24, 2021Updated 4 years ago
• chris-morgan / phantom-enum

  View on GitHub
  A simple macro library for creating phantom enums. Just simple sugar.
  ☆14Jun 8, 2016Updated 9 years ago
• maxwase / iot-wifi-setup

  View on GitHub
  An example of a common Wi-Fi set up scenario on ESP32 using Rust
  ☆16Mar 29, 2024Updated last year
• valarauca / consistenttime

  View on GitHub
  Constant Time Operations for Crypto Libraries
  ☆10Jun 22, 2017Updated 8 years ago
• phil-opp / binutils-gdb

  View on GitHub
  Unofficial mirror of sourceware binutils-gdb repository. Updated daily.
  ☆10Dec 25, 2016Updated 9 years ago
• nvimdev / rapid.nvim

  View on GitHub
  async compile on neovim
  ☆12Aug 17, 2023Updated 2 years ago
• seanjensengrey / picolisp

  View on GitHub
  Minimalist-lisp interpreter implementation for UNIX-like systems.
  ☆12Mar 14, 2015Updated 10 years ago
• burz / cfl

  View on GitHub
  a Compileable statically typed Functional programming Language
  ☆11Jun 11, 2015Updated 10 years ago
• hawkw / seax_svm

  View on GitHub
  Seax Virtual Machine
  ☆11Feb 13, 2017Updated 9 years ago
• seven-imps / intersect

  View on GitHub
  ☆12Feb 21, 2026Updated last week
• hdevalence / text_tree

  View on GitHub
  dom-like layout for terminal applications
  ☆13Dec 27, 2020Updated 5 years ago
• matklad / tracing-span-tree

  View on GitHub
  ☆12Nov 28, 2023Updated 2 years ago
• opendata-guru / data-portallist-de

  View on GitHub
  📚 list of all open data portals in Germany 🇩🇪
  ☆12Feb 6, 2023Updated 3 years ago
• badlogic / knn

  View on GitHub
  Java 7/8 implementations of K nearest neightbour (actually 1-nn)
  ☆10Jun 17, 2014Updated 11 years ago
• pskrgag / lock_free_buddy_allocator

  View on GitHub
  Lock-free buddy allocator based on binary heap
  ☆13Mar 3, 2025Updated last year
• Yamakaky / dcpu

  View on GitHub
  A DCPU-16 emulator and DASM (dis)assembler with a library interface
  ☆12Feb 5, 2017Updated 9 years ago
• olix0r / waxy

  View on GitHub
  Tokio+Hyper+WASM toy proxy
  ☆13Apr 27, 2020Updated 5 years ago
• ioncodes / chipi

  View on GitHub
  A declarative instruction decoder and disassembler generator using a custom DSL
  ☆19Feb 23, 2026Updated last week
• an-cabal / an-rope

  View on GitHub
  an rope data structure
  ☆11Dec 1, 2017Updated 8 years ago
• helium / erlang-tpke

  View on GitHub
  Threshold encryption
  ☆12Jan 18, 2022Updated 4 years ago
• Kobzol / debug-visualizer

  View on GitHub
  Program memory visualizer for GDB/LLDB (bachelor thesis)
  ☆12Apr 17, 2016Updated 9 years ago
• jrabbit / hitman

  View on GitHub
  RSS enclosure (Podcast) downloader
  ☆15Dec 8, 2022Updated 3 years ago