Explore projects

ANSI C data declaration module constructor: Datadec transforms a series of Haskell style recursive (or inductive) datatype declarations into a C module to implement them.

For the Basic Turtle Language

A RC quadcopter flight controller for Arduino with an Android client

Repository containing the implementations and data of the PhD thesis of Davide Cavezza

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.

YEET Electronic Education Tool language for the YEET