Declarative events and signals for OCaml

cc65 - a freeware C compiler for 6502 based systems

Disassembly of Super Mario Bros 3

An io_uring backed runtime for Rust

WalletConnect Rust SDK

Protocol Buffers with small code size

Streaming replication for SQLite.

Command-line JSON processor

🔙 Backward lists for OCaml

Windows alt-tab on macOS

😽 Open your Kitty scrollback buffer with Neovim. Ameowzing!

The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environmen…

A Neovim plugin for seamless, asynchronous project-wide TypeScript type-checking using the TypeScript compiler (tsc)

A mixture of tooling combined to produce JavaScript from OCaml & Reason

Arbitrary-precision floating-point decimals

ocaml-protoc-plugin

A markup-based typesetting system that is powerful and easy to learn.

YOCaml is a static site generator, mostly written in OCaml

Petrol's an OCaml SQL API made to go FAST.

Static Analyzer for Solidity and Vyper

A generative datatype toolkit for OCaml centric workflows

Fastest Ethereum archive node ever built

Tools for record-and-replay debugging

OCaml syntax extension for quoting code

Control your Transmission through a Telegram bot

OCaml date time handling and reasoning suite

A delta debugger for SMT benchmarks in SMT-LIB v2.

Railroad Diagrams for ANTLR 4 grammar rules.

Yet another type combinator library