Pedro da Rocha Pinto's repositories
icfp-2014
ICFP 2014
Language:Haskell000
opentype.js
Read and write OpenType fonts using JavaScript.
Language:JavaScriptMIT000
Permissions
A first-order theory of permissions
Language:Coq000
project-euler
Random attempts on project Euler.
Language:Java000
pushbots
A Ruby interface to the PushBots API
Language:RubyMIT000
py-microdots
A modern Python library to work with Anoto dot patterns.
Language:PythonMIT000