Popular repositories Loading

1. project-euler project-euler Public

   Random attempts on project Euler.

   Java

2. icfp-2014 icfp-2014 Public

   ICFP 2014

   Haskell

3. pushbots pushbots Public

   Forked from Kandiie/pushbots

   A Ruby interface to the PushBots API

   Ruby

4. opentype.js opentype.js Public

   Forked from opentypejs/opentype.js

   Read and write OpenType fonts using JavaScript.

   JavaScript

5. Permissions Permissions Public

   Forked from resource-reasoning/Permissions

   A first-order theory of permissions

   Coq

6. py-microdots py-microdots Public

   Forked from cheind/py-microdots

   A modern Python library to work with Anoto dot patterns.

   Python