colder/bonsai
(Fast) (Big) Tree generation
Static analysis using data-flow and type inference for PHP applications - Implemented in Scala
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
(Fast) (Big) Tree generation
SMT-LIB library for Scala
The Leon system for verification, synthesis, and more.
Tiny Scala library to generate class files for the JVM