plast-lab/cclyzer
A tool for analyzing LLVM bitcode using Datalog.
Developer Profile
plast-lab
Discovered public repositories for plast-lab in the GitHub catalog.
plast-lab/DelphJ
DelphJ is a Java-based OO language (MorphJ with delegation features) that eschews inheritance completely, in favor of a combination of class morphing and (deep) delegation.
plast-lab/map-hash-repeat
Experimenting with mbrace
plast-lab/zero-lang-quest
Public repository.