Automatically generated litmus tests for validation LISA-language Linux-kernel memory models
☆31Aug 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☆14Jan 19, 2018Updated 8 years ago
- Restoration of The Linux Scheduler Simulator (LinSched)☆18Aug 23, 2021Updated 5 years ago
- Crash extensions for Pykdump☆22Jul 23, 2026Updated 2 months ago
- Effective System Call Aggregation☆39Nov 3, 2022Updated 3 years ago
- Example code for tracing IRQs in Linux kernel☆12Oct 21, 2016Updated 9 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ☆20Mar 6, 2025Updated last year
- ☆114Jul 14, 2024Updated 2 years ago
- OSDT2019相关资料☆16Nov 17, 2019Updated 6 years ago
- Generic batch system calls for Linux☆25Jun 18, 2026Updated 3 months ago
- jitterdebugger - real time response messaurement tool☆35Sep 1, 2025Updated last year
- Exploit Development and Reverse Engineering with GDB Made Easy☆18Jun 25, 2019Updated 7 years ago
- User Agent Switcher + for Chrome☆11Apr 9, 2022Updated 4 years ago
- Experimental benchmark and test toolkit for optimized ARM memcpy/memset functions in the Linux kernel☆14Aug 28, 2013Updated 13 years ago
- x86info : x86 processor register decoder.☆46Jun 8, 2026Updated 3 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ☆10Mar 29, 2018Updated 8 years ago
- The Herd toolsuite to deal with .cat memory models (version 7.xx)☆313Updated this week
- (Linux Kernel) Stack Monitoring Tool☆47Jan 31, 2022Updated 4 years ago
- Minimal tool for measuring cost of mode switch☆14Jun 26, 2021Updated 5 years ago
- ☆14Aug 21, 2020Updated 6 years ago
- Homebrew/science is deprecated☆11Jan 2, 2018Updated 8 years ago
- ☆17Oct 3, 2022Updated 3 years ago
- Framework for creating simple, efficient, and composable lock-free data structures☆12May 7, 2016Updated 10 years ago
- ☆14Jul 17, 2018Updated 8 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Image converter using an ASCII based ad hoc dithering algorithm☆10Oct 3, 2023Updated 2 years ago
- ☆89Jan 10, 2024Updated 2 years ago
- ☆17Jun 12, 2024Updated 2 years ago
- MMTests: Benchmarking framework primarily aimed at Linux kernel testing☆250Jun 25, 2026Updated 3 months ago
- ☆11Mar 8, 2021Updated 5 years ago
- The Linuxbrew web page☆10Mar 12, 2019Updated 7 years ago
- Live upgrade Linux kernel scheduler subsystem☆88Aug 30, 2023Updated 3 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
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Open-science code of the program repair tool described in "Dynamic Patch Generation for Null Pointer Exceptions Using Metaprogramming" (…☆15Feb 12, 2026Updated 7 months ago
- Firmware for BridgeIC functionality for 1S servers for Yosemite Platform☆12Jun 10, 2019Updated 7 years ago
- 💀 Query Homebrew's analytics from the command-line (deprecated)☆16Feb 9, 2025Updated last year
- C-SKY Linux Port☆76Aug 18, 2026Updated last month
- mktemp for Rust☆13Jul 15, 2024Updated 2 years ago
- 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 3, 2026Updated 3 weeks ago
- FreeRTOS BSP for Boundary Devices platforms☆12Mar 14, 2025Updated last year