Explore projects
-
A RC quadcopter flight controller for Arduino with an Android client
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 -
-
temporal project where I do my unassessed haskell exercises
Updated -
-
-
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; }Updated -
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.
Updated -
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!
Updated -
ptb14 / Endorob
MIT No AttributionUpdated -
-
Updated
-
Updated
-
A cutdown version of part2 of my mailing list flattening C example, a specialised form of the general "computing transitive closures of a directed graph" method
Updated -
This is the official repository for Graphics 317. It contains the framework and description. Submission is via CATE.
Updated -
-
Updated
-
Written in C, this is a tiny compiler for a miniscule Haskell subset (essentially, Int -> Int functions) to Dafny translator. So many C tools (Yacc, Lex, my datadec, generic modules etc) used, only about 20% of the code is human-written.
Updated