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!

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.

Analyzer for CMSSW HGC flat trees

provided files for the WACC project (in C)

Skeleton files for the C++ Concurrent Sieve of Eratosthenes tutorial exercise

Skeleton files for the C++ Concurrent Sieve of Eratosthenes tutorial exercise

A Specification-Close Reference Interpreter for ECMAScript. Backup/departmental testing repository for https://github.com/jscert/jsexplain

DoCitten: The Cutest IRC bot ever [citation needed]

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

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.

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.

Pancake numbers are an obscure number theory sequence, defined as:

pancake(n) = smallest number of "pancake stack flips" to get the worst case stack-of-n-pancakes sorted. p(1)=0; p(2)=1 [casse ba], p(3)=3]; p(18) unknown

A collection of C ADTs (hash:str->str; longhash:str->long; intlist: list(int); strlist: list(str); set:str->boolean)

Dan Liew's personal KLEE-CL repo.