ocaml

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

OCaml bindings for batsat (https://github.com/c-cube/batsat)

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

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

[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

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

A tiny command line bookmark manager.

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

Educational relational DBMS

Wrapper to Equinix API - Archived

Standalone project for OCaml Multiple Choice Question

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...

Code resources from John Harrison's "Handbook of Practical Logic and Automated Reasoning"

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.

The compiler for the space programming language. The frontend generates LLVM IR, supports the Object Oriented programming paradigm and has some functi...

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

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

OCaml PPX extension for automatically generating Irmin types