Terraform without the state file bottleneck
- automation
- cloud-management
- devops
- github-actions
Repository Index
47,133 repositories indexed
1–11 of 11 · Most stars
GraphQL servers in OCaml
- ocaml
- graphql
GeneWeb is a free (as in free speech) genealogy software with a web interface created by Daniel de Rauglaudre.
- genealogy
- software
- web
- database
OCaml graph library
OCaml cryptographic library
Build dependency graphs between Coq objects [maintainers=@Karmaki,@ybertot]
- coq
- dependency-graph
- dependency-analysis
- docker-coq-action
Declarative 2D vector graphics for OCaml
Binding to Cairo, a 2D Vector Graphics Library.
- cairo
- ocaml
- stroke
- drawing
Inspection of internal value representations and the object graph
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