ocaml

The Cubicle model checker

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

A project which aim to help engineers to make proves easily

Library to read metadata from files in various formats.

This crate provides automatic generation of OCaml bindings. Refer to the rustdoc for more information.

A build system.

Ocaml kernel for Jupyterlite

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

Advent of Code - All Years - Blazingly Fast

A micro compiler for the FORTH programming language

Scripting language for creating Minecraft servers without Spigot. https://lang.swofty.net

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-containers core for BuckleScript.

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

ML's radishal Universal Levenshtein Automata library.

Correctness proof of the Huffman coding algorithm in Coq [maintainer=@palmskog]

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

bindings to gnuplot (fork of https://bitbucket.org/ogu/gnuplot-ocaml/)

A model-based QuickCheck test of ptrees (Patricia trees)

Lox language implemented in OCaml

A HTTP client relying solely on the OCaml standard library, for use when bootstrapping opam

Algebraic protocol buffers

ppxlib simple example, minimal boilerplate to write a ppx. Using esy and alcotest for testing.

This repo contains basic Ocaml code examples.

Binding to the WiringPi library

Unix core platform libraries for MirageOS

It's a pastebin, okay?

Tina, a programming language with typed algebraic effects and handlers.

Monte Carlo tree search for the travelling salesman problem (MCTS for the TSP)

Drop some lyrics and highlights the rhymes with colors

Nix integration for OPAM packages

6502 chip simulator in OCaml

View patterns in OCaml

Generate CloudFormation templates with OCaml

Cat photo storage

OCaml bindings for the GStreamer multimedia framework.

Official OCaml port of Sqids. Generate short unique IDs from numbers.

A simple type-theoretic language in OCaml: Mini-TT

🐪 An OCaml driver for Timeplus Proton timeseries streaming database

A Versatile OCaml Library for Git Operations

Observable LC3 Virtual Machine

MASC - Multi-Agent Streaming Coordination in OCaml

ocaml lwt based websocket library

ocaml code traspiled by bucklescript to javascript runnable in aws lambda with serverless framework