paulmckrcu / litmusView external linksLinks
Automatically generated litmus tests for validation LISA-language Linux-kernel memory models
☆26Aug 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:
- ☆31Jul 24, 2016Updated 9 years ago
- ☆18Mar 6, 2025Updated 11 months ago
- A micro-kernel operating system based on the Barrelfish CPU-driver.☆21Mar 6, 2018Updated 7 years ago
- Restoration of The Linux Scheduler Simulator (LinSched)☆18Aug 23, 2021Updated 4 years ago
- Generic batch system calls for Linux☆25Jan 25, 2026Updated 3 weeks ago
- jitterdebugger - real time response messaurement tool☆33Sep 1, 2025Updated 5 months ago
- The Herd toolsuite to deal with .cat memory models (version 7.xx)☆289Updated this week
- The repository contains a reference end-to-end pipeline for a real-time video analytics application. Realtime data is provided to an infe…☆11Nov 3, 2025Updated 3 months ago
- Mokoid: 上機練習範本,完整內容: https://github.com/jollen/android-framework-mokoid☆30Mar 9, 2014Updated 11 years ago
- SUSE Kernel Patches☆37Updated this week
- ☆84Jan 10, 2024Updated 2 years ago
- Effective System Call Aggregation☆39Nov 3, 2022Updated 3 years ago
- A Rust implementation of AUTOSTAR's Scalable service-Oriented MiddlewarE over IP (SOME/IP).☆13Dec 17, 2025Updated 2 months ago
- RISC-V architecture concurrency model litmus tests☆100Jan 21, 2026Updated 3 weeks ago
- 实现linux内核对应用段错误、double free问题栈回溯☆35Oct 14, 2022Updated 3 years ago
- Live upgrade Linux kernel scheduler subsystem☆88Aug 30, 2023Updated 2 years ago
- Some useful tools for mesh processing☆11Sep 9, 2025Updated 5 months ago
- ALPS: An Adaptive Learning, Priority OS Scheduler for Serverless Functions (USENIX ATC'24)☆13Jun 20, 2024Updated last year
- Adapted OS for e-ink tablets - allows to use work-related apps with no harm for eyes☆11May 17, 2020Updated 5 years ago
- Umbrella repository for the Jamoma platform☆32Nov 24, 2015Updated 10 years ago
- ☆10Aug 16, 2021Updated 4 years ago
- Image converter using an ASCII based ad hoc dithering algorithm☆10Oct 3, 2023Updated 2 years ago
- Yocto Explorer: is a command line tool to ease the manipulation of files under the directory structure adopted by O.S. Systems to organiz…☆10Feb 23, 2022Updated 3 years ago
- The Rumprun unikernel and toolchain for various platforms☆11Jul 2, 2024Updated last year
- C++ Future/Promises implementation, loosely based on Future.pm☆10Sep 9, 2015Updated 10 years ago
- A HTTP framework for storage and memory constraint environments (microcontrollers)☆31Jul 26, 2014Updated 11 years ago
- Bridged the i3status and dzen2 to make dzen2 display icons☆20Dec 22, 2014Updated 11 years ago
- Startup code and exception vector for bare-metal Rust on aarch64 Cortex-A processors.☆23Dec 24, 2025Updated last month
- An implementation of the maxflow algorithm by Yuri Boykov and Vladimir Kolmogorov.☆12Nov 26, 2014Updated 11 years ago
- Jump to better conclusions: SCAN both left and right☆11Jan 24, 2019Updated 7 years ago
- Fixed version of tg-cli with support of channels and groups.☆13Jul 7, 2017Updated 8 years ago
- ☆13Sep 9, 2016Updated 9 years ago
- ☆11Nov 14, 2023Updated 2 years ago
- Matlab code for fast Hausdorff distance for binary images or segmentation maps☆11Mar 10, 2019Updated 6 years ago
- Network link monitor daemon☆12Mar 29, 2016Updated 9 years ago
- TCCBOOT: TinyCC Boot Loader☆13Oct 24, 2014Updated 11 years ago
- Building a more intelligent world.☆11Apr 29, 2024Updated last year
- A small ADB / Fastboot installer for Windows that automatically fetches the latest version from this Github Repository☆12Jul 19, 2021Updated 4 years ago
- FreeRTOS BSP for Boundary Devices platforms☆11Mar 14, 2025Updated 11 months ago