Explore projects
-
An executable formal semantics of PHP 5
Updated -
-
Updated
-
Updated
-
Updated
-
dHCP fork from the original bitbucket xnat repo https://bitbucket.org/xnatdev/xnat-web
Updated -
Updated
-
Updated
-
-
-
Simple Spring MVC Webapp example for use demonstrating CI/CD
Updated -
temporal project where I do my unassessed haskell exercises
Updated -
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.
Updated -
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.
Updated -
-
-
A RC quadcopter flight controller for Arduino with an Android client
Updated -
Updated