Sign in

Repository Index

47,133 repositories indexed

Tags: All Tags
Tags

A repository shows when it has any selected Tag.

Filters (1)

Filters

Clear all filters

1–21 of 21 · Most stars

Binary code static analyser, with IDA integration. Performs value and taint analysis, type reconstruction, use-after-free and double-free detection

A lightweight, modular standard library extension, string library, and interfaces to various libraries (unix, threads, etc.) BSD license.

  • ocaml
  • stdlib
  • data-structure
  • portable

cross-platform multi-network p2p daemon (previously at http://mldonkey.sourceforge.net/)

  • mldonkey
  • ocaml-program
  • p2p

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.

Library of Raft consensus algorithm implemented in OCaml

  • ocaml
  • raft-consensus-algorithm
  • raft
  • consensus-algorithm