Old Coq plugin for parametricity [maintainer=@ppedrot]
- parametricity
- coq-plugin
- coq
- docker-coq-action
Repository Index
62,272 visible repositories in the index
145–168 of 212 · Most stars
Extensible binary data format, like JSON but faster
Pretty-printing library for OCaml
The repository host gives no description.
RSS and Atom feed parsing
LexiFi runtime types
A dumb OCaml logger
OCaml library for combinatorics
nanomsg bindings for ocaml
Non-blocking streaming Unicode codec for OCaml
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
Inspection of internal value representations and the object graph
Minimalist OCaml library for command line parsing
- ocaml-library
- command-line-interface
- cli
- minimalist
Process pools for OCaml
general value printing within compiled programs
An HTML documentation generator for Coq source files
Print OCaml values based on their runtime representation
Parser and printer for date-times in ISO8601
- ocaml
- iso8601
- datetime
- parser
Runtime types for OCaml (beta version)
OCaml/MPI interface
The repository host gives no description.