alastairreid / asl-interpreterView external linksLinks
Example implementation of Arm's Architecture Specification Language (ASL)
☆54Sep 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)☆27Sep 8, 2025Updated 5 months ago
- Tools to process ARM's Machine Readable Architecture Specification☆136Jan 1, 2020Updated 6 years ago
- Functions and proofs about game trees in Rocq, implemented as rose trees.☆12Dec 2, 2025Updated 2 months ago
- RTL blocks compatible with the Rocket Chip Generator☆17Mar 30, 2025Updated 10 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
- Example for running IREE in a bare-metal Arm environment.☆40Jul 28, 2025Updated 6 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
- miniKanren with a first-order representation of the search space☆17Jul 23, 2024Updated last year
- A Flyweight MBIST Block - FPGA synthesizable, Multi-algorithm integrated☆19Jan 27, 2019Updated 7 years ago
- A simple websocket library for OCaml with no dependencies☆16Apr 8, 2024Updated last year
- Tests for verifying compliance of RMM implementations☆21Sep 22, 2025Updated 4 months ago
- CV32E40X Design-Verification environment☆16Mar 25, 2024Updated last year
- Based on Chisel3, Rift2Core is a 9-stage, out-of-order, 64-bits RISC-V Core, which supports RV64GC.☆39Feb 6, 2024Updated 2 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…☆20Feb 10, 2026Updated last week
- FPGA 80186 IBM PC compatible system for Altera Cyclone IV (EP4CE15F23/EP4CE55F23)☆23Jan 15, 2022Updated 4 years ago
- Alternative implementation of the logical framework Dedukti in Rust☆23Apr 10, 2025Updated 10 months ago
- Sail architecture definition language☆841Updated this week
- A modular library for CDCL(T) SMT solvers, with [wip] proof generation.☆26Feb 8, 2026Updated last week
- Vibe Coding A GPGPU via Cursor + Gemini3 Pro☆55Nov 23, 2025Updated 2 months ago
- OCaml binary heap implementation by Jean-Christophe Filliatre☆18Nov 29, 2020Updated 5 years ago
- Binsec/Haunted is an extension of Binsec to verify speculative constant-time and detect Spectre attacks.☆17Oct 19, 2023Updated 2 years ago
- 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
- Fast, safe mutable dynamic arrays for OCaml☆28Jan 18, 2024Updated 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
- A cheap but powerful CH55x BadUSB Cable with SL2.1s USBHUB, which makes the cable usable while executing payload. 廉价但强大，把CH552e和SL2.1s集成在…☆19Nov 23, 2022Updated 3 years ago
- ☆19Jul 25, 2018Updated 7 years ago
- Easily build clients and servers on top of a common REST API, automatically derived from OCaml types.☆23Nov 18, 2025Updated 2 months ago
- A python parser for decoding arm aarch32 and aarch64 system registers☆24Aug 10, 2023Updated 2 years ago
- Implementations of do255e and do255s in C and assembly☆25May 3, 2021Updated 4 years ago
- BTOR2 MLIR project☆26Jan 17, 2024Updated 2 years ago
- compiling DSLs to high-level hardware instructions☆23Nov 8, 2022Updated 3 years ago
- Type-and-example-driven program synthesis for functional programming languages☆27Jun 30, 2019Updated 6 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
- SRAM Design using OpenSource Applications☆24Jul 16, 2021Updated 4 years ago
- (Dis)assembler and analyzer generated from the machine-readable ARMv8.3-A specification☆28Jan 28, 2018Updated 8 years ago
- [WIP] Pure OCaml bindings to the X11 protocol☆25Sep 10, 2025Updated 5 months ago