Build dependency graphs between Coq objects [maintainers=@Karmaki,@ybertot]
- coq
- dependency-graph
- dependency-analysis
- docker-coq-action
Repository Index
81,588 visible repositories in the index
49–72 of 105 · Most stars
Declarative 2D vector graphics for OCaml
Generate nix expressions from opam packages
A neat interface for Slack
Redis bindings for OCaml
- ocaml
- ocaml-library
- redis-client
An SMT solver frontend for OCaml
- ocaml
- smt-lib
- symbolic-execution
- z3
OCaml bindings for Kafka
- ocaml-bindings
- kafka
- librdkafka
The transitory OCaml software packager
Inline (Unit) Tests for OCaml
OCaml Amqp client library for Async and Lwt.
- amqp-client
- rabbitmq
- async
- ocaml
A simple multi-format pretty-printer for Menhir.
- ocaml
- menhir
- parser
- pretty-print
Object Relational Mapper extension
An enhanced unification algorithm for Coq
Micro-benchmarking library for OCaml
Syntax extension for embedded SQL queries using PG'OCaml.
A friendly and minimalist link sharing website
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
A library to build and execute typed scientific workflows
Pure OCaml implementation of the "vchan" shared-memory communication protocol
A fully-modular OCaml style linter
Path-based dispatching for client- and server-side applications.
- web
Extensible binary data format, like JSON but faster
The repository host gives no description.