Alizter

HoTT

Homotopy type theory

mutaml

An OCaml mutation tester

alectryon

A collection of tools for writing technical documents that mix Coq code and prose.

base

Standard library for OCaml

clap

A full featured, fast Command Line Argument Parser for Rust

coq

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

coq-lsp

Language Server Protocol for Coq

coqhammer

CoqHammer: An Automated Reasoning Hammer Tool for Coq - Proof Automation for Dependent Type Theory

dune

A composable build system for OCaml.

dune-bench

Benchmark for dune

fiber

FTXUI

:computer: C++ Functional Terminal User Interface. :heart:

git-ps-rs

Official git-ps Rust implementation - the future of git-ps

github-action-benchmark

GitHub Action for continuous benchmarking to keep performance

lev

Low Level Bindings to Libev

melange

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

merlin

Context sensitive completion for OCaml in Vim and Emacs

min-caml

moved from https://sourceforge.net/p/min-caml/code/

multinomials

Multinomials for the Mathematical Components library.

nixpkgs

Nix Packages collection

notty

Declarative terminal graphics for OCaml

ocaml

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

ocaml-lsp

OCaml Language Server Protocol implementation

opam-coq-archive

Archive for all Coq related OPAM packages organized in various repositories

opam-dune

opam is a source-based package manager. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.

opam-repository

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

picow-cgm

pp

Pretty printing library

serenity

The Serenity Operating System 🐞

thereactagen