OCaml PPX deriver for reflection
Repository Index
47,133 repositories indexed
49–72 of 72 · Most stars
A library to build and execute typed scientific workflows
Pure OCaml implementation of the "vchan" shared-memory communication protocol
Path-based dispatching for client- and server-side applications.
- web
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
Inspection of internal value representations and the object graph
general value printing within compiled programs
An HTML documentation generator for Coq source files
Print OCaml values based on their runtime representation
OCaml/MPI interface
Runtime types for OCaml (beta version)
A library for printing OCaml values with sharing
Tool to convert OASIS metadata to OPAM package descriptions
Trivial/Tagless Polytypic Functions
A simple OCaml ppx filter to support string interpolation like [%str "value of foo is $(foo)"]
The repository host gives no description.
- ocaml
- hacktoberfest
- toplevel
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
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
Declarative terminal graphics for OCaml
Volt - A variant of Bolt OCaml logging tool
Collect and view OSS cryptocurrency development.
- cryptocurrency
- open-source-software
- github
- software-metrics
A PlantUML to XML converter
- automation
- converter
- document
- ocaml
An HTML documentation generator for Rocq source files