An SMT solver frontend for OCaml
- ocaml
- smt-lib
- symbolic-execution
- z3
Repository Index
47,133 repositories indexed
49–72 of 81 · Most stars
The transitory OCaml software packager
Inline (Unit) Tests for OCaml
OCaml Amqp client library for Async and Lwt.
- amqp-client
- rabbitmq
- async
- ocaml
An enhanced unification algorithm for Coq
OCaml bindings to MariaDB, supporting the nonblocking API
Data structures and algorithms in OCaml
A friendly and minimalist link sharing website
Multilingualization for the OCaml source code
Path-based dispatching for client- and server-side applications.
- web
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
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
OCaml bindings to PCRE (Perl Compatibility Regular Expressions)
- ocaml
- pcre
- pattern-matching
- string-matching
Library of Raft consensus algorithm implemented in OCaml
- ocaml
- raft-consensus-algorithm
- raft
- consensus-algorithm
general value printing within compiled programs
Parser and printer for date-times in ISO8601
- ocaml
- iso8601
- datetime
- parser
A library for printing OCaml values with sharing
Read and write FAT format filesystems from OCaml
Bencode (.torrent file format) reader/writer in OCaml
OCaml pattern-matching extended with regexps (unmaintained)
Pure OCaml implementation of libXdiff (Rabin's fingerprint)
A DSL for specifying Algorand smart contracts, which compiles into TEAL scripts.
- algorand
- blockchain
- cryptocurrency
- domain-specific-language