ocaml

Personal data silos with secure sharing

OCaml library for partially ordered maps

A stream processing language and compiler for small-scale monitoring

OCaml parsers for multiple key formats

agrid is an OCaml library for adjustable grids. Adjustable grids are two dimensional arrays whose width/height can be changed by adding or removing ro...

OCaml preprocessor to derive factory methods and default values from type definitions

A simple diff algorithm in pure OCaml

Rockstar interpreter in OCaml

An implementation of Linear Lambda Calculus.

Look at https://github.com/anuragsoni/shuttle_http instead

Get the size of the attached terminal in OCaml

Implementation of the Lox language in OCaml

[@@ deriving] plugin to generate make functions.

Library for tokenizing code with TextMate grammars

Benchmarks for different streaming models: iterators, generators, sequences, transducers, etc.

A debugger for Michelson

A simple note-taking app

A command line comic reader and collection manager

A build system.

telnet protocol in OCaml

Apprenez à developper en ReasonML en faisant un jeu vidéo !

OCaml SDL2_image bindings to go with Tsdl

UDP-only netcat implementation with OCaml / MirageOS

List of cryptocurrencies and smart contracts using functional programming languages

WebSocket server implementation of OCaml

WIP IndieWeb blog engine

Design-by-contract programming for JavaScript and ReasonML

MirageOS IRC daemon.

Automatic Differentiation: FADBAD++ for OCaml

Enables HTTP file uploads and form processing in OCaml web applications.

🍯 Sweet simple static site generator with Dune vibes

The Cubicle model checker

Lox language implemented in OCaml

Fire Emblem themed pass & play browser chess game, implemented in ReScript

A project which aim to help engineers to make proves easily

Ocaml kernel for Jupyterlite

A collection of high-quality Advent of Code solutions. Focus on optimization, clean code, and detailed editorial explanations.

A domain-specific language that generates TypeScript backend + React frontend from a single spec

Tools for migrating away from Lwt

Mostly Automated Proof Repair for Verified Libraries

Typed CSS AST, parser, pretty-printer, and optimiser for OCaml

Overlay over bigarrays of chars

An experimental implementation of (extended) featherweight-java (FJ) written in OCaml.

OCaml plugin for ASDF version manager

Test::Simple, for OCaml

A GraphQL client written in OCaml and JavaScript

OCaml binding to LXC with idiomatic (and opionated) OCaml API design

Comparison and ordering of ReasonML/OCaml values.

[WIP] A functional programming language based on Coeffect Calculus and Graded Modal Type Theory.

Animation Framework