Popular repositories Loading

1. chemlambda-hask chemlambda-hask Public

   A set of tools for building graph rewriting systems and more specifically, working with the chemlambda rewrite model of computation.

   Haskell 11 2

2. dotlink dotlink Public

   A lightweight dotfile manager.

   Python 7

3. learning-lisp learning-lisp Public

   Starting off as a Javascript programmer, I've gained a lot of knowledge. Though I don't feel that I ever really took the time to learn from a fundamental and pure starting. I want to change that by…

   Common Lisp 1

4. autolink autolink Public

   JavaScript 1

5. dotfiles dotfiles Public

   No longer being updated. Check synergistics/dots for current dotfiles

   Vim Script 1

6. synquid synquid Public

   Forked from nadia-polikarpova/synquid

   Haskell 1