Popular repositories Loading

1. awesome-wm-config awesome-wm-config Public archive

   Configuration files for Awesome WM.

   Lua 3

2. dotfiles dotfiles Public archive

   Lunix configuration files

   Shell 2

3. unfoldings unfoldings Public archive

   A simple experiment to see if we can fetch definitions (unfoldings) of the transitive closure of a module from a GHC Plugin.

   Haskell 2

4. service-broker-api service-broker-api Public archive

   Generic api to implement CF service brokers.

   Ruby 1 1

5. dotemacs dotemacs Public archive

   Emacs configuration

   Emacs Lisp 1

6. tt101 tt101 Public archive

   Type-theory 101. Integers, booleans, lists, vectors and some proofs about their properties

   Agda 1