plum-umd/inc-imp
An incremental IMP interpreter, built using Adapton.
An open source clone of Amazon's Dynamo.
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
An incremental IMP interpreter, built using Adapton.
Constructive Galois connections
Adapton Project Homepage
Racket-based implementation of Adapton