NOVA Microhypervisor
☆22Aug 28, 2026Updated 2 months ago
Alternatives and similar repositories for NOVA
Users that are interested in NOVA are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Tool for suggesting lemma names in Coq verification projects☆22Sep 6, 2022Updated 4 years ago
- Formalization of C++ for verification purposes.☆109Updated this week
- 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
- Lenses in Coq☆17Oct 7, 2022Updated 4 years ago
- NOVA runtime environment (official branch)☆36Jul 1, 2021Updated 5 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- GitHub Action using Docker-Coq [maintainers=@Justme0606,@Zimmi48]☆15Apr 30, 2026Updated 6 months ago
- ☆16Aug 12, 2026Updated 2 months ago
- Reflective PHOAS rewriting/pattern-matching-compilation framework for simply-typed equalities and let-lifting☆28Sep 30, 2026Updated last month
- Coq library for serialization to S-expressions☆20Jul 3, 2023Updated 3 years ago
- NixCon 2023 conference website☆11Mar 18, 2025Updated last year
- Primavera is a dependency injection library for OCaml☆13Aug 28, 2026Updated 2 months ago
- Coq library of arbitrarily large numbers, providing BigN, BigZ, BigQ that used to be part of the standard library [maintainers=@proux01,@…☆25Mar 31, 2026Updated 6 months ago
- A collection of type-based library search algorithms☆12Sep 8, 2026Updated last month
- ☆19Oct 18, 2026Updated last week
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- A simple unikernel which provides a search engine from an emails archive☆14Apr 11, 2026Updated 6 months ago
- Hypervisor written in Rust for the RISC-V 1.0 hypervisor extension☆16Oct 21, 2024Updated 2 years ago
- Deprecated Bedrock Bit Vector Library. Example replacement:☆30Aug 2, 2026Updated 2 months ago
- Intel AMT Serial-Over-LAN (SOL) client☆13Feb 23, 2024Updated 2 years ago
- Virtual Machine Monitor☆22Mar 1, 2021Updated 5 years ago
- Modular RISC-V implementation & SoC☆24Oct 21, 2026Updated last week
- NixCon 2025 Website☆14Sep 17, 2025Updated last year
- okl4 git for porting to realview_eb RTSM platform☆15Oct 17, 2012Updated 14 years ago
- A style guide for Coq☆18Nov 30, 2021Updated 4 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Rust Embedded HAL for Apache NuttX RTOS☆14May 9, 2022Updated 4 years ago
- VCFloat: A Unified Coq Framework for Verifying C Programs with Floating-Point Computations☆34Sep 23, 2026Updated last month
- Nix Workshop materials☆17Oct 22, 2022Updated 4 years ago
- Ltac2 tutorial☆47Nov 14, 2022Updated 3 years ago
- Distributed algorithms in Lean 4☆21Jul 28, 2026Updated 3 months ago
- A benchmark comparing nix binary cache solutions☆20Apr 20, 2026Updated 6 months ago
- FlexOS is a Unikraft-based OS allowing users to easily specialize the safety and isolation strategy at compilation time.☆24Jun 2, 2023Updated 3 years ago
- The Hedron Microhypervisor☆86Oct 8, 2023Updated 3 years ago
- wannabe (up-to-date) 64bit port of lguest☆14May 11, 2011Updated 15 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.
- OCaml embedded eBPF assembler☆24Feb 14, 2022Updated 4 years ago
- OpenAPI compatibility checking library☆20May 12, 2026Updated 5 months ago
- Universal instruction selection☆12Jun 8, 2018Updated 8 years ago
- Small OS for RaspberryPi 3 written in Rust☆16Jul 18, 2018Updated 8 years ago
- A library for verifying graph-manipulating programs. Powered by Coq and VST. Compatible with CompCert.☆21Jul 21, 2026Updated 3 months ago
- Implementation of sprintf for Coq☆19Apr 6, 2020Updated 6 years ago
- NOVA Microhypervisor☆12Jul 1, 2021Updated 5 years ago