~ Experiments ~
-
Omditor
Omditor is an experiment to provide offline-first, markdown document editing. The idea being to use Irmin's mergeable datatypes to provide a means of resynchronising a central store with completely independent copies of the store on different devices belonging to different people. The README of the project provides more detail about how it all works.
-
Northern Irish Forests
The "Northern Irish Forests" experiment was done during COP26 as an opportunity to learn a bit more about the current situation of various habitats in Northern Ireland. Simultaneously it was a chance to try using a brr ppx along with a brr-flavoured lwd library for reactive programming in the browser using pure OCaml. A text-only version of the site is here.
~ Posts ~
-
Escaping Effects
A quick post detailing the issues of vertically stacked effect handlers in OCaml 5. Something that has bitten me a couple of times now.
-
A Short Introduction to RISC-V
A look at the reduced instruction set architecture with an open-specification called RISC-V. This was written after extracting bits and pieces from my undergraduate project at Cambridge on extending RISC-V to support OCaml-specific instructions.
~ Papers ~
-
Experiences with Effects (OCaml Workshop 2021 at ICFP)
Thomas Leonard, Craig Ferguson, Patrick Ferris, Sadiq Jaffer, Tom Kelly, KC Sivaramakrishnan, Anil Madhavapeddy
-
Identification of Patient Prescribing Predicting Cancer Diagnosis Using Boosted Decision Trees
Josephine French, Cong Chen, Katherine Henson, Brian Shand, Patrick Ferris, Josh Pencheon, Sally Vernon, Meena Rafiq, David Howe, Georgios Lyratzopoulos, Jem Rashbass