ocaml

GADT lenses

Purely functional SSH library in ocaml.

OCANNL: OCaml Compiles Algorithms for Neural Networks Learning

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

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

A modular sat/smt solver with proof output.

:alarm_clock: A simple and customizable timer

Web server in OCaml.

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

Nitrokey NetHSM system software

A ppx rewriter for CSS expressions.

RFC3986 URI parsing library for OCaml

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

Static analysis of IEC 61131-3 programs

A simple OCaml client for Google Services.

Simple C Compiler in OCaml

Template for an ocaml project with modern tooling

Simple hash algorithms in OCaml

OCaml grammar for tree-sitter

OCaml functional web scraping library

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

gRPC library for OCaml

Pure OCaml Wayland protocol implementation

OCaml linter

A neat interface for Slack

mustache.js logic-less templates in OCaml

A pure OCaml Gameboy emulator

A curated list of awesome functional programming jobs.

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

TLS tunnel -- an alternative to stud / stunnel

Udon C Compiler: C compiler for our original CPU

Minimal HTTP server using good old threads + blocking IO, with a small request router.

OCaml library for TOML

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

ZeroMQ bindings for 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.

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

Simple UI framework written in Reasonml.

Easy to use Makefile for small to medium-sized OCaml-projects

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

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

An opinionated implementation of the OpenVPN protocol

OCaml runtime and FFI bindings directly in Rust

Reference of basic commands to get comfortable with OCaml.

EGraphs in OCaml

Almost sound Promises for Bucklescript

Teaching language LaMa for a compiler course

Build reactive web interfaces with signals.

Commodity thread pools and concurrency primitives for OCaml 5