mCRL2 Toolset "mCRL2 is a formal specification language with an associated toolset. The toolset can be used for modelling, validation and verification of concurrent systems and protocols." -
Soundness Prover This is a proof of concept for my paper Automating Soundness Proofs. It takes an SOS specification S, a definition of relation R and an (in)equality e and tries to prove that e satisfies R in S.
CHDK I ported the CHDK to the Canon IXUS 870 IS and have written some documentation to (hopefully) help future porters to get started. I've also made a PTP interface for CHDK to allow for more extensive control over the camera via the computer.