Explore projects

Skeleton files for the True Concurrency Tutorial: Concurrent Sieve of Eratosthenes

Skeleton files for the True Concurrency Tutorial: Concurrent Sieve of Eratosthenes

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

3D Perception and human-in-the-loop motion planning for obstacle avoidance in ENHANCE setup.

temporal project where I do my unassessed haskell exercises

A replication of the question from the Architecture exam.

A RC quadcopter flight controller for Arduino with an Android client

First order logic parser and evaluator in C

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.

A stack-based interpreted programming language in C.

Code and Results for the poster submitted at Sensys 2018

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.

Implements the long awaited client-side of datadec: given datadec types like "expr = num(int n) or ...", let us write:

%when expr e is num(n) { return n; }

In LinkedIn's Plain Old C Programming group in , John Coloccia asked about whether "namespaces" would be a good idea for C. He explained that he meant some form of modularity, and I thought I've have a play - this is the result! A module generator!

An attempt to graft some form of C++-style namespaces into C ("C with namespaces: aka C+N") via another simple-minded pre-processor/translator that could be built in a matter of hours.

MetamorphicCL, a compiler testing tool for OpenCL