Rare find

reachability. Experimental implementation of k-CFA and Pushdown k-CFA with optional Abstract Garbage Collection for LambdaJS and a subset of Scheme programming language

github.com/ilyasergey/reachability
by @ilyasergey

Problem

Audience

Keep exploring

Updates

No founder updates yet. Check back soon.