☆14Feb 20, 2026Updated 2 weeks 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
- Memory consistency modelling using Alloy☆31Dec 16, 2020Updated 5 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
- Port of the LLVM compiler infrastructure to the time-predictable processor Patmos☆15Apr 2, 2025Updated 11 months ago
- ☆40Apr 3, 2022Updated 3 years ago
- ☆10Nov 25, 2021Updated 4 years ago
- ☆11Aug 23, 2023Updated 2 years ago
- ☆12Feb 15, 2024Updated 2 years ago
- Transparent serialization of python plain-old-data classes☆12Aug 31, 2022Updated 3 years ago
- RISC-V 64 CPU☆10Oct 4, 2025Updated 5 months ago
- ☆48Dec 11, 2020Updated 5 years ago
- An MLIR-based AI compiler designed for Python frontend to RISC-V DSA☆13Oct 10, 2024Updated last year
- A tool for cross-checking Verilog compilers☆14Apr 16, 2025Updated 10 months ago
- ☆10Nov 12, 2019Updated 6 years ago
- 基于X86架构的简单Cminus语言编译器☆10Apr 1, 2022Updated 3 years ago
- OCEAN – Open-source CXL Emulation at Hyperscale Architecture and Networking.☆23Feb 25, 2026Updated last week
- compatible library for ebpf programs to improve BTF portability☆14Oct 11, 2023Updated 2 years ago
- Vulkan Memory Model☆111Jun 26, 2025Updated 8 months ago
- An online simulator for finite automata (FA), pushdown automata (PDA) and linear bounded automata (LBA).☆11Oct 30, 2017Updated 8 years ago
- Differentiable Block Compression for Neural Texture (EGSR 2025)☆13Nov 22, 2025Updated 3 months ago
- Videocore Backend for llvm☆23Feb 3, 2015Updated 11 years ago
- Generate Linux Perf event tables for Apple Silicon☆17Dec 16, 2025Updated 2 months ago
- A simple OpenCL path tracer with spheres and mixed glossy/specular + diffuse + emission material☆12Feb 13, 2014Updated 12 years ago
- A sample kernel module showing the memory reordering.☆11May 30, 2020Updated 5 years 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
- An instruction of how to modify bios image to enable avx512 for alderlake CPU on modern gigabyte motherboards☆13Feb 2, 2023Updated 3 years ago
- LifeGame homework of Software Engineering MOOC (http://www.xuetangx.com/courses/TsinghuaX/34100325X/2015_T1/about)☆10Mar 18, 2016Updated 9 years ago
- An implementation of memcpy for amd64 with clang/gcc☆15Feb 7, 2022Updated 4 years ago
- ☆12Oct 25, 2022Updated 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
- Minimal, dependency free implementation of the ctor crate☆17Aug 1, 2024Updated last year
- Automated test generator to detectcache side channel leakages.☆11Jul 1, 2019Updated 6 years ago
- ☆11Dec 13, 2023Updated 2 years ago
- eBPF version of https://github.com/brendangregg/wss☆11Jan 26, 2023Updated 3 years ago
- 🦀 Rust crate for reading ogawa alembic cache data☆14Apr 6, 2025Updated 11 months ago
- USTC信息安全实践课程讲义，简要介绍SageMath的常用函数使用，针对CTF的CRYPTO赛题的教程。☆14Mar 28, 2022Updated 3 years ago
- eRPC library for Rust☆14Jan 16, 2020Updated 6 years ago
- ☆11Mar 27, 2024Updated last year