ocaml

MQTT client for OCaml

A CHIP8 emulator written in OCaml

OCaml HTTP Microframework

Algebraic structures in OCaml.

Learning Reason/OCaml by making an old-school canvas game.

Passphrase entry utility that aims to defeat hardware keyloggers and low-resolution spy cameras

[WIP] Pure OCaml bindings to the X11 protocol

Like the Programming Languages Zoo but with esoteric languages.

:construction: A small imperative language that I'm writing while reading the Modern Compiler Implementation in ML by A. Appel.

Contract Metadata Viewer on Tezos

Type-level rational puzzles in OCaml

Synonym of angkor

BuckleScript bindings for Lwt

A statically generated webring with YOCaml, because we love small-web

Pásame el Código es una web open source con apuntes y ejercicios resueltos de las diferentes asignaturas que componen el Grado de Enxeñería Informátic...

Foundry Compiler

Learn CS by doing!

WiP: RFC 4880 (OpenPGP) library and utilities in OCaml

Proof of concept to generate safe and fast JavaScript

Python constraint programming library

An easy functional Web app micro framework.

OCaml parser for RFC 3164 Syslog messages

Formally verified Coq serialization library with support for extraction to OCaml

Elliptic curve library secp256k1 wrapper for Ocaml

NumLin: Linear Types for Linear Algebra

Read manga from the comfort of your terminal

Compositional JSON encode/decode library and PPX for Melange and OCaml

A small router to write easily single-page-app in Js_of_ocaml

DEPRECATED. We recommend Jane Street's dune (formerly jbuilder).

A timetracker and a page generator

a byte-sized time series database

chess library in reason for cross platform game dev

OCaml bindings for the PKCS#11 cryptographic API

Create Dash docsets from Odoc generated documentation.

Easy to use and user-friendly topological sort module for OCaml

Address resolution protocol (ARP) implementation in OCaml targeting MirageOS

runtime library and code-generator for BARE (https://baremessages.org/)

Experimental model finder/SMT solver for functional programming.

HTTP/1.1 server and client for ocaml (using Async)

Interpreter of the ITGL with dynamic type inference

camels game

OCaml module for native access to the systemd facilities

Reason React with editable source and live preview

Work-in-Progress collection of examples of using MirageOS from OCaml

Kubernetes API client for OCaml

Transactions, Keys, and Values

Todo App implemented in js_of_ocaml

Minimalistic logic programming framework

[MIRROR] Ultimate Ocaml Editing Mode

🧊 kado カド: Cofibrations in Cartesian Cubical Type Theory