johnyob

grace

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

dromedary

Dromedary is an experimental subset of OCaml, using constraint-based type inference!

University-Notes

A complete collection of my undergraduate notes

ppx-template

An opinionated GitHub template for OCaml PPX extensions 🐪

ppx-matches

PPX syntax for Rust's `matches!` in OCaml 🐪

ocaml-optimizer

Implementation of various analyses and optimizations on 3-address codes

tsc

Bidirectional type checker for TypeScript (in OCaml 🐪)

ocaml-worker

OCaml template for Cloudflare Workers 👷‍♂️🐪

modd

Modd is a minimal ML with modes using constraint-based type inference!

breathalyzer

A simple test framework for Ligo Lang

Camomile

A Unicode library for OCaml

compbolt

An interpreter and compiler explorer for various models of computation

core_kernel

Jane Street's standard library overlay (kernel)

eio

Effects-based direct-style IO for multicore OCaml

hermit-kernel

A Rust-based, lightweight unikernel.

landmarks

A Simple Profiling Library for OCaml

linol

Wrapper around the OCaml `lsp` library to make it easier to write LSP servers

ocaml

The core OCaml system: compilers, runtime system, base libraries

ocaml-ci

A CI for OCaml projects

ocaml-cohttp

An OCaml library for HTTP clients and servers using Lwt or Async

ocaml-typing-benchmark

Benchmarking the OCaml type checker

ocplib-endian

Optimised functions to read and write int16/32/64 from strings, bytes and bigarrays, based on primitives added in version 4.01.

opam-nix

Turn opam-based OCaml projects into Nix derivations

opam-repository

Main public package repository for opam, the source package manager of OCaml.

opam2nix

Nix integration for OPAM packages

pp_loc

ppx-effects

PPX syntax for untyped effects in OCaml 5.0

qcheck

QuickCheck inspired property-based testing for OCaml.

training-dapp-2

Training n°2 for decentralized application

website

My personal website built in OCaml using Dream 🐫