Pinned Repositories
bibimbap
A tool to import BibTeX entries from various sources
ChessServer
scala implemented chess server for SWENG
insane
Interprocedural Static Analysis Engine for Scala
phantm
Static analysis using data-flow and type inference for PHP applications - Implemented in Scala
php-src
The PHP Interpreter
php-weakref
PECL extension that implements weak references and weak maps in PHP
scala
The Scala programming language
scalaircbot
Simple IRC bot written in scala
smap
IRC Social Mapper written in C
stupidweb
Stupid git-based, markdown-flavored website system.
colder's Repositories
colder/phantm
Static analysis using data-flow and type inference for PHP applications - Implemented in Scala
colder/php-weakref
PECL extension that implements weak references and weak maps in PHP
colder/insane
Interprocedural Static Analysis Engine for Scala
colder/scalaircbot
Simple IRC bot written in scala
colder/bibimbap
A tool to import BibTeX entries from various sources
colder/ChessServer
scala implemented chess server for SWENG
colder/php-src
The PHP Interpreter
colder/scala
The Scala programming language
colder/smap
IRC Social Mapper written in C
colder/stupidweb
Stupid git-based, markdown-flavored website system.
colder/bonsai
(Fast) (Big) Tree generation
colder/cafebabe
Tiny Scala library to generate class files for the JVM
colder/freeforms
colder/leon
The Leon system for verification, synthesis, and more.
colder/leon-types
Experiement on typing trees
colder/scala-smtlib
SMT-LIB library for Scala
colder/ScalaZ3
Binders and more to the Z3 SMT solver for Scala