Sail version of Arm ISA definition, currently for Armv9.3-A, and with the previous Sail Armv8.5-A model
☆99Nov 9, 2026Updated this week
Alternatives and similar repositories for sail-arm
Users that are interested in sail-arm are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Sail x86 model automatically translated from the ACL2 model☆15Nov 29, 2024Updated last year
- Sail architecture definition language☆972Updated this week
- Symbolic execution tool for Sail ISA specifications☆103Sep 23, 2026Updated last month
- Example implementation of Intel ISA Specification Language☆63Nov 4, 2026Updated last week
- A Lean-embedded framework to verify Verilog modules☆18Updated this week
- 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.
- Rocq framework to define the semantics of CPU architectures☆42Updated this week
- Semantic model for aspects of ELF static linking and DWARF debug information☆64Nov 1, 2026Updated last week
- Sail RISC-V model☆809Updated this week
- Deprecated Bedrock Bit Vector Library. Example replacement:☆30Aug 2, 2026Updated 3 months ago
- CHERI-RISC-V model written in Sail☆70Oct 18, 2026Updated 3 weeks ago
- RTLCheck☆26Oct 9, 2018Updated 8 years ago
- Tools to process ARM's Machine Readable Architecture Specification☆139Jan 1, 2020Updated 6 years ago
- Armv8 Native Code Symbolic Simulator in Lean☆121Updated this week
- Lenses in Coq☆17Oct 7, 2022Updated 4 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- ☆14Updated this week
- Verified Verilog Equivalence checker, written and verified in Coq.☆15Oct 20, 2026Updated 3 weeks ago
- ☆15Sep 30, 2026Updated last month
- An experimental Agda kernel for Jupyter☆25Mar 9, 2022Updated 4 years ago
- ☆13Updated this week
- ☆12Updated this week
- isla coq infrastructure☆23Mar 11, 2025Updated last year
- ☆16Aug 12, 2026Updated 3 months ago
- A tool for cross-checking Verilog compilers☆15Apr 16, 2025Updated last year
- 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.
- Browser based rce for iOS <= 14.3☆10May 26, 2025Updated last year
- Wrapper for ETH Ariane Core☆21Sep 2, 2025Updated last year
- Hardcaml wrappers for Xilinx memory primitives☆12Jul 10, 2026Updated 4 months ago
- Interpreter and compiler for the ISA specification language "ISA Specification Language" (ISL)☆44Updated this week
- rmem public repo☆54Oct 3, 2026Updated last month
- Patches Assured up to Trace Equivalence☆17Apr 7, 2025Updated last year
- A Platform for High-Level Parametric Hardware Specification and its Modular Verification☆175Sep 17, 2026Updated last month
- Partial evaluator for Arm's Architecture Specification Language (ASL)☆21Jun 12, 2026Updated 5 months ago
- TAIDL: Tensor Accelerator ISA Definition Language☆25Nov 5, 2026Updated last week
- 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.
- Regular expression Search on the command-line☆16Mar 31, 2025Updated last year
- GoNative project: formal machines models in Coq☆37Aug 3, 2017Updated 9 years ago
- FastPoly: An Efficient Polynomial Package for the Verification of Integer Arithmetic Circuits☆14Aug 5, 2025Updated last year
- Equivalence Verification Checking for Code Transformation via Equality Saturation☆13Jun 1, 2026Updated 5 months ago
- Fuzz testing for Dafny☆12Jul 7, 2022Updated 4 years ago
- All the code I've ever written in Ltac2☆11Jan 19, 2021Updated 5 years ago
- ARMv7 architecture plugin☆40Mar 7, 2024Updated 2 years ago
Are these results useful?