acieroid/aac-ml
Abstracting Abstract Control Implementation in OCaml
Public GitHub Catalog
Discovered Oct 2, 2026
acieroid / sscfa-samemo
SSΓCFA of ANF with Self-Adjusting Memoization
About this discovery
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
#24680863GitHub System ID
acieroidOrganization / User
PublicVisibility
ActiveCatalog Status
More from acieroid
acieroid/ocp-indent
Indentation tool for OCaml, to be used from editors like Emacs and Vim.
acieroid/sscfa-s5
Stack Summarizing (Γ)CFA of LambdaS5
acieroid/sscfa-anf
Stack Summarizing (Γ)CFA of ANF lambda calculus