colder/leon
The Leon system for verification, synthesis, and more.
Discovered public repositories for colder in the GitHub catalog.
The Leon system for verification, synthesis, and more.
Tiny Scala library to generate class files for the JVM
Binders and more to the Z3 SMT solver for Scala
IRC Social Mapper written in C
The PHP Interpreter
A tool to import BibTeX entries from various sources
The Scala programming language
Stupid git-based, markdown-flavored website system.
PECL extension that implements weak references and weak maps in PHP
Interprocedural Static Analysis Engine for Scala
Static analysis using data-flow and type inference for PHP applications - Implemented in Scala
scala implemented chess server for SWENG
Simple IRC bot written in scala