VM in the Rust type system.

Scaling Reasoning for the Age of AI

Documentation compiler for OCaml

User-friendly GUI macOS application for Homebrew Casks

GitHub Action for the OCaml programming language

Programming language for literate programming law specification

An SMT solver frontend for OCaml

The Gillian Platform main repository

A verification toolchain for Rust programs

Define compiler intermediate representation usable by external tools

HTTP request routing library for OCaml web applications.

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…

Tidy, feature-complete Web framework

OCaml<->Rust FFI with an emphasis on safety.

Experimental web framework for ReasonML & OCaml

Creusot helps you prove your Rust code is correct.

Wrapper around the OCaml `lsp` library to make it easier to write LSP servers

A live viewer for reMarkable written in PyQt5

OCaml Language Server Protocol implementation

A library of generic data structures for the C language.

Get a notification after a long command.

A code rewrite tool for structural search and replace that supports ~every language.

Widgets manager for MacBook Touch Bar

package.json workflow for native development with Reason/OCaml

GraphQL servers in OCaml