Automatically generated litmus tests for validation LISA-language Linux-kernel memory models
☆27Aug 17, 2025Updated 6 months ago
Alternatives and similar repositories for litmus
Users that are interested in litmus are comparing it to the libraries listed below
Sorting:
- Example code for tracing IRQs in Linux kernel☆12Oct 21, 2016Updated 9 years 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
- ☆18Mar 6, 2025Updated last year
- Crash extensions for Pykdump☆21Sep 13, 2025Updated 5 months ago
- Kernel-Mode-Linux☆24Aug 18, 2022Updated 3 years ago
- Generic batch system calls for Linux☆25Jan 25, 2026Updated last month
- The repository contains a reference end-to-end pipeline for a real-time video analytics application. Realtime data is provided to an infe…☆12Nov 3, 2025Updated 4 months ago
- Mokoid: 上機練習範本，完整內容: https://github.com/jollen/android-framework-mokoid☆30Mar 9, 2014Updated 12 years ago
- Probe TCP metrics and latencies from the kernel with BCC☆31Dec 30, 2018Updated 7 years ago
- x86info : x86 processor register decoder.☆46May 5, 2025Updated 10 months ago
- ☆85Jan 10, 2024Updated 2 years ago
- Effective System Call Aggregation☆39Nov 3, 2022Updated 3 years ago
- RISC-V architecture concurrency model litmus tests☆100Jan 21, 2026Updated last month
- MMTests: Benchmarking framework primarily aimed at Linux kernel testing☆246Updated this week
- 实现linux内核对应用段错误、double free问题栈回溯☆35Oct 14, 2022Updated 3 years ago
- ALPS: An Adaptive Learning, Priority OS Scheduler for Serverless Functions (USENIX ATC'24)☆13Jun 20, 2024Updated last year
- Umbrella repository for the Jamoma platform☆32Nov 24, 2015Updated 10 years ago
- Installation and launch Alpine Linux scripts for armv7 and aarch64 on x86_64☆16May 5, 2025Updated 10 months ago
- ☆14Jul 17, 2018Updated 7 years ago
- Image converter using an ASCII based ad hoc dithering algorithm☆10Oct 3, 2023Updated 2 years ago
- Experimental benchmark and test toolkit for optimized ARM memcpy/memset functions in the Linux kernel☆14Aug 28, 2013Updated 12 years ago
- BPF CO-RE based sched-analyzer☆42Feb 2, 2025Updated last year
- Fixed version of tg-cli with support of channels and groups.☆13Jul 7, 2017Updated 8 years ago
- Personal UE5 Soul-like RPG Action Game☆11Jan 6, 2024Updated 2 years ago
- Matlab code for fast Hausdorff distance for binary images or segmentation maps☆11Mar 10, 2019Updated 7 years ago
- gamepad support for openframeworks 007☆22Sep 4, 2021Updated 4 years ago
- ☆14Aug 21, 2020Updated 5 years ago
- A crawler for kernel releases distributed by the major Linux distributions.☆13Oct 18, 2024Updated last year
- An implementation of Tare.☆12Feb 23, 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
- 一款基于python opencv 4.0开发的美颜程序。用以学习图像处理☆10Dec 14, 2019Updated 6 years ago
- vscode support for chez shame☆10Dec 3, 2019Updated 6 years ago
- ☆40May 31, 2012Updated 13 years ago
- Zipped source code reading app for Android☆12May 17, 2019Updated 6 years ago
- Manage local projects initially loaded☆16May 31, 2017Updated 8 years ago
- A coöperative multitasking framework based on `liburing` and `libucontext`☆16Jan 2, 2026Updated 2 months ago
- TCCBOOT: TinyCC Boot Loader☆13Oct 24, 2014Updated 11 years ago
- A script engine written by C++, which supports lambda, incremental-gc, multiple-threads and so on...☆10Apr 25, 2019Updated 6 years ago
- Async C++ TCP server based on coroutines☆10Oct 2, 2021Updated 4 years ago