Template for an ocaml project with modern tooling
- ocaml
Repository Index
89,073 visible repositories in the index
25–40 of 40 · Most stars
An SMT solver frontend for OCaml
- ocaml
- smt-lib
- symbolic-execution
- z3
OpenID Connect implementation in OCaml. Currently only the RP (client) parts are polished.
- ocaml
- oidc
- oidc-client
A library to build and execute typed scientific workflows
Pure OCaml implementation of the "vchan" shared-memory communication protocol
Old Coq plugin for parametricity [maintainer=@ppedrot]
- parametricity
- coq-plugin
- coq
- docker-coq-action
A dumb OCaml logger
Process pools for OCaml
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)"]
OCaml implementation of the MQTT pubsub protocol.
A command-line tool to manage Github Issues
OCaml implementation of MySQL/MariaDB protocol with the Bitstring library
Volt - A variant of Bolt OCaml logging tool
Collect and view OSS cryptocurrency development.
- cryptocurrency
- open-source-software
- github
- software-metrics