drom is a wrapper over opam/dune in an attempt to provide a cargo-like user experience. It can be used to create full OCaml projects with sphinx and odoc documentation. It has specific knowledge of Github and will generate files for Github Actions CI and Github pages.
Repository Index
76,855 visible repositories in the index
25–48 of 67 · Most stars
Rocq plugin embedding Elpi
- coq
- metaprogramming
- extension-language
- lambda-prolog
Self-contained monadic parser combinators for OCaml
- parser-combinators
- parser-monad
Syntax extension for writing SQL in OCaml
- sql
- ocaml
- reasonml
OCaml template engine almost compatible with jinja2
- ocaml
- jinja2
- template-engine
OCaml bindings to the SQLite3 database
OCaml type-safe query builder with syntax tree extension
Pure OCaml implementation of Zlib.
- ocaml
- zlib
- compression
- decompression
OCaml implementation of the DNS protocol
- ocaml
- dns
- mirageos
- unikernel
Caml on the Web (COW) is a set of parsers and syntax extensions to let you manipulate HTML, CSS, XML, JSON and Markdown directly from OCaml code.
Exercism exercises in OCaml.
- exercism-track
- community-contributions-accepted
- maintained-solitary
Build dependency graphs between Coq objects [maintainers=@Karmaki,@ybertot]
- coq
- dependency-graph
- dependency-analysis
- docker-coq-action
BLAS and LAPACK binding in OCaml with type-based static size checking for matrix operations
mustache.js logic-less templates in OCaml
- ocaml
- mustache-templates
- mustache
Python bindings for the Coq interactive proof assistant
- python
- coq
- verification
- machine-learning
Data structures and algorithms in OCaml
- ocaml
- data-structures
- algorithms
Syntax extension for embedded SQL queries using PG'OCaml.
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
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
Inspection of internal value representations and the object graph