Unison file synchronizer
Repository Index
59,132 visible repositories in the index
1–17 of 17 · Most stars
Terraform without the state file bottleneck
- automation
- cloud-management
- devops
- github-actions
A modern supercompiler for call-by-value functional languages
OCaml bindings for PyTorch
cross-platform multi-network p2p daemon (previously at http://mldonkey.sourceforge.net/)
- mldonkey
- ocaml-program
- p2p
CoqHammer: An Automated Reasoning Hammer Tool for Rocq - Proof Automation for Dependent Type Theory
- coq
- hammer
- automation
- proof-search
Elm architecture and (V)DOM for OCaml
Exercism exercises in OCaml.
- exercism-track
- community-contributions-accepted
- maintained-solitary
Multilingualization for the OCaml source code
An HTML documentation generator for Coq source files
Implementation of the Mask R-CNN model using OCaml's numerical library Owl.
CUID generator for OCaml. :id: :camel: :1234: :gear:
- cuid
- ocaml
Open Source Social Database
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
Collect and view OSS cryptocurrency development.
- cryptocurrency
- open-source-software
- github
- software-metrics
An HTML documentation generator for Rocq source files
Yet another Codeforces contest parser