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
Repository Index
77,852 visible repositories in the index
49–68 of 68 · Most stars
Inspection of internal value representations and the object graph
An HTML documentation generator for Coq source files
Print OCaml values based on their runtime representation
Unicode text normalization for OCaml
Tool to convert OASIS metadata to OPAM package descriptions
Unicode text segmentation for OCaml
Trivial/Tagless Polytypic Functions
date and duration in ocaml
Pure OCaml implementation of libXdiff (Rabin's fingerprint)
A simple OCaml ppx filter to support string interpolation like [%str "value of foo is $(foo)"]
OCaml implementation of the MQTT pubsub protocol.
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.
OCaml implementation of MySQL/MariaDB protocol with the Bitstring library
Serialization library for OpenFlow
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
Fully functional implementation of FCNNs with Back Prop
An HTML documentation generator for Rocq source files
A PlantUML to XML converter
- automation
- converter
- document
- ocaml