Stars
TeXpresso: live rendering and error reporting for LaTeX
Various examples of tools using OCaml structured diagnostics
Agda mechanisation of the University of Cambridge Semantics of Programming Languages course
A complete collection of my undergraduate notes
A small Typst package for quick and easy in-document word counts.
A library for defining Rpcs that can evolve over time without breaking backward compatibility.
Ppx extension for generating of_string & to_string
Notes on OCaml debugging and performance
An engine for displaying slips, the next-gen version of slides
Sets of libraries and tools to write applications and libraries mixing OCaml and Rust. These libraries will help keeping your types and data structures synchronized, and enable seamless exchange be…
conditional compilation via attributes for OCaml
JavaScript runtime and compute platform build on Tezos Smart Rollups
Emojis in OCaml, use them in your CLIs or whatever
Native implementation of React's Server-side rendering (SSR) and React Server Components (RSC) architecture for Reason
A new markup-based typesetting system that is powerful and easy to learn.