Automatically generated litmus tests for validation LISA-language Linux-kernel memory models
☆27Aug 17, 2025Updated 7 months ago
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☆21Sep 13, 2025Updated 6 months ago
- KGTP is a comprehensive dynamic tracer for analysing Linux kernel and application (including Android) problems on production systems in r…☆88Apr 11, 2017Updated 8 years ago
- Kernel-Mode-Linux☆25Aug 18, 2022Updated 3 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- ☆31Jul 24, 2016Updated 9 years ago
- ☆18Mar 6, 2025Updated last year
- Effective System Call Aggregation☆39Nov 3, 2022Updated 3 years ago
- ☆27Jul 15, 2025Updated 8 months ago
- ☆115Jul 14, 2024Updated last year
- Userspace eBPF VM (main repo is https://github.com/iovisor/ubpf)☆101Oct 3, 2022Updated 3 years ago
- Generic batch system calls for Linux☆25Jan 25, 2026Updated 2 months ago
- A file system performance testing framework☆43Sep 2, 2025Updated 6 months ago
- Experimental benchmark and test toolkit for optimized ARM memcpy/memset functions in the Linux kernel☆14Aug 28, 2013Updated 12 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- ☆10Mar 29, 2018Updated 8 years ago
- Linux-only formulae that are not dependencies of core formulae☆12Aug 27, 2019Updated 6 years ago
- This is the implementation of our research system Illuminator that was published in ASPLOS 2018 with the title "Making Huge Pages Actuall…☆11Sep 11, 2020Updated 5 years ago
- SUSE Kernel Patches☆37Updated this week
- (Linux Kernel) Stack Monitoring Tool☆48Jan 31, 2022Updated 4 years ago
- Mocking PCI devices in a User Mode Linux environment☆37Jun 15, 2017Updated 8 years ago
- Minimal tool for measuring cost of mode switch☆15Jun 26, 2021Updated 4 years ago
- Cross-platform inter-process communication.☆10Jul 1, 2015Updated 10 years ago
- crash extension module for dumping page caches☆11Feb 3, 2025Updated last year
- NordVPN Threat Protection Pro™ • AdTake your cybersecurity to the next level. Block phishing, malware, trackers, and ads. Lightweight app that works with all browsers.
- Homebrew/science is deprecated☆11Jan 2, 2018Updated 8 years ago
- ☆85Jan 10, 2024Updated 2 years ago
- ☆17Oct 3, 2022Updated 3 years ago
- MMTests: Benchmarking framework primarily aimed at Linux kernel testing☆246Updated this week
- Python Implementation of Super and Hyper Log Log Sketches☆50Apr 15, 2012Updated 13 years ago
- ☆13Jun 12, 2024Updated last year
- An implementation of Tare.☆12Feb 23, 2024Updated 2 years ago
- RISC-V architecture concurrency model litmus tests☆101Jan 21, 2026Updated 2 months ago
- Checkout our paper: History Driven Program Repair here☆11Mar 15, 2019Updated 7 years ago
- NordVPN Threat Protection Pro™ • AdTake your cybersecurity to the next level. Block phishing, malware, trackers, and ads. Lightweight app that works with all browsers.
- Open-science code of the program repair tool described in "Dynamic Patch Generation for Null Pointer Exceptions Using Metaprogramming" (…☆15Feb 12, 2026Updated last month
- C-SKY Linux Port☆75Dec 10, 2025Updated 3 months ago
- FreeRTOS BSP for Boundary Devices platforms☆11Mar 14, 2025Updated last year
- mktemp for Rust☆13Jul 15, 2024Updated last year
- BCP 47 language tags are built from subtags in the IANA Subtag Registry. This tool helps you find or look up subtags and check for errors…☆13Sep 11, 2025Updated 6 months ago
- Slides for the various variants of our talk about user space drivers in high-level languages.☆12Sep 24, 2019Updated 6 years ago
- A Linux device driver that simulates interrupts☆14Jan 21, 2026Updated 2 months ago