acieroid/aac-ml
Abstracting Abstract Control Implementation in OCaml
Simple HTML5 multiplayer game (snake)
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