MirageOS is a library operating system that constructs unikernels
- mirageos
- unikernel
- xen
- kvm
Repository Index
47,133 repositories indexed
1–18 of 18 · Most stars
An OCaml library for HTTP clients and servers using Lwt or Async
- ocaml
- http
- http-client
- lwt
Effects-based direct-style IO for multicore OCaml
- concurrency
- effects
- io
- multicore
Owi: Seamless program analysis for C, C++, Go, Haskell, LLVM, Rust, Wasm and Zig.
drom is a wrapper over opam/dune in an attempt to provide a cargo-like user experience. It can be used to create full OCaml projects with sphinx and odoc documentation. It has specific knowledge of Github and will generate files for Github Actions CI and Github pages.
OSnap is a snapshot testing tool, which mainly focuses on speed and ease of use.
- diff
- snapshot-testing
- testing
- snapshot
A simple scheduler for OCaml 5
- effects
- ocaml
- parallelism
- scheduler
Build dependency graphs between Coq objects [maintainers=@Karmaki,@ybertot]
- coq
- dependency-graph
- dependency-analysis
- docker-coq-action
Generate nix expressions from opam packages
Easy to use Makefile for small to medium-sized OCaml-projects
- ocaml
- makefile
Inline (Unit) Tests for OCaml
OpenID Connect implementation in OCaml. Currently only the RP (client) parts are polished.
- ocaml
- oidc
- oidc-client
Library of Raft consensus algorithm implemented in OCaml
- ocaml
- raft-consensus-algorithm
- raft
- consensus-algorithm
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
OCaml implementation of MySQL/MariaDB protocol with the Bitstring library
Test::Simple, for OCaml
- ocaml
- testing
- unit-testing
TranslatedOCaml@p : A debugging printer for OCaml