ocaml

C-style preprocessor for OCaml

Purely functional SSH library in ocaml.

Static analysis of IEC 61131-3 programs

Lwt Translations of the Async Code Examples in Real World OCaml

A modular sat/smt solver with proof output.

My personal website

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

: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

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

gRPC library for OCaml

Template for an ocaml project with modern tooling

Simple C Compiler in OCaml

Simple hash algorithms in OCaml

A curated list of awesome functional programming jobs.

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

OCaml functional web scraping library

Pure OCaml Wayland protocol implementation

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

TLS tunnel -- an alternative to stud / stunnel

A neat interface for Slack

mustache.js logic-less templates in OCaml

A pure OCaml Gameboy emulator

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

OCaml library for TOML

Udon C Compiler: C compiler for our original CPU

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

ZeroMQ bindings for OCaml

EGraphs in OCaml

Commodity thread pools and concurrency primitives for OCaml 5

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.

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

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

Simple UI framework written in Reasonml.

OCaml runtime and FFI bindings directly in Rust

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

Teaching language LaMa for a compiler course