asli
Interpreter for Arm's Architecture Specification Language (ASL)
- Category
- OCaml packages
Official docs outline
ocaml.orgExtra Credit builds an outline of asli's docs the first time your work uses it. Until then, start at the official documentation.
More in OCaml packages
All 500-
arrayjit An array language compiler with multiple backends (CPU, CUDA, Metal), staged compilation
-
conf-opencc0 Virtual package relying on opencc v0 (libopencc.so.1) installation
-
bap-disassemble Implements the disassemble command
-
zarith_stubs_js Javascripts stubs for the Zarith library
-
bap-report A BAP plugin that reports program status
-
bitvec-order Base style comparators and orders for Bitvec
-
oseq Simple list of suspensions, as a composable lazy iterator that behaves like a value
-
bap-ssa A BAP plugin, that translates a program into the SSA form
-
bap-dump-symbols BAP plugin that dumps symbols information from a binary
-
optal A new language for optimization
-
pbkdf Password based key derivation functions (PBKDF) from PKCS#5
-
bap-mc BAP machine instruction playground