This project has moved to https://github.com/torvalds/linux/tree/master/tools/memory-model
☆12Jan 19, 2018Updated 8 years ago
Alternatives and similar repositories for memory-model
Users that are interested in memory-model are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Automatically generated litmus tests for validation LISA-language Linux-kernel memory models☆27Aug 17, 2025Updated 7 months ago
- Constant Time Operations for Crypto Libraries☆10Jun 22, 2017Updated 8 years ago
- Semantics for Cryptol☆16Apr 9, 2018Updated 7 years ago
- CypherSmith is a random cypher generator for OpenCypher☆17Jan 24, 2022Updated 4 years ago
- 用C++实现的一个简单NoSQL☆15Apr 10, 2016Updated 9 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Android app for trying Intents, Content Providers and Binder interfaces☆18Oct 29, 2017Updated 8 years ago
- A highly portable, self-contained version of ROUND5 post-quantum algorithms for embedded platforms.☆17Apr 15, 2020Updated 5 years ago
- Inconsistent code detection for Java.☆14Jan 26, 2018Updated 8 years ago
- Top-down survival shooter☆12Dec 15, 2025Updated 3 months ago
- ☆20Jan 25, 2022Updated 4 years ago
- ☆12May 29, 2024Updated last year
- The codebase for DBSim☆16Mar 8, 2023Updated 3 years ago
- Frames Extraction With OpenCV and Python☆15Aug 26, 2020Updated 5 years ago
- Might be a graph storage engine. (WIP)☆13May 14, 2023Updated 2 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Linux kernel source tree☆26Feb 19, 2026Updated last month
- The singularity of the AI powered text-based RPGs with unlimited freedom.☆15Mar 30, 2025Updated 11 months ago
- ☆21Jun 12, 2024Updated last year
- PoC for CVE-2021-39749, allowing starting arbitrary Activity on Android 12L Beta☆32Apr 16, 2022Updated 3 years ago
- BIOS written in Rust.☆21Jun 7, 2018Updated 7 years ago
- levi-db is a fast database engine☆36May 11, 2018Updated 7 years ago
- SWE-Exp: Experience-Driven Software Issue Resolution☆38Oct 17, 2025Updated 5 months ago
- Tools for doing upstream Linux kernel development, patch wrangling, builds, and testing☆59Mar 12, 2026Updated 2 weeks ago
- 2D Top-down shooter made with C++ and OpenGL☆17Sep 14, 2024Updated last year
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Hypervisor based containers proxy☆31Apr 2, 2018Updated 7 years ago
- Reproducible experimeents on UTF-8 validation using SIMD instructions☆41Aug 21, 2024Updated last year
- 后端架构师技术图谱☆10May 5, 2018Updated 7 years ago
- DeepHash框架，包括DQN、DHN、DVSQ、DCH、DTQ等方法。☆12Jan 18, 2021Updated 5 years ago
- A simple top down 2D shooter☆17Jun 8, 2015Updated 10 years ago
- Batteries included Lua☆47Nov 5, 2020Updated 5 years ago
- 一款截图翻译小工具，自带截屏功能，图像识别，翻译功能调用百度接口！☆14Nov 23, 2020Updated 5 years ago
- ☆22Oct 9, 2022Updated 3 years ago
- ☆38Mar 20, 2017Updated 9 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- Porting LuaJIT to RISC-V 64☆32Feb 12, 2026Updated last month
- Cicada SIGMOD 2017 evaluation☆16Sep 19, 2017Updated 8 years ago
- InfiniStore: an elastic serverless cloud storage system (VLDB'23)☆24May 5, 2023Updated 2 years ago
- TLS implemented in f7☆44Jul 28, 2016Updated 9 years ago
- An assembler for eBPF programs written in an Intel-like assembly syntax.☆51Aug 11, 2023Updated 2 years ago
- A distributed consistent graph storage. This is an archived repo for v2.5 only, from 2.6.0 +, NebulaGraph switched back to https://github…☆57Oct 12, 2021Updated 4 years ago
- C++ driver to evaluate updates and analytics on dynamic structural graphs☆27Feb 14, 2022Updated 4 years ago