Object Relational Mapper extension
Repository Index
47,133 repositories indexed
49–72 of 85 · Most stars
An enhanced unification algorithm for Coq
Python bindings for the Coq interactive proof assistant
- python
- coq
- verification
- machine-learning
Syntax extension for embedded SQL queries using PG'OCaml.
OCaml PPX deriver for reflection
Multilingualization for the OCaml source code
OpenID Connect implementation in OCaml. Currently only the RP (client) parts are polished.
- ocaml
- oidc
- oidc-client
Type-safe library for building parallel applications, built on top of Async's Rpc module.
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
Old Coq plugin for parametricity [maintainer=@ppedrot]
- parametricity
- coq-plugin
- coq
- docker-coq-action
Extensible binary data format, like JSON but faster
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
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
Runtime types for OCaml (beta version)
Unicode text normalization for OCaml
Tool to convert OASIS metadata to OPAM package descriptions
Unicode text segmentation for OCaml
OCaml CBOR generic decoder/encoder, RFC 7049, http://cbor.io/
Trivial/Tagless Polytypic Functions