nanomsg bindings for ocaml
Repository Index
47,133 repositories indexed
49–62 of 62 · Most stars
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
IO for Gallina
- coq
- ocaml
- extraction
Process pools for OCaml
Parser and printer for date-times in ISO8601
- ocaml
- iso8601
- datetime
- parser
OCaml/MPI interface
Trivial/Tagless Polytypic Functions
A DSL for specifying Algorand smart contracts, which compiles into TEAL scripts.
- algorand
- blockchain
- cryptocurrency
- domain-specific-language
OCaml bindings for OpenGL
- opengl
- ocaml
OCaml library for forking child processes to perform work on multiple cores
Import and export CommonJS modules in js_of_ocaml
Minimalistic monad syntax for OCaml.
OCaml bindings for Python