RSS and Atom feed parsing
Repository Index
77,353 visible repositories in the index
73–96 of 100 · Most stars
A dumb OCaml logger
OCaml library for combinatorics
nanomsg bindings for ocaml
Non-blocking streaming Unicode codec 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
Benchmarking module for OCaml
Minimalist OCaml library for command line parsing
- ocaml-library
- command-line-interface
- cli
- minimalist
general value printing within compiled programs
A library for printing OCaml values with sharing
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
OCaml bindings for OpenGL
- opengl
- ocaml
A simple OCaml ppx filter to support string interpolation like [%str "value of foo is $(foo)"]
OCaml library designed to streamline the process of validating records, variants, lists, or values. It primarily operates through a PPX deriver that automatically generates validators.
- validation
Implementation of the Mask R-CNN model using OCaml's numerical library Owl.
OCaml library for forking child processes to perform work on multiple cores
OCaml implementation of MySQL/MariaDB protocol with the Bitstring library
Serialization library for OpenFlow
Test::Simple, for OCaml
- ocaml
- testing
- unit-testing
Import and export CommonJS modules in js_of_ocaml
A Commitment Scheme library for Coin Flipping/Tossing algorithms and sort. :four_leaf_clover: :camel: :lock: :key:
- ocaml
- commitment-schemes
- secure-multi-party-computation
- cryptography