ocaml

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

Scilla - A Smart Contract Intermediate Level Language

🌒 A TUI for GitHub

Fullstack Reason + GraphQL Todo List App

GUI library for ocaml based on SDL2

😎TT

Static analysis framework for C

Examples of simple MirageOS apps

A Mirage firewall VM for QubesOS

OCaml debug adapter

Reference implementation for Writing a C Compiler

OCaml bindings for raylib and raygui

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

Express bindings in Reason

An Elm to OCaml compiler

Contextual types meet mechanized metatheory!

An OCaml custom runtime for AWS Lambda and Vercel

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

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

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

A cheat sheet for ReasonML -- WIP

Typed Regular Expressions

Build valid HTML and SVG documents

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

Quick Start / Sample Revery Application

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

Interfacing Qt/QML with OCaml. Formely known as lablqt

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

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

Albatross: orchestrate and manage MirageOS unikernels with Solo5

YOCaml is a static site generator, mostly written in OCaml

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

A compiler from ML to C++ template language

An ML-like statically-typed Erlang

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

Syntax extension for writing SQL in OCaml

OCaml-bindings for the PostgreSQL database

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

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

Turn opam-based OCaml projects into Nix derivations

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

Error-recovering streaming HTML5 and XML parsers

typed bidirectional router for OCaml/ReasonML web applications