Non-blocking streaming Unicode codec for OCaml
Repository Index
56,638 visible repositories in the index
73–94 of 94 · 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
Inspection of internal value representations and the object graph
Print OCaml values based on their runtime representation
Runtime types for OCaml (beta version)
Read and write FAT format filesystems from OCaml
The human friendly interface to ocaml-re
OCaml CBOR generic decoder/encoder, RFC 7049, http://cbor.io/
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
The repository host gives no description.
- ocaml
- hacktoberfest
- toplevel
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
OCaml library for forking child processes to perform work on multiple cores
Serialization library for OpenFlow
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
The dumb OCaml key-value store
- ocaml-library
- nosql
- persistent-storage
- hash-table
Numerical Library for OCaml
A structured logger for Fluentd (OCaml)
Collect and view OSS cryptocurrency development.
- cryptocurrency
- open-source-software
- github
- software-metrics