acieroid/aac-ml
Abstracting Abstract Control Implementation in OCaml
An ugly read-only ext2 implementation with Python and Fuse
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
Abstracting Abstract Control Implementation in OCaml
SSΓCFA of ANF with Self-Adjusting Memoization
Indentation tool for OCaml, to be used from editors like Emacs and Vim.
Stack Summarizing (Γ)CFA of LambdaS5