A simple multi-format pretty-printer for Menhir.
- ocaml
- menhir
- parser
- pretty-print
Repository Index
47,133 repositories indexed
25–44 of 44 · Most stars
simple package build system for ocaml
Shopify's Liquid templating language in OCaml. Features an interpreter, parser and lexer.
- liquid
- ocaml
- parser-combinators
- shopify
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.
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
Library of Raft consensus algorithm implemented in OCaml
- ocaml
- raft-consensus-algorithm
- raft
- consensus-algorithm
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.
The repository host gives no description.
- ocaml
- hacktoberfest
- toplevel
Implementation of the Mask R-CNN model using OCaml's numerical library Owl.
OCaml library for forking child processes to perform work on multiple cores
OCaml implementation of MySQL/MariaDB protocol with the Bitstring library
Test::Simple, for OCaml
- ocaml
- testing
- unit-testing
Fully functional implementation of FCNNs with Back Prop
A PlantUML to XML converter
- automation
- converter
- document
- ocaml