Automatically generated litmus tests for validation LISA-language Linux-kernel memory models
☆30Aug 17, 2025Updated last year
Alternatives and similar repositories for litmus
Users that are interested in litmus are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- This project has moved to https://github.com/torvalds/linux/tree/master/tools/memory-model☆12Jan 19, 2018Updated 8 years ago
- Restoration of The Linux Scheduler Simulator (LinSched)☆18Aug 23, 2021Updated 4 years ago
- Crash extensions for Pykdump☆22Jul 23, 2026Updated 3 weeks ago
- Kernel-Mode-Linux☆26Aug 18, 2022Updated 4 years ago
- Effective System Call Aggregation☆39Nov 3, 2022Updated 3 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.
- Adapted OS for e-ink tablets - allows to use work-related apps with no harm for eyes☆11May 17, 2020Updated 6 years ago
- ☆114Jul 14, 2024Updated 2 years ago
- OSDT2019相关资料☆16Nov 17, 2019Updated 6 years ago
- Userspace eBPF VM (main repo is https://github.com/iovisor/ubpf)☆103Oct 3, 2022Updated 3 years ago
- Generic batch system calls for Linux☆25Jun 18, 2026Updated 2 months ago
- ☆10Mar 29, 2018Updated 8 years ago
- The Herd toolsuite to deal with .cat memory models (version 7.xx)☆309Updated this week
- ALPS: An Adaptive Learning, Priority OS Scheduler for Serverless Functions (USENIX ATC'24)☆15Jun 20, 2024Updated 2 years ago
- (Linux Kernel) Stack Monitoring Tool☆48Jan 31, 2022Updated 4 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Mocking PCI devices in a User Mode Linux environment☆37Jun 15, 2017Updated 9 years ago
- personal webpage.☆11Jun 3, 2024Updated 2 years ago
- ☆12Feb 15, 2018Updated 8 years ago
- ☆14Aug 21, 2020Updated 5 years ago
- ☆17Oct 3, 2022Updated 3 years ago
- An empirical study on patch correctness☆15Nov 5, 2022Updated 3 years ago
- ☆14Jul 17, 2018Updated 8 years ago
- ☆88Jan 10, 2024Updated 2 years ago
- ocpjbod is an enclosure management tool that controls some OCP storage enclosure, like Open Vault (Knox).☆12Oct 15, 2018Updated 7 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.
- ☆11Mar 8, 2021Updated 5 years ago
- The Linuxbrew web page☆10Mar 12, 2019Updated 7 years ago
- An implementation of Tare.☆12Feb 23, 2024Updated 2 years ago
- A repository of CocoaPods (cocoapods.org) specifications.☆17Jan 10, 2019Updated 7 years ago
- Prollyfill for using TextEncoder and TextDecoder as transform streams☆20Dec 5, 2018Updated 7 years ago
- Live upgrade Linux kernel scheduler subsystem☆88Aug 30, 2023Updated 2 years ago
- Paper and test code for C++ bindings/API for userspace RCU☆15Aug 4, 2025Updated last year
- QEMU bare metal test for validating TrustZone support☆11Apr 23, 2015Updated 11 years ago
- Open-science code of the program repair tool described in "Dynamic Patch Generation for Null Pointer Exceptions Using Metaprogramming" (…☆15Feb 12, 2026Updated 6 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- 💀 Query Homebrew's analytics from the command-line (deprecated)☆17Feb 9, 2025Updated last year
- TokuFT is a high-performance, transactional key-value store☆18May 6, 2020Updated 6 years ago
- crash extension module for dumping page caches☆11Updated this week
- A tool of collecting patch-related commits and parsing patches.☆13Dec 2, 2018Updated 7 years ago
- Non-convex optimization on the GPU using WebGL and Now.js☆18Jul 13, 2014Updated 12 years ago
- [RTD Internal] This is an extension that we install on all Sphinx builds on Read the Docs☆18Dec 19, 2023Updated 2 years ago
- A Linux device driver that simulates interrupts☆14Jan 21, 2026Updated 6 months ago