reeselevine / webgpu-litmusView external linksLinks
☆14Dec 12, 2025Updated 2 months ago
Alternatives and similar repositories for webgpu-litmus
Users that are interested in webgpu-litmus are comparing it to the libraries listed below
Sorting:
- ☆11Nov 14, 2023Updated 2 years ago
- Alloy models for automatic synthesis of memory model litmus test suites (from ASPLOS 2017)☆16Jan 26, 2024Updated 2 years ago
- We solve the two challenges architects face when designing heterogeneous processors with cache coherent shared memory. First, we develop …☆20Jan 7, 2022Updated 4 years ago
- Memory consistency modelling using Alloy☆31Dec 16, 2020Updated 5 years ago
- Port of the LLVM compiler infrastructure to the time-predictable processor Patmos☆15Apr 2, 2025Updated 10 months ago
- RISC-V 64 CPU☆10Oct 4, 2025Updated 4 months ago
- ☆11Aug 23, 2023Updated 2 years ago
- ☆40Apr 3, 2022Updated 3 years ago
- Transparent serialization of python plain-old-data classes☆12Aug 31, 2022Updated 3 years ago
- ☆12Feb 15, 2024Updated 2 years ago
- ☆10Nov 25, 2021Updated 4 years ago
- ☆48Dec 11, 2020Updated 5 years ago
- Differentiable Block Compression for Neural Texture (EGSR 2025)☆13Nov 22, 2025Updated 2 months ago
- An online simulator for finite automata (FA), pushdown automata (PDA) and linear bounded automata (LBA).☆11Oct 30, 2017Updated 8 years ago
- An implementation of memcpy for amd64 with clang/gcc☆15Feb 7, 2022Updated 4 years ago
- Vulkan Memory Model☆111Jun 26, 2025Updated 7 months ago
- A tool for cross-checking Verilog compilers☆14Apr 16, 2025Updated 9 months ago
- OCEAN – Open-source CXL Emulation at Hyperscale Architecture and Networking.☆20Updated this week
- A sample kernel module showing the memory reordering.☆11May 30, 2020Updated 5 years ago
- compatible library for ebpf programs to improve BTF portability☆14Oct 11, 2023Updated 2 years ago
- A Rust library to handle OpenSSH key and other common SSH key☆15Jun 3, 2023Updated 2 years ago
- An instruction of how to modify bios image to enable avx512 for alderlake CPU on modern gigabyte motherboards☆13Feb 2, 2023Updated 3 years ago
- WebAssembly as a Fuzzing Compilation Target @ FUZZING'24☆18Jan 28, 2026Updated 2 weeks ago
- Dynamic NFTs is a code-pattern & tooling that enables web3 creators to have true ownership of assets and create upgradable NFTs in a trus…☆13Jan 11, 2022Updated 4 years ago
- LifeGame homework of Software Engineering MOOC (http://www.xuetangx.com/courses/TsinghuaX/34100325X/2015_T1/about)☆10Mar 18, 2016Updated 9 years ago
- Videocore Backend for llvm☆23Feb 3, 2015Updated 11 years ago
- 基于X86架构的简单Cminus语言编译器☆10Apr 1, 2022Updated 3 years ago
- An MLIR-based AI compiler designed for Python frontend to RISC-V DSA☆13Oct 10, 2024Updated last year
- Generate Linux Perf event tables for Apple Silicon☆17Dec 16, 2025Updated last month
- ☆10Nov 12, 2019Updated 6 years ago
- ACPI Table Source for SoCs & Devices☆15Feb 6, 2026Updated last week
- Minimal RISC-V Chisel design strictly reflecting the ISA document for verification.☆18Feb 3, 2026Updated last week
- Software Instrumentation Dynamically Enabled☆13Updated this week
- Minimal, dependency free implementation of the ctor crate☆17Aug 1, 2024Updated last year
- Lock-free elimination back-off stack☆12Jan 6, 2022Updated 4 years ago
- Story collection from Chunithm☆15Jan 2, 2026Updated last month
- eBPF version of https://github.com/brendangregg/wss☆11Jan 26, 2023Updated 3 years ago
- Case studies constitute a modern interdisciplinary and valuable teaching practice which plays a critical and fundamental role in the deve…☆13Aug 26, 2018Updated 7 years ago
- arkit demo☆11Aug 20, 2018Updated 7 years ago