ocaml

ML's radishal Universal Levenshtein Automata library.

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

Imandra Modelling Language CME MDP Model

bindings to gnuplot (fork of https://bitbucket.org/ogu/gnuplot-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.

An tree-walking interpreter for a subset of the Lox programming language from "Crafting Interpreters" written in OCaml

Binding to the WiringPi library

Unix core platform libraries for MirageOS

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

Drop some lyrics and highlights the rhymes with colors

Library to read metadata from files in various formats.

6502 chip simulator in OCaml

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

Generate CloudFormation templates with OCaml

Cat photo storage

Advent of Code - All Years - Blazingly Fast

S-tier S-Expression serialization & deserialization for JavaScript powered by OCaml 🐫✨

OCaml bindings for the GStreamer multimedia framework.

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

ocaml lwt based websocket library

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

OCaml-containers core for BuckleScript.

Attendance tracking webapp - ReasonML frontend/Rust backend - work task automation

OCaml client bindings for FoundationDB

A BuckleScript NPM package boilerplate

HMAC-based Extract-and-Expand Key Derivation Function (HKDF) (RFC 5869)

The reference compiler for the Brick language

CSS Typed functional interface in jsoo, bindings to inline styles and emotion

POC aimed to evaluate the deterministic approach of Calvin for distributed transactions.

OCaml implementation of Fiat-Shamir Zero Knowledge Proof system as a client/server authentication protocol

[wip] Proof format and checker for first-order and higher-order theorem provers

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

[wip] A LCF-style kernel of trust intended for certified ATP and proof checking for FOL/HOL.

OCaml bindings to the NLOpt optimization library

Utility to automate downloads of torrent series

My solutions to ProjectEuler problems in OCaml. Don't spoil yourself, please!

🍅 🐪 Socket-based CLI timer following the Pomodoro principles, written in OCaml.

OCaml bindings to Minisat

Constrained Application Protocol (RFC 7252) implementation for OCaml.

It's a pastebin, okay?

A random generator of Lua programs

Static site generator

S-Expression parsing and matching for OCaml.

Generates calendars in SVG, that you can convert to PDF and print.

Staged regular expression library for MetaOCaml

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

ppx_system is a syntax extension to known operating system at compile time