kit-ty-kate Goto Github PK

bitstring

OCaml Bitstring - bitstring matching for OCaml

blog.mirai.fr

Mirai.fr's blog

bonsai

A library for building dynamic webapps, using Js_of_ocaml

book

Mirror of https://gitlab.redox-os.org/redox-os/book

bos

Basic OS interaction for OCaml (unreleased)

bsdmainutils

Just a temporary fork of https://git.launchpad.net/ubuntu/+source/bsdmainutils/

buildah

A tool that facilitates building OCI images.

bytearray

Efficient OCaml marshaling to and from bigarrays

bytes

ca-certs

Detect root CA certificates from the operating system

camelot

A fully-modular OCaml style linter

camelus

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

camlbz2

https://gitlab.com/irill/camlbz2

camlidl

Stub code generator for OCaml/C interface

camllzma

OCaml binding to liblzma [EXPERIMENTAL]

camlp4

Camlp4 tool

camlp5

Preprocessor / Pretty Printer for OCaml

camomile

A Unicode library for OCaml

cant-believe-its-not-twitter

Twitter archive viewer, takes HAR files as input (currently)

capnp-rpc

Cap'n Proto RPC implementation

cfstream

Stream operations in the style of Core's API.

cinaps

Trivial Metaprogramming tool using the OCaml toplevel

cmdliner

Declarative definition of command line interfaces for OCaml

coccinelle

Source code of the Coccinelle project (mirror of the main Coccinelle repository located at Inria)

codept

Contextual Ocaml DEPendencies Tool: alternative ocaml dependency analyzer

cohost-dedup

cohost-timeline-organizer

UserScript PoC for https://help.antisoftware.club/support/discussions/topics/62000183436

comby

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

containerd

An open and reliable container runtime

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.