An OCaml cross-toolchain for Windows and several useful libraries

Open-Source part of the SuperBOL Studio, including the Vscode mode with LSP

Compiler for the M language, used to compute the income tax of French taxpayers

The OCaml-Canvas library provides a portable Canvas for OCam

Main public package repository for opam, the source package manager of OCaml.

A simple cross-platform OCaml code editor built for top-level evaluation.

The Cubicle model checker

This is a reconstruction of the original 1981-82 IBM PC BIOS source code using scanning and transcription of the BIOS listings found in the IBM Technical Reference manuals.

Ocaml-solidity provides a Solidity parser and typechecker

Solidity compiler for Free TON Virtual Machine

Dig into an opam switch for doc

drom is a wrapper over opam/dune in an attempt to provide a cargo-like user experience. It can be used to create full OCaml projects with sphinx and odoc documentation. It has specific knowledge of…

directories is an OCaml library that provides configuration, cache and data paths (and more!) following the suitable conventions on Linux, macOS and Windows. The following conventions are used: XDG…

🇰🇷 Solidity Documentation for Korean

GPU based Solana ed25519 vanity key scanner.

The core OCaml system: compilers, runtime system, base libraries

a WxWidgets binding for OCaml

fork of Xml-light

A high-level language for Tezos with OCaml syntax, with a decompiler from Michelson