Research tools
Tools
-
HOG
A tool for constructing structures generated by higher-order recursion schemes and collapsible pushdown automata. It is also a pedagogic tool for teaching Game semantics and the theory of traversals (cf. my DPhil thesis).
Screenshot | Brief manual [pdf] | Binary [zip] | F#/OCaml sources [zip] (Requires .NET 2.0). -
SCT
A termination analysis tool for a Core ML subset based on size-change termination.
Download sources (OCaml) [tar.gz] | Manual (MSc dissertation) [pdf]
This tool was developped as part of my Master project on Termination analysis of lambda calculus and a subset of core ML. See the dissertation thesis for explanations on how to use the tool.
Extras
-
Omake rules for C# and F#
I have created some useful rules to compile C# and F# projects using the OMake build system.
OMake rule files [zip]
