-
University of Cambridge
- United Kingdom
- ajo41.dev
Stars
Zero heap allocation HTTP server using OxCaml. v experimental!
Statistical analysis of OCaml compiler compilation time
A Tufte-inspired LaTeX class for producing handouts, papers, and books
Terrateam is open-source GitOps infrastructure orchestration. It integrates with GitHub to automate Terraform, OpenTofu, CDKTF, Terragrunt, and Pulumi workflows through pull requests.
A fancy diagnostics library that allows your compilers to exit with grace
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 and OCaml