NOVA Microhypervisor
☆21Dec 8, 2025Updated 2 months ago
Alternatives and similar repositories for NOVA
Users that are interested in NOVA are comparing it to the libraries listed below
Sorting:
- Tool for suggesting lemma names in Coq verification projects☆22Sep 6, 2022Updated 3 years ago
- tenjint is a Python 3-based platform for virtual machine introspection (VMI) on x86 and ARM. This is main Python 3 tenjint library.☆11Feb 9, 2021Updated 5 years ago
- A 32-bit CPU and Assembler☆22Jan 4, 2026Updated last month
- GitHub Action using Docker-Coq [maintainers=@Justme0606,@Zimmi48]☆15Mar 23, 2025Updated 11 months ago
- ☆14Feb 20, 2026Updated last week
- Hypervisor written in Rust for the RISC-V 1.0 hypervisor extension☆16Oct 21, 2024Updated last year
- Formalization of C++ for verification purposes.☆90Updated this week
- tiny embedded MIPS virtualization platform - a very small and lean hypervisor using MIPS R5 hardware VZ option for embedded systems (IoT …☆20Sep 26, 2023Updated 2 years ago
- Bedrock Bit Vector Library☆28Oct 28, 2025Updated 4 months ago
- OCaml embedded eBPF assembler☆24Feb 14, 2022Updated 4 years ago
- Prototype for an F# MSIL DSL☆27Oct 24, 2013Updated 12 years ago
- Reflective PHOAS rewriting/pattern-matching-compilation framework for simply-typed equalities and let-lifting☆26Feb 17, 2026Updated last week
- NOVA runtime environment (official branch)☆35Jul 1, 2021Updated 4 years ago
- A fantasy console written in C++ using SFML and using ChaiScript and LuaJIT for scripting.☆27Nov 30, 2017Updated 8 years ago
- Ring, field, lra, nra, and psatz tactics for Mathematical Components☆38Sep 15, 2025Updated 5 months ago
- Python version of Star Trader game written by Dave Kaufman☆32Oct 22, 2017Updated 8 years ago
- ⛔️ DEPRECATED Use JLud2D instead. Phantasy Star Game Remake☆15Mar 19, 2018Updated 7 years ago
- Material for the course on Programming Languages and Types at University of Marburg☆15Feb 6, 2012Updated 14 years ago
- ☆39Feb 18, 2026Updated last week
- Template project for program verification in Coq, showcasing reasoning on CompCert's Clight language using the Verified Software Toolchai…☆35Jul 31, 2024Updated last year
- The Hedron Microhypervisor☆84Oct 8, 2023Updated 2 years ago
- Installation and configuration of WireGuard on Ubuntu servers for building a mesh network.☆12Mar 21, 2024Updated last year
- ☆37Oct 25, 2021Updated 4 years ago
- Semiconductor diode laser current driver☆10Nov 14, 2022Updated 3 years ago
- libopencm3 c++ wrappers☆10Dec 25, 2020Updated 5 years ago
- AGS Fast Wave Function Collapse Plugin☆15Jun 23, 2020Updated 5 years ago
- Open-source combined Linear Algebra and Ordinary Differential Equations textbook☆10Jan 5, 2024Updated 2 years ago
- BUSted!!! Microarchitectural Side-Channel Attacks on the MCU Bus Interconnect☆11May 21, 2024Updated last year
- Code snippets to build Elementor Plugin widgets☆12Oct 13, 2022Updated 3 years ago
- ☆10May 16, 2025Updated 9 months ago
- python parser combinators (parsec) library☆11Oct 26, 2018Updated 7 years ago
- Unix shell written in Rust☆13May 4, 2017Updated 8 years ago
- WP plugin that makes Google Analytics 100% GDPR compliant☆12May 26, 2018Updated 7 years ago
- AI Challenge☆11Dec 7, 2011Updated 14 years ago
- safe, no-cost and easy-to-use Cpp header to work safely with HW registers☆14Sep 15, 2024Updated last year
- A virtual machine monitor for the seL4 microkernel☆53Updated this week
- An SMT Solver for string constraints☆48Feb 10, 2026Updated 2 weeks ago
- Basic tools for building seL4 projects☆53Updated this week
- ☆50Updated this week