Stars
Browse starred repositories and topics
Sort: Recently starred
Starred Repositories
-
Solver for higher-order functional programs
-
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