Alternatives and similar repositories for herodotos:

Users that are interested in herodotos are comparing it to the libraries listed below

• coccinelle / faults-in-Linux
  Experimental bed to study Linux faults
  ☆25Updated 2 years ago
• bagder / bcut
  cut out a small (binary) piece of a (binary) file
  ☆15Updated 13 years ago
• uwplse / arvo
  A proof assistant.
  ☆12Updated 9 years ago
• shimmercat / second-transfer
  A library for creating HTTP/2 servers in Haskell.
  ☆9Updated 7 years ago
• ocaml / ocaml-manual
  OBSOLETE, ARCHIVED mirror of the OCaml manual
  ☆15Updated last year
• logpy / strategies
  Programmatic Control Flow
  ☆12Updated 7 years ago
• robur-coop / dns-letsencrypt-secondary
  A MirageOS unikernel acting as secondary DNS server, provisioning certificate signing requests to valid certificates using let's encrypt
  ☆12Updated last week
• janestreet / async_unix
  Jane Street Capital's asynchronous execution library (unix)
  ☆33Updated 4 months ago
• buildsome / buildsome
  Buildsome: The awesome build system
  ☆53Updated 2 years ago
• ocaml-opam / ocaml-mccs
  Stripped-down version of mccs with OCaml bindings
  ☆23Updated 2 months ago
• ocaml / ocaml-beta-repository
  Opam2 remote for beta versions of the OCaml compiler
  ☆16Updated 5 years ago
• xolox / python-vcs-repo-mgr
  Version control repository manager
  ☆12Updated 6 years ago
• 0install / 0repo
  manage a repository of 0install feeds
  ☆15Updated 11 months ago
• jkff / greg
  A very fast lightweight distributed logger with a high-precision global time axis
  ☆39Updated 10 years ago
• davidlazar / llvm-semantics
  Formal semantics of LLVM IR in K
  ☆44Updated 9 years ago
• atomicobject / odo
  an atomic odometer for the command line
  ☆73Updated 7 years ago
• google / coq-bpf
  Coq BPF interpreter
  ☆19Updated 7 years ago
• fstd / libsrsirc
  Lightweight cross-platform IRC lib written in standard C99 + IRC netcat (a.k.a. icat)
  ☆22Updated 10 months ago
• mirage / ocaml-qcow
  Pure OCaml code for parsing, printing, modifying .qcow format data
  ☆19Updated 3 years ago
• simonv3 / factbook-country-data
  ☆20Updated 9 years ago
• visq / llvm-regexp
  Demo: Creating Regular Expression Matcher's using the haskell bindings to LLVM
  ☆14Updated 14 years ago
• google / capsicum-test
  Test suite for Capsicum
  ☆46Updated 5 months ago
• zooko / hash-function-survey
  a web page / paper
  ☆18Updated 8 years ago
• tlaplus / tlapm_alternative_parser_experiment
  The rewrite of TLAPM, the TLAPS proof manager
  Updated 5 years ago
• themasch / rust-git
  a git implementation in rust. yeah, I know..
  ☆12Updated 8 years ago
• jgm / filestore
  A versioning file store backed by git, darcs, or mercurial
  ☆34Updated 3 months ago
• effuse / profuse
  An OCaml implementation of the FUSE protocol versions 7.8 and 7.23
  ☆30Updated 7 years ago
• NixOS / systemd
  systemd upstream
  ☆10Updated 5 years ago
• rumpkernel / rumpctrl
  Control and diagnostic applications for rump kernels
  ☆36Updated 8 years ago
• vouillon / ocaml-android
  Ocaml cross-compiler for Android
  ☆46Updated 10 years ago