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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Adelie's source code☆12Mar 2, 2022Updated 4 years ago
- Interactive Virtual Machine Introspection☆18Sep 27, 2017Updated 8 years ago
- Hodor-PKU☆27Sep 14, 2021Updated 4 years ago
- ☆20Aug 12, 2026Updated 2 weeks ago
- Proof-of-concept code for the SMoTherSpectre exploit.☆76Nov 12, 2019Updated 6 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- A Portable Persistent Memory Allocation Library☆14Jul 18, 2020Updated 6 years ago
- Sync the time on your PineTime using Chrome over Bluetooth LE☆12Mar 31, 2022Updated 4 years ago
- The Hedron Microhypervisor☆84Oct 8, 2023Updated 2 years ago
- ☆16Aug 24, 2026Updated last week
- Utilities for the memory forensics framework☆22Jul 31, 2018Updated 8 years ago
- A framework for the automatic generation of Intelligent-Interaction honeypots using OpenWrt-based firmware.☆10Jun 11, 2022Updated 4 years ago
- NOVA Microhypervisor☆456Updated this week
- Raw BLE advertisement + sniffing tool (Linux)☆16Feb 5, 2024Updated 2 years ago
- kCFI Documentation☆15Apr 18, 2017Updated 9 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A Secure Version of DATAVIEW using SGX techniques.☆10Jul 6, 2021Updated 5 years ago
- RDMA abstraction layer☆20Dec 14, 2021Updated 4 years ago
- Simple password-wallet application based on Intel SGX for linux.☆17May 2, 2020Updated 6 years ago
- ☆18Oct 9, 2023Updated 2 years ago
- Linux kernel source tree patched with Hypervisor-Enforced Kernel Integrity☆14Nov 14, 2023Updated 2 years ago
- ☆10Aug 6, 2026Updated 3 weeks ago
- Some codes to trace KVM events using BPF☆22Mar 6, 2020Updated 6 years ago
- Windows 64-bits driver☆17Dec 1, 2017Updated 8 years ago
- Homebrew map viewer for PSP.☆18May 9, 2021Updated 5 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- This repository contains the nested kernel implementation as it was built for the ASPLOS 2015 paper, including the FreeBSD prototype Pers…☆57Jul 7, 2017Updated 9 years ago
- Various tools for OCI☆16Jan 18, 2016Updated 10 years ago
- Split kernel using extended page tables to provided kernel memory protection☆25Mar 6, 2018Updated 8 years ago
- Linux-KVM with rVMI extensions☆23Aug 28, 2017Updated 9 years ago
- A blanket execution/min hash semantic hash tool for binary function identification☆19Apr 22, 2016Updated 10 years ago
- Some materials for "The taste of probabilistic programming and modeling" by Oleg Kiselyov at FLOLAC'16☆16Jul 14, 2016Updated 10 years ago
- S2E Core Engine Library☆15Jan 7, 2020Updated 6 years ago
- ☆17Apr 18, 2019Updated 7 years ago
- ☆15May 4, 2026Updated 3 months ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- ChaCha20 + Poly1305☆28Apr 30, 2016Updated 10 years ago
- Chaos is a virtualization toolstack focused on performance☆17Sep 28, 2022Updated 3 years ago
- Sysmon is an efficient on-line tool integrated in the Linux kernel to monitor system-level application activities such as page access fre…☆19May 26, 2016Updated 10 years ago
- PyPy.js example usage of: https://github.com/pypyjs/pypyjs-release☆15Oct 9, 2018Updated 7 years ago
- Cross-platform driver for the USB 3 xHCI Debug Capability☆20Oct 21, 2021Updated 4 years ago
- SMI230 linux driver☆12Nov 24, 2025Updated 9 months ago
- Python command-line tool that uses nearest neighbor search methods for malware similarity analysis☆16Jan 29, 2019Updated 7 years ago