Communication between Coq and SAT/SMT solvers
Repository Index
47,133 repositories indexed
25–48 of 65 · Most stars
An OCaml generic virtual machine for microcontrollers
Self-contained monadic parser combinators for OCaml
- parser-combinators
- parser-monad
A compiler for the 🎃 Spooky 😱 programming language 👻
- halloween
- surprise
- fear
- programming-language
OCaml template engine almost compatible with jinja2
- ocaml
- jinja2
- template-engine
A Unicode library for OCaml
Pure OCaml implementation of Zlib.
- ocaml
- zlib
- compression
- decompression
OCaml Math Library
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
Generate nix expressions from opam packages
A neat interface for Slack
OCaml bindings to MariaDB, supporting the nonblocking API
Parallelize _anything_ //
- ocaml-library
- parallel-computing
- stream-processing
- multi-processing
OCaml library for reporting metrics to a Prometheus server
- metrics
- mirageos
- ocaml
Shopify's Liquid templating language in OCaml. Features an interpreter, parser and lexer.
- liquid
- ocaml
- parser-combinators
- shopify
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
Pretty-printing library for OCaml
RSS and Atom feed parsing
OCaml library for combinatorics