Skip to content
View johnyob's full-sized avatar
🐪
Hacking on OCaml
🐪
Hacking on OCaml
  • University of Cambridge
  • United Kingdom

Block or report johnyob

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

Zero heap allocation HTTP server using OxCaml. v experimental!

OCaml 121 4 Updated Jan 25, 2026

Statistical analysis of OCaml compiler compilation time

OCaml 9 1 Updated Apr 10, 2025

A Tufte-inspired LaTeX class for producing handouts, papers, and books

TeX 1,858 321 Updated Jul 14, 2024

Terrateam is open-source GitOps infrastructure orchestration. It integrates with GitHub to automate Terraform, OpenTofu, CDKTF, Terragrunt, and Pulumi workflows through pull requests.

OCaml 1,205 63 Updated Mar 24, 2026

A fancy diagnostics library that allows your compilers to exit with grace

OCaml 89 5 Updated Mar 23, 2026

TeXpresso: live rendering and error reporting for LaTeX

C 686 33 Updated Mar 23, 2026

Various examples of tools using OCaml structured diagnostics

OCaml 2 Updated Mar 5, 2026

Agda mechanisation of the University of Cambridge Semantics of Programming Languages course

Agda 12 1 Updated Feb 28, 2026
OCaml 52 1 Updated Jul 31, 2025

Docker images for the Nix package manager

Nix 302 39 Updated Apr 2, 2022

A complete collection of my undergraduate notes

34 1 Updated Jun 13, 2022

A small Typst package for quick and easy in-document word counts.

Typst 46 3 Updated Sep 3, 2025

A library for defining Rpcs that can evolve over time without breaking backward compatibility.

OCaml 5 Updated Jan 15, 2026

Ppx extension for generating of_string & to_string

OCaml 8 Updated Jan 15, 2026

Notes on OCaml debugging and performance

JavaScript 16 Updated Jan 29, 2026

An engine for displaying slips, the next-gen version of slides

OCaml 805 18 Updated Mar 21, 2026

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…

Rust 141 25 Updated Mar 23, 2026

conditional compilation via attributes for OCaml

OCaml 29 3 Updated Apr 30, 2024

Algebraic effects for Rust

Rust 656 21 Updated Jun 30, 2024

JavaScript runtime and compute platform build on Tezos Smart Rollups

Rust 45 13 Updated Mar 5, 2026

OCaml linter

OCaml 86 10 Updated Mar 1, 2026

Build OCaml projects with Nix.

OCaml 59 1 Updated Dec 17, 2025

Nix, the purely functional package manager

C++ 16,405 1,871 Updated Mar 24, 2026

First-class subtypes for OCaml

OCaml 7 Updated Jul 31, 2023
OCaml 280 9 Updated Nov 24, 2025
Coq 5 1 Updated Dec 12, 2023
OCaml 358 8 Updated Jul 6, 2025

Emojis in OCaml, use them in your CLIs or whatever

OCaml 28 5 Updated Sep 29, 2025

Native implementation of React's Server-side rendering (SSR) and React Server Components (RSC) architecture for Reason and OCaml

OCaml 170 15 Updated Mar 22, 2026
Next