Patrick Ferris

sesame. A site generator in OCaml 🐫 (OCurrent pipelines too)

omditor. Irmin-based Markdown Editor

ppx_deriving_yaml. OCaml types to Yaml types and back again

ocaml-search. Simple, in-memory, monomorphic and heterogeneous search indexes in OCaml

hilite. Hilite - a simple code to HTML syntax highlighter

try-eio. Try OCaml Effects and Eio in your browser

jsoo-mithril. Js_of_ocaml bindings for MithrilJS

ocaml-cid. Content-addressed identifiers in OCaml

ni-forests. A little project exploring Forests in Northern Ireland

riscv-o-spec. An OCaml extension for RISC-V

ocaml-stun. Pure & Incomplete STUN protocol in OCaml

ocaml-multicore-monorepo. Vendor all the things for a quick way to get up and running with Multicore OCaml!

ppx_deriving_graphql. Deriving GraphQL schema and argument values from OCaml types

jsoo-reload-example. A simple jsoo reloading example

jsoo-p5. Js_of_ocaml bindings for the p5.js library

irmin-socket. Some fun with creating little collaborative browser things...

gatsby-starter-notes. Gatsby starter for creating notes organised by subject and topic

try-irmin. For when I forget how Irmin works...

jsoo-todo-mvc. A comparison of Js_of_ocaml libraries for building reactive UIs

eiojsoo. OCaml

patch. Diffing and patching OCaml values

eios. Effects on iOS

ocaml-ipld. Pure OCaml Inter Planetary Linked Data

hazel_of_ocaml. OCaml

hirmin. Somewhat heterogeneous Irmin stores

ocaml-variorum. OCaml bindings to Varorium

opam-github-workflow. An opam-plugin and library for making Github Action workflows

ppx_deriving_brr. OCaml

machinelearning. Jupyter Notebook

ocaml-did. Decentralized Identifiers for OCaml

blog-posts. A repo for all of the code I use in my blogposts

irmin-book. JavaScript

ocaml-atproto-lexicon. Generating OCaml code from AT Protocol Lexicon files

ocaml-multibase. Self-identifying base encodings for OCaml

neio. OCaml

irmin-browser-tests. Testing various Irmin backends in the browser

aperitif. Exploring various effect-based OCaml schedulers

hl-mc. Part II Cambridge Course: Hoare Logic & Model Checking