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.
Repository Index
47,133 repositories indexed
49–72 of 107 · Most stars
Lwt Translations of the Async Code Examples in Real World OCaml
- ocaml
- lwt
OCaml code generator plugin for the Cap'n Proto serialization framework
Build dependency graphs between Coq objects [maintainers=@Karmaki,@ybertot]
- coq
- dependency-graph
- dependency-analysis
- docker-coq-action
Declarative 2D vector graphics for OCaml
Template for an ocaml project with modern tooling
- ocaml
Less redundancy in type declarations and signatures
Generate nix expressions from opam packages
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
A neat interface for Slack
A simple multi-format pretty-printer for Menhir.
- ocaml
- menhir
- parser
- pretty-print
Object Relational Mapper extension
An enhanced unification algorithm for Coq
Data structures and algorithms in OCaml
Python bindings for the Coq interactive proof assistant
- python
- coq
- verification
- machine-learning
Multilingualization for the OCaml source code
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.
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