A friendly and minimalist link sharing website
Repository Index
71,372 visible repositories in the index
49–72 of 77 · Most stars
A library to build and execute typed scientific workflows
Old Coq plugin for parametricity [maintainer=@ppedrot]
- parametricity
- coq-plugin
- coq
- docker-coq-action
Extensible binary data format, like JSON but faster
Pretty-printing library for OCaml
The repository host gives no description.
A dumb OCaml logger
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
Benchmarking module for OCaml
Library of Raft consensus algorithm implemented in OCaml
- ocaml
- raft-consensus-algorithm
- raft
- consensus-algorithm
Minimalist OCaml library for command line parsing
- ocaml-library
- command-line-interface
- cli
- minimalist
general value printing within compiled programs
The repository host gives no description.
Unicode text normalization for OCaml
Read and write FAT format filesystems from OCaml
The human friendly interface to ocaml-re
Bencode (.torrent file format) reader/writer in OCaml
OCaml pattern-matching extended with regexps (unmaintained)
A DSL for specifying Algorand smart contracts, which compiles into TEAL scripts.
- algorand
- blockchain
- cryptocurrency
- domain-specific-language
A command-line tool to manage Github Issues
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.
CUID generator for OCaml. :id: :camel: :1234: :gear:
- cuid
- ocaml