Block or report user
  • Clojure 5 Updated Jun 23, 2017
  • Clojure 1 Updated May 30, 2017
  • Javascript libraries packaged up with Google Closure externs

    JavaScript 592 Updated Mar 10, 2017
  • Fast library for rendering HTML in Clojure

    Clojure 131 Updated Feb 7, 2017
  • My Home Page

    CSS Updated Feb 3, 2017
  • My Dotfiles

    Shell Updated Dec 12, 2016
  • A Brainf*** Interpreter written in SWI Prolog

    Prolog 5 Updated Sep 20, 2016
  • An experiment to see how easy it is to combine the ProB 2.0 EventB Model Generation API with the EventB Structural parser in order to create a simple application to generate EventB models from text files.

    Java 1 Updated May 24, 2016
  • A habit tracker app which treats your goals like a Role Playing Game.

    JavaScript 2,196 Updated Dec 8, 2015
  • Emacs configuration files

    Emacs Lisp 2 Updated Mar 16, 2015
  • A ClojureScript Wrapper for the cytoscape JavaScript Library

    Clojure 1 Updated Mar 16, 2015
  • ProB 2.0 Eclipse / Rodin Plug-in

    Java 2 Updated Sep 24, 2014
  • Updated May 29, 2013
  • ProB Parser library

    Java 1 3 Updated Mar 8, 2012