ocaml

Pure OCaml regular expressions, with support for Perl and POSIX-style strings

Experimental web framework for ReasonML & OCaml

minimalistic secure XMPP client in OCaml

🌒 A TUI for GitHub

Static analysis framework for C

Reference implementation for Writing a C Compiler

Scilla - A Smart Contract Intermediate Level Language

😎TT

Fullstack Reason + GraphQL Todo List App

Examples of simple MirageOS apps

A Mirage firewall VM for QubesOS

OCaml debug adapter

Terminal manipulation library for OCaml

GitHub Action for the OCaml programming language

A REST toolkit for OCaml

"Between the darkness and the dawn, a red cube rises!": a proof assistant for cartesian cubical type theory

Web library for OCaml with support for HTTP/1.X / HTTP/2

Contextual types meet mechanized metatheory!

Express bindings in Reason

An Elm to OCaml compiler

Type-safe markup rendering, form validation, and routing for OCaml Dream web framework

An OCaml custom runtime for AWS Lambda and Vercel

⚡️ High-level, High-performance HTTP(S) Clients/Servers in Reason/OCaml

A static parser for POSIX Shell

Documentation of everything relevant in the OCaml world

A Protobuf Compiler for OCaml

Release snapshots of the Frama-C platform for source code analysis

Typed Regular Expressions

YOCaml is a static site generator, mostly written in OCaml

Build valid HTML and SVG documents

A cheat sheet for ReasonML -- WIP

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

An extension for VS Code which provides support for the OCaml language.

Quick Start / Sample Revery Application

Turn opam-based OCaml projects into Nix derivations

Albatross: orchestrate and manage MirageOS unikernels with Solo5

An automatic theorem prover in OCaml for typed higher-order logic with equality and datatypes, based on superposition+rewriting; and Logtk, a supporti...

:sparkles::turtle: Dead simple tool for seamlessly integrating ReasonML into existing JavaScript projects.

Interfacing Qt/QML with OCaml. Formely known as lablqt

A demo project that shows a fullstack ReasonML/OCaml app–native binary + webapp

An ML-like statically-typed Erlang

A compiler from ML to C++ template language

Preface is an opinionated library designed to facilitate the handling of recurring functional programming idioms in OCaml.

Keeps things up-to-date (a CI/CD pipeline OCaml eDSL)

A high-level language for Dune Network (and Tezos) with OCaml and ReasonML syntaxes, with a decompiler from Michelson

Purely functional data structures for OCaml, translated from Chris Okasaki's book "Purely Functional Data Structures"

OCaml-bindings for the PostgreSQL database

Syntax extension for writing SQL in OCaml

Error-recovering streaming HTML5 and XML parsers

typed bidirectional router for OCaml/ReasonML web applications