Mocking PCI devices in a User Mode Linux environment
☆37Jun 15, 2017Updated 9 years ago
Alternatives and similar repositories for pci-mock
Users that are interested in pci-mock are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Automatically generated litmus tests for validation LISA-language Linux-kernel memory models☆28Aug 17, 2025Updated 9 months ago
- The PCI Utilities☆25Jun 21, 2024Updated last year
- Linux Developer Libraries☆12May 8, 2017Updated 9 years ago
- Mechanization of a noninterference proof for a toy imperative language with small-step semantics in Coq☆20Jun 3, 2026Updated last week
- A sample TypeScript app that parses a grammar with ANTLR4.☆12Apr 21, 2017Updated 9 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.
- Open browser window and set proxy☆12Oct 13, 2020Updated 5 years ago
- This repository contains all code from YouTube videos not associated with any particular series by CoffeeBeforeArch.☆10Jul 30, 2022Updated 3 years ago
- Official QEMU mirror. Please see http://wiki.qemu.org/Contribute/SubmitAPatch for how to submit changes to QEMU. Pull Requests are ignore…☆20Jan 13, 2025Updated last year
- Data Plane Development Kit☆13Nov 10, 2025Updated 7 months ago
- ☆19Updated this week
- Basic LLVM passes☆17Oct 7, 2018Updated 7 years ago
- ☆10Jun 14, 2020Updated 6 years ago
- A version of Griffin used to provide program traces☆15Sep 2, 2020Updated 5 years ago
- Example of how to trace mmap page faults in linux☆20Mar 15, 2022Updated 4 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Looney Tunables Local privilege escalation (CVE-2023-4911) workshop☆17Oct 1, 2024Updated last year
- Raft network simulator, for QA☆18Aug 5, 2018Updated 7 years ago
- In this GitHub repository, we will demonstrate how to utilize MongoDB to build an automated underwriting process to calculate a customize…☆11Feb 11, 2026Updated 4 months ago
- Demo RTMP Player Using ExoMedia Player☆15May 1, 2019Updated 7 years ago
- YAML Test Fixtures for JPA☆42Nov 14, 2013Updated 12 years ago
- Scripts to automatically create VM images☆15May 10, 2026Updated last month
- Pixel Workplace is a simple virtual environment to simulate the lack of real life office spaces.☆11Mar 4, 2023Updated 3 years ago
- https://github.com/sdias/win-10-virtual-desktop-enhancer with new VirtualDesktopAccessor (working with win 10 1903☆11Jun 22, 2019Updated 6 years ago
- Tools and test code to help understand libunwind☆22Jun 2, 2020Updated 6 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Timing attack resistant type systems☆24May 13, 2015Updated 11 years ago
- Linux Traffic Control (TC) based implementation of Kubernetes NPWG MultiNetworkPolicy API☆12Jul 20, 2023Updated 2 years ago
- gcc plugin to discover optimization passes used during compilation☆21Feb 10, 2021Updated 5 years ago
- A web UI for generating Linux images for Ethereum homestaking☆11May 29, 2026Updated 2 weeks ago
- A small set of functions to set hardware breakpoints.☆16Nov 5, 2017Updated 8 years ago
- Provides an Invoice Payment Gateway, mainly for B2B segment where instant payment via PayPal etc. is not a viable option.☆12Apr 7, 2014Updated 12 years ago
- NodeJS SDK for Whalestack. Programmatically accept and settle payments in digital currencies.☆11Nov 7, 2023Updated 2 years ago
- sliding fast fourier transform using haskell streaming☆13Feb 19, 2019Updated 7 years ago
- Fork of http://code.nsnam.org/thehajime/elf-loader/ for unlimited dlmopen namespaces☆21Oct 11, 2023Updated 2 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.
- A GCC plugin to dump call graphs for programs being compiled using LTO.☆22Jan 18, 2020Updated 6 years ago
- ☆22Oct 4, 2016Updated 9 years ago
- A drop-in replacement for `cargo` which yet uses crates.io index☆16Dec 14, 2016Updated 9 years ago
- A hack to find types in Haskell codebases☆10Aug 15, 2015Updated 10 years ago
- A tool that generates a data structure from a schema and some relational queries, using modern database techniques to make queries highly…☆10Jul 25, 2021Updated 4 years ago
- A migration for the page table entry based side-channel attack agains SGX enclaves.☆19Feb 10, 2025Updated last year
- GHCJS FFI bindings to the Electron API (WIP).☆10May 21, 2017Updated 9 years ago