Clone of Dune http://dune.scs.stanford.edu/
☆20Jan 29, 2014Updated 12 years ago
Alternatives and similar repositories for dune
Users that are interested in dune are comparing it to the libraries listed below
Sorting:
- Hodor-PKU☆26Sep 14, 2021Updated 4 years ago
- Adelie's source code☆12Mar 2, 2022Updated 4 years ago
- Multi-variant execution (MVX) using hardware-assisted process virtualization (with Dune)☆18Aug 12, 2016Updated 9 years ago
- A lightweight debugger library written in Rust.☆20Jul 28, 2025Updated 7 months ago
- Proof-of-concept code for the SMoTherSpectre exploit.☆77Nov 12, 2019Updated 6 years ago
- The Hedron Microhypervisor☆84Oct 8, 2023Updated 2 years ago
- Root Repo for the EPOXY tool that applies Privilege Overlays on bare-metal systems☆31May 18, 2017Updated 8 years ago
- Clone of JSAI static analysis framework☆13Jul 29, 2017Updated 8 years ago
- Framework for writing tests for RISC-V CPU/SOC validation.☆11Jan 19, 2026Updated last month
- An AMD am2901 4-bit ALU slice☆10Feb 14, 2023Updated 3 years ago
- Virtual I/O acceleration technologies for KVM☆15Sep 17, 2013Updated 12 years ago
- [FCCM 2023] PASTA: Programming and Automation Support for Scalable Task-Parallel HLS Programs on Modern Multi-Die FPGAs☆13Jun 26, 2025Updated 8 months ago
- Unikernel written in rust☆33Feb 25, 2016Updated 10 years ago
- jod distribution source with commented versions in (jodijs) - tracks J Pacman versions☆10Apr 19, 2025Updated 10 months ago
- A portable single-layer timer wheel implementation.☆13Dec 8, 2025Updated 2 months ago
- Download SoundCloud artists in parallel☆10Jun 4, 2025Updated 8 months ago
- BTT SB22xx undervoltage / reset issue☆11Mar 18, 2024Updated last year
- Membrane: A Posteriori Detection of Malicious Code Loading by Memory Paging Analysis☆41Sep 12, 2016Updated 9 years ago
- An experimental interactive shell for Alpaca, the ML language that runs on the Erlang VM☆10Jun 7, 2017Updated 8 years ago
- Stereo lithography file support for Rust.☆12Jul 29, 2023Updated 2 years ago
- Read physical page locations from arbitrary Linux programs☆13Jun 20, 2017Updated 8 years ago
- ☆12Dec 23, 2024Updated last year
- Coq implementation of SF-calculus and the tranlsation to it of lift lambda-calculus☆11Mar 31, 2017Updated 8 years ago
- A META parser generator using LL(1) grammars with s-expressions.