Pinned Loading

1. aspviz aspviz Public

   Answer set programing visualisation tool

   Java 1

2. clj-ansprog clj-ansprog Public

   Clojure Answer Set Programming library

   Clojure 5

3. docker-squid-sslintercept docker-squid-sslintercept Public

   Docker container which includes a squid which intercepts SSL

   1

4. goblocks goblocks Public

   Block puzzle solver written in Go

   Go

5. martianrovers martianrovers Public

   code for Luc Steels' martian rovers experiment coded as a teaching demonstrator a few years ago

   Java

6. soma_talk_server soma_talk_server Public

   Server-side code for solutions to MathsJam 2015 talk

   Clojure