ocaml

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

[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

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

Constrained Application Protocol (RFC 7252) implementation for OCaml.

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

A tiny command line bookmark manager.

Educational relational DBMS

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

Wrapper to Equinix API - Archived

Standalone project for OCaml Multiple Choice Question

A Constraint Solver

OCaml bindings to the number theory library PARI/GP

A curated list of Awesome Functional Programming resources for Arduino and other microcontrollers. (Arduino, Adafruit, ESP32, ATmega, TI MSP430, STM32...

Example project using esy and reason

Parallel all-pairs similarity search algorithms in ocaml #ocaml

Unofficial OCaml Standard Library Docs - Modern Theme

compatibility package for the standard OCaml iterator type

Installation utilities for Cygwin - primed for Reason/OCaml

Efficient bit-string type along with containers to partition data on variable-length bit-strings.

Official Chrome and Firefox extension for Rung notifications of alerts

TLS client program

Implementation of some Erlang primitives in OCaml

BuckleScript bindings for the Phoenix.js client

[WIP] A small framework to build "electron app" using OCaml via Js_of_ocaml

Ann Arbor Functional Programming User Group

OCaml bindings for TensorFlow Eager mode

ReasonML helpers for generating cmp functions.

🌘A Higher Contrast Version of the Popular Zenburn Theme for Visual Studio Code

OCaml PPX extension for automatically generating Irmin types

OCaml bindings to the GDAL and OGR Libraries

A secret project to produce a Kwisatz Haderach, perfect OCaml code that would bridge time and space, through selective breeding and linting. But mostl...

ElasticSearch Guided (code) Generator

Refinement types encoded with private types in OCaml. :roll_eyes: :camel: :microscope: :books:

A Commitment Scheme library for Coin Flipping/Tossing algorithms and sort. :four_leaf_clover: :camel: :lock: :key:

Web IDL parser of OCaml

Logging module for OCaml