Example implementation of Arm's Architecture Specification Language (ASL)
☆55Sep 14, 2025Updated 5 months ago
Alternatives and similar repositories for asl-interpreter
Users that are interested in asl-interpreter are comparing it to the libraries listed below
Sorting:
- Interpreter and compiler for the ISA specification language "Architecture Specification Language" (ASL)☆28Sep 8, 2025Updated 6 months ago
- Tools to process ARM's Machine Readable Architecture Specification☆136Jan 1, 2020Updated 6 years ago
- Ocamlgraph overlay for llvm☆20Apr 4, 2015Updated 10 years ago
- Functions and proofs about game trees in Rocq, implemented as rose trees.☆16Mar 2, 2026Updated last week
- RTL blocks compatible with the Rocket Chip Generator☆17Mar 30, 2025Updated 11 months ago
- The Stream and Genlex libraries for use with Camlp4 and Camlp5☆16Oct 14, 2025Updated 4 months ago
- unsigned Radix-2 SRT division,基2除法☆16May 12, 2015Updated 10 years ago
- A Symbolic Emulator for Shuffle Synthesis on the NVIDIA PTX Code☆15Mar 19, 2023Updated 2 years ago
- Sail version of Arm ISA definition, currently for Armv9.3-A, and with the previous Sail Armv8.5-A model☆92Updated this week
- A Fast Floating-Point Satisfiability Solver☆29Jul 26, 2025Updated 7 months ago
- A tiny FP8 multiplication unit written in Verilog. TinyTapeout 2 submission.☆14Nov 23, 2022Updated 3 years ago
- agrid is an OCaml library for adjustable grids. Adjustable grids are two dimensional arrays whose width/height can be changed by adding o…☆15Feb 3, 2023Updated 3 years ago
- OCaml library to transform an Llvm control flow graph in an SMT formula.☆13Apr 20, 2018Updated 7 years ago
- Katamaran is a semi-automated separation logic verifier for the Sail specification language. It works on an embedded version of Sail call…☆19Updated this week
- Tests for verifying compliance of RMM implementations☆21Sep 22, 2025Updated 5 months ago
- Building Lua interpreters with lot's of functors☆13Jul 31, 2018Updated 7 years ago
- CV32E40X Design-Verification environment☆16Mar 25, 2024Updated last year
- A Flyweight MBIST Block - FPGA synthesizable, Multi-algorithm integrated☆19Jan 27, 2019Updated 7 years ago
- miniKanren with a first-order representation of the search space☆17Jul 23, 2024Updated last year
- A simple websocket library for OCaml with no dependencies☆16Apr 8, 2024Updated last year
- An OCaml library providing a C parser and lexer☆42Nov 8, 2024Updated last year
- Sail architecture definition language☆846Updated this week
- Alternative implementation of the logical framework Dedukti in Rust☆23Apr 10, 2025Updated 10 months ago
- Symbolic execution tool for Sail ISA specifications☆87Feb 27, 2026Updated last week
- Token ring communication protocol for low-cost, low-power embedded devices communicating over UART☆17May 3, 2018Updated 7 years ago
- Lox language implemented in OCaml☆14Oct 6, 2020Updated 5 years ago
- Ocaml Linear Engine for JavaScript Regexes, implementing the algorithms described in Linear Matching of JavaScript Regular Expressions at…☆22Feb 10, 2026Updated last month
- A modular library for CDCL(T) SMT solvers, with [wip] proof generation.☆26Feb 8, 2026Updated last month
- Library for manipulating gdb in batch mode☆21Mar 10, 2024Updated last year
- Interactive visualizer for e-graphs☆28Jan 13, 2026Updated last month
- Vibe Coding A GPGPU via Cursor + Gemini3 Pro☆55Nov 23, 2025Updated 3 months ago
- OCaml binary heap implementation by Jean-Christophe Filliatre☆18Nov 29, 2020Updated 5 years ago
- llvm opt fuzzer and bounded exhaustive test generator☆47Oct 22, 2022Updated 3 years ago
- Fast, safe mutable dynamic arrays for OCaml☆28Jan 18, 2024Updated 2 years ago
- Binsec/Haunted is an extension of Binsec to verify speculative constant-time and detect Spectre attacks.☆18Oct 19, 2023Updated 2 years ago
- Binsec/Rel is an extension of Binsec that implements relational symbolic execution for constant-time verification and secret-erasure at b…☆34Jan 25, 2025Updated last year
- Lightweight tool for managing headers in source code files. It can update in any source code files (OCaml, C, XML et al).☆26May 15, 2024Updated last year
- Memory consistency modelling using Alloy☆31Dec 16, 2020Updated 5 years ago
- Process Orchestration Framework: A camunda 7 fork☆21Mar 2, 2026Updated last week