Menhir polishing toolbox, for experienced druids

Describe dune project structure as JSON

QR code encoder for OCaml

Declarative command-line parsing for OCaml

The Stan transpiler (from Stan to C++ and beyond).

OCaml implementation of a NES Legend of Zelda-style browser-based game

a tiny tile-based editor

[ICLR 2024] Efficient Streaming Language Models with Attention Sinks

Bindings for o1js to lower layers of the proof system and the Mina transaction logic

Monitor Eio programs

Michelson VM and Tezos OS rewritten in Rust

The Ott tool for writing definitions of programming languages and calculi

᚛ A type of divination employed in attempts to locate identifiers matching a given type expression

multi-shot continuations in OCaml

a structural diff that understands syntax 🟥🟩

WebAssembly backend for OCaml

A VM That is Dynamic and Fast

Javascript stubs for the integers library in js_of_ocaml

( a fundamentally new programming language )>🐓

Code examples that accompany the MDN JavaScript/ECMAScript documentation

Tezos timelock

Native OCaml bindings to Gitlab REST API v4

ASCII transliterations of Unicode text - GitHub mirror

A small but efficient, intuitive and responsive OCaml IDE right in your browser! Ships OCaml v5.1.1, interpreter by your browser (so it works offline!), compiled with js_of_ocaml.

Js_of_ocaml bindings for the p5.js library

Hazel, a live functional programming environment with typed holes