zapashcanon Goto Github PK

abt

Ocaml port of CMU's ABT library (with various modifications).

alacritty

A cross-platform, GPU-accelerated terminal emulator

alt-ergo

OCamlPro public development repository for Alt-Ergo

angle-alpha

ascii85

Adobe's Ascii85 encoding as a module and a command line tool

bap

Binary Analysis Platform

base16-pygments

bench

Ocaml benchmarking with statistics

benchexec

BenchExec: A Framework for Reliable Benchmarking and Resource Measurement

bimap

binbin

Convenient binary string manipulation module for OCaml

binsec

BINSEC binary-level open-source platform

bisect-summary

A simple tool to analyse coverage data created with bisect_ppx

bisect_ppx

Code coverage for OCaml and Reason

bitv

OCaml bit vector library

bogue

GUI library for ocaml based on SDL2

bos

Basic OS interaction for OCaml

brozip

:zap: CLI to concurrently compress, decompress using Brotli algorithm

brr

Browser programming toolkit for OCaml

cakeml

CakeML: A Verified Implementation of ML

camelus

Bot posting reports on opam-repository pull-request using a web hook

caravan

A framework for stateful, black-box testing of arbitrary systems, in OCaml. Inspired by Erlang/OTP's Common Test.

cash

Cash is a Unix shell that is embedded within Objective Caml. It's a Caml implementation of (an as large as possible subset of) the API of Scsh, the Scheme Shell by Olin Shivers. See the Scsh site.

catala

Programming language for literate programming law specification

chartjs-ocaml

Chart.js bindings for OCaml

cmarkit

CommonMark parser and renderer for OCaml

cmdliner

Declarative definition of command line interfaces for OCaml

collections-c

Gillian's Collections-C Symbolic Test Suite in Wasm

combine

OCaml library for combinatorics

computorv1

WIP and introduction to Func P