Microbenchmarking experiments on Zen 2 machines
☆22Jun 25, 2022Updated 4 years ago
Alternatives and similar repositories for lamina
Users that are interested in lamina are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ROB size testing utility☆169Dec 19, 2021Updated 4 years ago
- x86 JIT playground for documenting and exploring microarchitectural implementation details☆45Jun 11, 2026Updated 3 months ago
- Memory consistency model checking and test generation library.☆15Oct 14, 2016Updated 9 years ago
- CLI utilty to work out proper constants for vpternlogic instruction☆13Jan 22, 2023Updated 3 years ago
- wall time exex for reth☆12Aug 5, 2024Updated 2 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.
- Minimal CPU Emulator Powered by the ARM PL080 DMA Controller☆36Apr 11, 2026Updated 5 months ago
- Fast Function Dispatch: Improving the performance of Rust's dynamic function calls☆40Oct 19, 2024Updated last year
- Stable, non-KVM version of PTLsim.☆29Feb 16, 2016Updated 10 years ago
- Official Foundry landing page☆17Jun 28, 2023Updated 3 years ago
- ☆16Mar 29, 2024Updated 2 years ago
- Caching sparse Merkle Patricia Trie for reth.☆12Nov 18, 2024Updated last year
- iTLB multihit PoC☆43Nov 4, 2023Updated 2 years ago
- ☆15Updated this week
- ☆18Mar 12, 2026Updated 6 months 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.
- Alloy models for automatic synthesis of memory model litmus test suites (from ASPLOS 2017)☆16Jan 26, 2024Updated 2 years ago
- calculate new mpt root without loading entire trie☆17Jun 19, 2024Updated 2 years ago
- Rust wrapper for Otterscan, fast, local and privacy-friendly block explorer.☆24Jul 20, 2022Updated 4 years ago
- L2 builder proxy☆17Sep 7, 2026Updated last month
- Rust port of C++ llvm::APFloat library☆23Sep 20, 2026Updated 2 weeks ago
- An advanced automated reasoning tool for memory consistency model specifications.☆25Dec 6, 2021Updated 4 years ago
- Experimental P2P configuration plane for Wireguard☆28Sep 14, 2026Updated 3 weeks ago
- ASM generation tool for GAS/NASM/MASM with Xbyak-like syntax in Python☆13Sep 3, 2026Updated last month
- A rapidly-updated list of live phishing domains for consumption by the eth-phishing-detect module☆15Aug 10, 2022Updated 4 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- CPU micro benchmarks☆86Aug 14, 2026Updated last month
- An open-source Ternary Content Addressable Memory (TCAM) compiler.☆37Jul 19, 2024Updated 2 years ago
- Consistency checker for memory subsystem traces☆23Oct 10, 2016Updated 10 years ago
- CPU Ultimate Latency Test.☆123Sep 6, 2025Updated last year
- Proof of concept trade simulation using state overrides☆22Sep 8, 2022Updated 4 years ago
- A Rust client for ComfyUI with an emphasis on type safety and ergonomics.☆22Jul 2, 2026Updated 3 months ago
- A binary instrumentation tool to analyze load instructions in any off-the-shelf x86(-64) program. Described by Bera et al. in https://arx…☆24Jun 30, 2024Updated 2 years ago
- LM32 processor module for Ghidra. Useful for AMD SMU reverse engineering.☆19Dec 7, 2025Updated 10 months ago
- Hacky code to launch our old versions from the new launcher!☆10Aug 25, 2020Updated 6 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.
- SSZ-compatible tree hash implementation optimised for speed and security☆23Sep 1, 2026Updated last month
- Static Pointer Analyzer and Transpiler from C to Safe Rust☆24Jan 4, 2026Updated 9 months ago
- ☆18Sep 29, 2026Updated last week
- A driver loader tool that helps in the study of Windows kernel. || 一个驱动加载工具，在Windows内核的学习过程中可以提供帮助。☆11Jul 3, 2020Updated 6 years ago
- Reference DHCP client in go☆10Jul 1, 2024Updated 2 years ago
- XNU kernel symbol resolver(kernel extension)☆12Mar 1, 2019Updated 7 years ago
- MathLib DAC 2023 version☆13Sep 11, 2023Updated 3 years ago