Repository Index

A friendly and minimalist link sharing website

Path-based dispatching for client- and server-side applications.

• web

Extensible binary data format, like JSON but faster

The repository host gives no description.

RSS and Atom feed parsing

Coq plugin providing tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators [maintainer=@palmskog]

• coq-plugin
• coq-tactic
• coq
• docker-coq-action

OCaml bindings to PCRE (Perl Compatibility Regular Expressions)

• ocaml
• pcre
• pattern-matching
• string-matching

Minimalist OCaml library for command line parsing

• ocaml-library
• command-line-interface
• cli
• minimalist

Runtime types for OCaml (beta version)

Tool to convert OASIS metadata to OPAM package descriptions

A simple OCaml ppx filter to support string interpolation like [%str "value of foo is $(foo)"]

OCaml library designed to streamline the process of validating records, variants, lists, or values. It primarily operates through a PPX deriver that automatically generates validators.

• validation

Implementation of the Mask R-CNN model using OCaml's numerical library Owl.

Test::Simple, for OCaml

• ocaml
• testing
• unit-testing

A Commitment Scheme library for Coin Flipping/Tossing algorithms and sort. :four_leaf_clover: :camel: :lock: :key:

• ocaml
• commitment-schemes
• secure-multi-party-computation
• cryptography

The dumb OCaml key-value store

• ocaml-library
• nosql
• persistent-storage
• hash-table

Collect and view OSS cryptocurrency development.

• cryptocurrency
• open-source-software
• github
• software-metrics