amirsh/YMITSCompetition
Public repository.
Generate class diagrams from scala source code
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
Public repository.
Binders and more to the Z3 SMT solver for Scala
Type-safe off-heap memory for Scala.
The Leon system for verification, synthesis, and more.