Explore projects

AppManager: Take control over your apps

temporal project where I do my unassessed haskell exercises

An executable formal semantics of PHP 5

UnID or Unified Identification is a smart way of storing and sharing just the data you need to use, through your phone, a special card or a web server. It should provide convenience and security through the use of blockchains.

DoCitten: The Cutest IRC bot ever [citation needed]

concurrentNineTails from catchup class