This website is currently under construction.
I am actively developing and maintaining the following programs:
- The Kappa Trace Query Language: a domain-specific language for analyzing Kappa simulation traces.
- The Kappa Counterfactual Resimulator: a program and library to sample counterfactual traces in Kappa.
- Kaflow: a program to generate causal summaries of Kappa traces.
- Asciimath compiler: a compiler from a variant of asciimath to LaTex, written in Haskell.