Explore projects

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!

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

MetamorphicCL, a compiler testing tool for OpenCL

Provided files for the Linkload exercise.

Provided files for the Linkload exercise.

This is a fork of the kstart provided by Russ Allbery at http://www.eyrie.org/~eagle/software/kstart/ with minor tweaks to enable the static compilation for HTCondor using condor_compile and the static Heimdal Kerberos 5 libs.

Dan Liew's personal KLEE-CL repo.

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.

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

This is the official repository for Graphics 317. It contains the framework and description. Submission is via CATE.

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

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.