A simple scheduler for OCaml 5
- effects
- ocaml
- parallelism
- scheduler
Repository Index
47,133 repositories indexed
25–48 of 48 · Most stars
Pure OCaml implementation of Zlib.
- ocaml
- zlib
- compression
- decompression
Caml on the Web (COW) is a set of parsers and syntax extensions to let you manipulate HTML, CSS, XML, JSON and Markdown directly from OCaml code.
Build dependency graphs between Coq objects [maintainers=@Karmaki,@ybertot]
- coq
- dependency-graph
- dependency-analysis
- docker-coq-action
Declarative 2D vector graphics for OCaml
Template for an ocaml project with modern tooling
- ocaml
Less redundancy in type declarations and signatures
BLAS and LAPACK binding in OCaml with type-based static size checking for matrix operations
An SMT solver frontend for OCaml
- ocaml
- smt-lib
- symbolic-execution
- z3
Easy to use Makefile for small to medium-sized OCaml-projects
- ocaml
- makefile
Object Relational Mapper extension
Binding to Cairo, a 2D Vector Graphics Library.
- cairo
- ocaml
- stroke
- drawing
OCaml PPX deriver for reflection
OpenID Connect implementation in OCaml. Currently only the RP (client) parts are polished.
- ocaml
- oidc
- oidc-client
A library to build and execute typed scientific workflows
Non-blocking streaming Unicode codec for OCaml
Inspection of internal value representations and the object graph
OCaml CBOR generic decoder/encoder, RFC 7049, http://cbor.io/
A DSL for specifying Algorand smart contracts, which compiles into TEAL scripts.
- algorand
- blockchain
- cryptocurrency
- domain-specific-language
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
Unicode character database decoder for 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
Declarative terminal graphics for OCaml
Collect and view OSS cryptocurrency development.
- cryptocurrency
- open-source-software
- github
- software-metrics