Mirror of the Xen Repository (PRs not accepted see: http://wiki.xenproject.org/wiki/Submitting_Xen_Project_Patches)
☆17Sep 12, 2017Updated 8 years ago
Alternatives and similar repositories for xen
Users that are interested in xen are comparing it to the libraries listed below
Sorting:
- C automata library to build, determinize, minimize, translate regexp etc☆11Mar 26, 2016Updated 9 years ago
- ☆233Sep 19, 2018Updated 7 years ago
- All about me.☆12Jun 14, 2018Updated 7 years ago
- The Click modular router: fast modular packet processing and analysis☆10Sep 13, 2017Updated 8 years ago
- Website contents for nommu.org☆10Sep 30, 2020Updated 5 years ago
- Tool for debugging WebAssembly (like gdb).☆12Jan 25, 2023Updated 3 years ago
- Automatically generate table of contents for Markdown files☆17Nov 22, 2022Updated 3 years ago
- High performance, DPDK-based, user space firewall☆13Dec 9, 2015Updated 10 years ago
- Various networking notes☆17Feb 11, 2013Updated 13 years ago
- The artifact for NDSS '25 paper "ASGARD: Protecting On-Device Deep Neural Networks with Virtualization-Based Trusted Execution Environmen…☆15Oct 16, 2025Updated 5 months ago
- epc3925 router filename.gwc decoder☆10Jun 4, 2015Updated 10 years ago
- 微信自动点赞☆10Dec 18, 2016Updated 9 years ago
- [ARCHIVED] Porting the HAMMER File System to Linux VFS☆23Dec 4, 2012Updated 13 years ago
- Simple Encrypted File System for Occlum☆13Oct 29, 2025Updated 4 months ago
- Produce ASCII graphs of data logged by sar/syshot☆19May 19, 2011Updated 14 years ago
- Samples of binary with different formats and architectures. A test suite for your binary analysis tools.☆21Jun 23, 2014Updated 11 years ago
- ☆13Aug 4, 2022Updated 3 years ago
- A POSIX Filesystem for Enclaves with a Mechanized Safety Proof☆17Sep 20, 2019Updated 6 years ago
- Tamarin models for state continuity of SGX enclave programs☆14Aug 6, 2021Updated 4 years ago
- An open source CPU detection software.☆20Jun 6, 2015Updated 10 years ago
- ☆11Jun 10, 2024Updated last year
- Experiemental userspace eBPF library☆15Aug 10, 2015Updated 10 years ago
- Search comments and highlights annotations in PDF documents.☆12May 4, 2023Updated 2 years ago
- Reimplementation and extension of teaching operating system xv6, supersedes xv6-Loongson3a☆16Sep 30, 2020Updated 5 years ago
- Simple application for storing interview questions.☆27May 22, 2023Updated 2 years ago
- RPM package and delivery☆18Oct 20, 2022Updated 3 years ago
- PoC exploits against various SGX enclaves☆13May 19, 2022Updated 3 years ago
- ☆22Oct 11, 2017Updated 8 years ago
- Occlum's fork of Intel SGX SDK for Linux☆13Jul 31, 2024Updated last year
- ☆23Jun 9, 2021Updated 4 years ago
- C/C++ toolchain for MiniOS☆17Sep 19, 2018Updated 7 years ago
- Python-based singleton configuration☆28Jun 20, 2025Updated 9 months ago
- [NDSS'25] The official implementation of safety misalignment.☆17Jan 8, 2025Updated last year
- MIDI-controlled LED matrix software☆18Apr 3, 2017Updated 8 years ago
- eBPF profiler flamegraph based TUI 🐧🐝☆79Updated this week
- This is an implementation of SafeBricks, based on NetBricks maintained by Comcast and refined by Yang: https://github.com/YangZhou1997/Ne…☆10Feb 3, 2020Updated 6 years ago
- Dockerized Git deploy through SSH service, built on top of official Ubuntu trusty image. It uses git 'post-receive' hook and provides nic…☆13Sep 24, 2017Updated 8 years ago
- Modified musl libc for SGX-LKL☆13Sep 28, 2020Updated 5 years ago
- A consistent-hashing relay for statsd and carbon metrics☆27Sep 22, 2023Updated 2 years ago