x86 architecture concurrency model litmus tests
☆11Jan 21, 2026Updated 9 months ago
Alternatives and similar repositories for litmus-tests-x86
Users that are interested in litmus-tests-x86 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Designing directory cache coherence protocols is complicated because coherence transactions are not atomic in modern multicore processors…☆16Jan 7, 2022Updated 4 years ago
- RISC-V architecture concurrency model litmus tests☆113May 20, 2026Updated 5 months ago
- A collection of resources around the area of inclusive user research. Also check out https://github.com/Grunet/awesome-inclusive-design☆14Oct 1, 2024Updated 2 years ago
- Package espeak is a wrapper around espeak-ng that works both natively and in gopherjs with the same API.☆10Nov 24, 2018Updated 7 years ago
- Brand logos detection☆13Nov 8, 2018Updated 7 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.
- XCharter font build.☆15May 21, 2023Updated 3 years ago
- yet another model checker☆26Oct 17, 2026Updated 2 weeks ago
- Distributed SMT Solving Based on Dynamic Variable-level Partitioning☆18Aug 21, 2024Updated 2 years ago
- Raspberry Pi wireless weather station with TI SensorTag CC2650 connected via Bluetooth Low Energy.☆11Feb 11, 2025Updated last year
- USDQ Stablecoin by Q DAO v1.0☆16Apr 24, 2019Updated 7 years ago
- Chat application made it with Kivy☆12Jan 25, 2021Updated 5 years ago
- Minimal example to demonstrate non-sequentially consistent executions on x86/x64☆13Jan 12, 2018Updated 8 years ago
- my C language math and numerical computing library☆20Oct 13, 2026Updated 3 weeks ago
- We solve the two challenges architects face when designing heterogeneous processors with cache coherent shared memory. First, we develop …☆22Jan 7, 2022Updated 4 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.
- Configurable draw distance for Hitman Codename 47☆12Aug 20, 2015Updated 11 years ago
- An example of a FUSE filesystem that can be used in kernel exploitation as a replacement for userfaultfd technique☆12Nov 24, 2022Updated 3 years ago
- My solutions to exercises in "Concrete Semantics" (Tobias Nipkow, Gerwin Klein) These are for 2014-2015 version of the book.☆25Jun 17, 2015Updated 11 years ago
- A simple kubernetes deployment for the Plex Media Server☆20Jan 5, 2021Updated 5 years ago
- MicroPython - a lean and efficient Python implementation for microcontrollers and constrained systems☆16Sep 3, 2026Updated last month
- Course material for "Automation of Logical Reasoning"☆10May 26, 2025Updated last year
- An implementation of Hoare and He's Unifying Theories of Programming in Isabelle☆39Jan 29, 2024Updated 2 years ago
- rmem public repo☆54Oct 3, 2026Updated 3 weeks ago
- A converter and basic tester for rwkv onnx☆44Jan 29, 2024Updated 2 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Formal proof of the Four Color Theorem [maintainer=@ybertot]☆252Aug 20, 2026Updated 2 months ago
- Text wrapper and column formatter for C++.☆30Apr 20, 2023Updated 3 years ago
- A DSL for formal verification of hardware and software systems using Rocq/Coq.☆13Updated this week
- slides, exercises, cheatsheet and instructions for my ROP-Workshop☆19Dec 27, 2019Updated 6 years ago
- Rust firewall for seL4☆11Jun 20, 2018Updated 8 years ago
- A fast sparse triangular solver compatible with SciPy.☆10Oct 10, 2026Updated 3 weeks ago
- A coverage library for Chisel designs☆11Mar 12, 2020Updated 6 years ago
- Fiddling with aarch64 exception levels on a Raspberry Pi 3.☆21Nov 16, 2021Updated 4 years ago
- A digital circuit verification library for Lean4☆12Jul 29, 2026Updated 3 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Integrity check for TronLink Wallet on Android☆23Mar 2, 2023Updated 3 years ago
- Unofficial specification for GtkWave's FST digital waveform file format.☆11Jan 23, 2026Updated 9 months ago
- End-to-end memory networks in TensorFlow☆32Apr 11, 2017Updated 9 years ago
- Vim plugin for Bluespec SystemVerilog (BSV)☆12Nov 8, 2020Updated 5 years ago
- A toy nanopass compiler for x86 written in lean☆15Oct 25, 2025Updated last year
- ☆14Jan 7, 2024Updated 2 years ago
- A lightweight modular C logging library☆38May 8, 2025Updated last year