OpenID Connect implementation in OCaml. Currently only the RP (client) parts are polished.
- ocaml
- oidc
- oidc-client
Repository Index
47,133 repositories indexed
49–72 of 77 · Most stars
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
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
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