nanomsg bindings for ocaml
Repository Index
47,133 repositories indexed
49–65 of 65 · 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
Library of Raft consensus algorithm implemented in OCaml
- ocaml
- raft-consensus-algorithm
- raft
- consensus-algorithm
Minimalist OCaml library for command line parsing
- ocaml-library
- command-line-interface
- cli
- minimalist
general value printing within compiled programs
Parser and printer for date-times in ISO8601
- ocaml
- iso8601
- datetime
- parser
Read and write FAT format filesystems from OCaml
A DSL for specifying Algorand smart contracts, which compiles into TEAL scripts.
- algorand
- blockchain
- cryptocurrency
- domain-specific-language
A command-line tool to manage Github Issues
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
Official OCaml port of Sqids. Generate short unique IDs from numbers.
- id-generator
- ocaml
- sqids
- hashids
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
The dumb OCaml key-value store
- ocaml-library
- nosql
- persistent-storage
- hash-table
Declarative terminal graphics for OCaml
A PlantUML to XML converter
- automation
- converter
- document
- ocaml