Popular repositories

1. spy-ggp spy-ggp Public

   A simple GGP Player network interface in Python

   Python 3

2. godl godl Public

   This is GoDL, a description logic toolkit in golang.

   Go 3

3. gophersat gophersat Public

   Forked from crillab/gophersat

   gophersat, a SAT solver in Go

   Go 1

4. laglag laglag Public

   Automatically exported from code.google.com/p/laglag

   C

5. sadoc sadoc Public

   Automatically exported from code.google.com/p/sadoc

   Java

6. sadoc-plugin sadoc-plugin Public

   Automatically exported from code.google.com/p/sadoc-plugin

   PHP