Pinned Repositories
4draymarcher
aslp
Partial evaluator for Arm's Architecture Specification Language (ASL)
basls
language server experiment
compiler-explorer
A fork of godbolt containing the configuration to run BASIL and Boogie IVL
keystone.js
macaron
Macaron is a supply chain security analysis tool from Oracle Labs that checks conformance to SLSA framework.
patdiff-fork
Fork of janestreet/patdiff with latex output
plantsounds
TelegraML
OCaml implementation of the Telegram Bot API
website
ailrst's Repositories
ailrst/4draymarcher
ailrst/aslp
Partial evaluator for Arm's Architecture Specification Language (ASL)
ailrst/basls
language server experiment
ailrst/compiler-explorer
A fork of godbolt containing the configuration to run BASIL and Boogie IVL
ailrst/keystone.js
ailrst/macaron
Macaron is a supply chain security analysis tool from Oracle Labs that checks conformance to SLSA framework.
ailrst/patdiff-fork
Fork of janestreet/patdiff with latex output
ailrst/plantsounds
ailrst/TelegraML
OCaml implementation of the Telegram Bot API
ailrst/website