ocaml

📐Reason/OCaml rules and tools for Bazel

An automatic require loader for OCaml toplevels

CUID generator for OCaml. :id: :camel: :1234: :gear:

OCaml package to produce JUnit xml reports

Chemoinformatics tool for ligand-based virtual screening

Solo5 core platform libraries for MirageOS

WiP image viewer using MirageOS

Map à la Binary Radix Tree

A prototype of Concolic Testing engine for SystemVerilog, developed as part of PFN summer internship 2018.

A template repo demonstrating OCaml tooling and testing

OCaml bindings for OpenAI API

A dialect of Lisp that designed for Minecraft Bedrock Command System.

A simple HTTP client for OCaml 5

Type-safe Tailwind CSS in OCaml - A lightweight utility-first CSS generation library with prose typography support, responsive modifiers, and minima...

Reactive signals for OCaml.

Reason binding generator for react-toolbox

RemoteData and WebData to use with bs-fetch for BuckleScript

A programming language made up of Rajinikanth punch dialogues

Xen core platform libraries for MirageOS

OCaml Type Classes

Opam repository for OCaml libraries to build Citrix Hypervisor toolstack components

IO independent postgres protocol implementation

Ocaml bindings for the zxcvbn password strength estimation library

A template for OCaml, configured for Gitpod (www.gitpod.io) to give you pre-built, ephemeral development environments in the cloud.

A style guide for Coq

OCaml bindings for Clang

Authentication framework for OCaml Dream web-framework

An infinity-categorical coherence typechecker

OCaml bindings for portaudio.

IITM Paradigms of Programming -- Monsoon 2025

Eclipse plugin that provides syntax highlighing support for additional languages.

Patricia Tree data structure in OCaml for maps and sets, supports generic (GADT) keys

A protoc plugin for generating OCaml code from protobuf (.proto) files.

A soothing CouchDB client for Reason and OCaml

Library to provide session types to allow for static verification of protocols between concurrent computations.

Official templates for Spin.

Experimental portable bitmap framebuffer graphics for MirageOS

Imandra ROS

Scrypt key derivation function in pure OCaml as defined in https://tools.ietf.org/html/draft-josefsson-scrypt-kdf-04

OCaml bindings to GObject-Introspection based on OCaml-Ctypes.

Live, interactive playground for Revery examples

Semantic version handling for OCaml

[private joke] IRC bot for a private channel on freenode

Scheme (R6RS subset) interpreter written in OCaml

Stream operations in the style of Core's API.

OCaml bindings for PLplot

notes I've made from books I've read, courses I've taken etc

remove accents from utf8 strings

Duration