ocaml

Ocaml kernel for Jupyterlite

A domain-specific language that generates TypeScript backend + React frontend from a single spec

Advent of Code - All Years - Blazingly Fast

🐪 An OCaml driver for Timeplus Proton timeseries streaming database

A micro compiler for the FORTH programming language

An experimental implementation of (extended) featherweight-java (FJ) written in OCaml.

OCaml plugin for ASDF version manager

Test::Simple, for OCaml

A GraphQL client written in OCaml and JavaScript

OCaml-containers core for BuckleScript.

OCaml binding to LXC with idiomatic (and opionated) OCaml API design

Comparison and ordering of ReasonML/OCaml values.

[WIP] A functional programming language based on Coeffect Calculus and Graded Modal Type Theory.

The reference compiler for the Brick language

Animation Framework

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 model-based QuickCheck test of ptrees (Patricia trees)

Lox language implemented in 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.

Binding to the WiringPi library

Unix core platform libraries for MirageOS

It's a pastebin, okay?

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

Drop some lyrics and highlights the rhymes with colors

Nix integration for OPAM packages

6502 chip simulator in OCaml

View patterns in OCaml

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

Cat photo storage

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

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.

A Versatile OCaml Library for Git Operations

Observable LC3 Virtual Machine

ocaml lwt based websocket library

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

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)

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

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

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