Solver for higher-order functional programs, used by Stainless

The Leon system for verification, synthesis, repair

IRC Social Mapper written in C

The PHP Interpreter

A tool to import BibTeX entries from various sources

A tool to import BibTeX entries from various sources

The Scala programming language

Stupid git-based, markdown-flavored website system.

Scala 2 compiler and standard library. Scala 2 bugs at https://github.com/scala/bug; Scala 3 at https://github.com/scala/scala3

PECL extension that implements weak references and weak maps in PHP

The PHP Interpreter

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