ocaml

Experiment on how to bootstrap the OCaml compiler

C-style preprocessor for OCaml

Purely functional SSH library in ocaml.

Lwt Translations of the Async Code Examples in Real World OCaml

A modular sat/smt solver with proof output.

Algebraic, staged parsing for OCaml: typed, compositional, and faster than yacc

Static analysis of IEC 61131-3 programs

My personal website

:rocket: Transform a mutable tree into a functional React-like API

GADT lenses

Web server in OCaml.

OCaml grammar for tree-sitter

A React binding for (OCaml | ReasonML) + BuckleScript with compile time enforcement of the "Rules of Hooks". Live Examples: https://reaml.netlify.com

:alarm_clock: A simple and customizable timer

A ppx rewriter for CSS expressions.

A simple OCaml client for Google Services.

RFC3986 URI parsing library for OCaml

OCaml linter

gRPC library for OCaml

Ppx_deriving plugin for generating command line interfaces from types (Cmdliner.Term.t)

Simple C Compiler in OCaml

Template for an ocaml project with modern tooling

Simple hash algorithms in OCaml

Dolmen provides a library and a binary to parse, typecheck, and evaluate languages used in automated deduction

A curated list of awesome functional programming jobs.

OCaml functional web scraping library

Minimal HTTP server written in direct style, with a small request router, compression, SSE, websockets.

Pure OCaml Wayland protocol implementation

TLS tunnel -- an alternative to stud / stunnel

A neat interface for Slack

mustache.js logic-less templates in OCaml

An OCaml editor, top level, and learning place for iOS, iPadOS and macOS

A pure OCaml Gameboy emulator

OCaml library for TOML

Udon C Compiler: C compiler for our original CPU

ZeroMQ bindings for OCaml

Commodity thread pools and concurrency primitives for OCaml 5

EGraphs in OCaml

An example app made with Create React App which introduces a Reason component

PhD research ;; What's the difference between a typeclass/trait and a record/class/struct? Nothing really, or so I argue.

Ocsigen-start: Higher-level library to develop Web and mobile applications with users, (pre)registration, notifications, etc.

Cryptographic primitives for OCaml, in OCaml (also used in MirageOS)

Simple UI framework written in Reasonml.

OCaml runtime and FFI bindings directly in Rust

🔎 A simple and intuitive find & replace command-line interface.

print nested boxes, lists, arrays, tables in several formats

An SMT solver frontend for OCaml

Almost sound Promises for Bucklescript

Reference of basic commands to get comfortable with OCaml.

An opinionated implementation of the OpenVPN protocol