This project has moved to https://github.com/torvalds/linux/tree/master/tools/memory-model
☆15Jan 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:
- Exploit Development and Reverse Engineering with GDB Made Easy☆18Jun 25, 2019Updated 7 years ago
- ☆17Jan 20, 2023Updated 3 years ago
- The HexagonE VM☆25Aug 23, 2022Updated 4 years ago
- INACTIVE - Experiment: A light-weight agent to get a port scan perspective into a useable place/format for security operations☆14Apr 10, 2023Updated 3 years ago
- Visualizing kubernetes capacity.☆17Mar 2, 2018Updated 8 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.
- RAINS (Another Internet Naming Service)☆10Mar 19, 2026Updated 7 months ago
- A highly portable, self-contained version of ROUND5 post-quantum algorithms for embedded platforms.☆17Apr 15, 2020Updated 6 years ago
- TinyOS based on xv6☆13Jun 3, 2022Updated 4 years ago
- Ordered Representation for Distinguished Objects: A Certificate Format☆20Jun 7, 2014Updated 12 years ago
- Opens up a Rust enum to allow for non-specified values☆20Sep 28, 2026Updated last month
- ssmp is a highly optimized message-passing library built on top of the cache-coherence protocols of shared memory processors.☆25May 4, 2015Updated 11 years ago
- The codebase for DBSim☆16Mar 8, 2023Updated 3 years ago
- luajit version for xxHash☆10Apr 28, 2019Updated 7 years ago
- MircoSoft Detours 4.0.1，MIT License，Support X86，X64，ARM，IA64☆12Apr 23, 2018Updated 8 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- ☆11May 29, 2024Updated 2 years ago
- Manage your WireGuard tunnels with ease☆25Aug 13, 2018Updated 8 years ago
- ☆22Apr 7, 2014Updated 12 years ago
- $research☆22Dec 21, 2020Updated 5 years ago
- levi-db is a fast database engine☆35May 11, 2018Updated 8 years ago
- 2D Top-down shooter made with C++ and OpenGL☆18Sep 14, 2024Updated 2 years ago
- A yaml-based SQL planner test framework☆27Dec 18, 2024Updated last year
- Configurable Cloud VM is a small command line tool for automatically creating development and demo environments for complex projects. The…☆29Mar 30, 2021Updated 5 years ago
- orzdba mirror of http://code.taobao.org/svn/orzdba/ Mysql性能检测工具☆26Jul 29, 2016Updated 10 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Reproducible experiments on UTF-8 validation using SIMD instructions☆42Apr 21, 2026Updated 6 months ago
- Bootstrapping VM for bare metal to trusted C compilation☆50Nov 1, 2024Updated 2 years ago
- Convert any python object to a human readable format.☆25Aug 6, 2019Updated 7 years ago
- X.509 certificate test suite☆44Sep 6, 2021Updated 5 years ago
- ☆37Mar 20, 2017Updated 9 years ago
- 使用zig编译lua，可交叉编译。☆18Feb 26, 2025Updated last year
- ☆12Jun 2, 2022Updated 4 years ago
- ☆22Oct 9, 2022Updated 4 years ago
- Batteries included Lua☆47Nov 5, 2020Updated 6 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- LuaJIT binding to libcurl☆18Aug 9, 2017Updated 9 years ago
- A Dungeons & Dragons multiplayer game developed by ChatGPT☆24Aug 14, 2023Updated 3 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 5 years ago
- ☆190Mar 8, 2020Updated 6 years ago
- C-language software library of the Diffie-Hellman functions X25519 and X448 (RFC-7748) for 64-bit architectures.☆42Nov 10, 2023Updated 3 years ago
- An assembler for eBPF programs written in an Intel-like assembly syntax.☆52Aug 11, 2023Updated 3 years ago
- A modern BGP server implementation☆34May 1, 2025Updated last year
Are these results useful?