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
• 0install / 0repo
  manage a repository of 0install feeds
  ☆18Updated last year
• ocaml / ocaml-manual
  OBSOLETE, ARCHIVED mirror of the OCaml manual
  ☆15Updated last year
• davidlazar / llvm-semantics
  Formal semantics of LLVM IR in K
  ☆44Updated 10 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
• jkff / greg
  A very fast lightweight distributed logger with a high-precision global time axis
  ☆38Updated 10 years ago
• shimmercat / second-transfer
  A library for creating HTTP/2 servers in Haskell.
  ☆9Updated 7 years ago
• logpy / strategies
  Programmatic Control Flow
  ☆12Updated 7 years ago
• avsm / docker-opam
  Docker container for an OCaml + OPAM setup
  ☆24Updated 8 years ago
• natefinch / tree
  A statically typed binary tree in Go without casts or reflection
  ☆19Updated 12 years ago
• llvm-mirror / zorg
  Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project
  ☆20Updated 5 years ago
• effuse / profuse
  An OCaml implementation of the FUSE protocol versions 7.8 and 7.23
  ☆30Updated 7 years ago
• janestreet / async_unix
  Jane Street Capital's asynchronous execution library (unix)
  ☆33Updated 2 weeks ago
• frankmcsherry / explanation
  Infrastructure for explaining the outputs of differential dataflow computations
  ☆22Updated 8 years ago
• google / kilt
  An experimental patchset management tool.
  ☆12Updated 4 years ago
• google / pytypedecl
  ☆66Updated 10 years ago
• rumpkernel / rumpctrl
  Control and diagnostic applications for rump kernels
  ☆36Updated 8 years ago
• tim-group / stackbuilder
  Stackbuilder builds stacks of virtual machines
  ☆21Updated 8 months ago
• nineties / Choco
  MinCaml Compiler implementation by Haskell
  ☆11Updated 13 years ago
• ocaml-opam / ocaml-mccs
  Stripped-down version of mccs with OCaml bindings
  ☆23Updated 5 months ago
• GaloisInc / nasa-affirm
  Architectural Framework For Integrated Refinement Modeling
  ☆11Updated 8 years ago
• xemul / mosaic
  Mosaic trees managment tool and library
  ☆14Updated 9 years ago
• jgm / filestore
  A versioning file store backed by git, darcs, or mercurial
  ☆35Updated 6 months ago
• openvstorage / alba
  Open vStorage ALBA (alternate backend) creates a replicated or flexible network raid’ed object storage backend out of Seagate Kinetic dr…
  ☆28Updated 7 years ago
• cmeiklejohn / distributed-data-structures
  Distributed Data Structures in Coq
  ☆49Updated 11 years ago
• ocaml / ocaml-beta-repository
  Opam2 remote for beta versions of the OCaml compiler
  ☆16Updated 6 years ago
• angrave / sys
  Linux and C programming in a web browser
  ☆26Updated 8 years ago
• rudenoise / qemu-solo5-mirage-rpi3
  An attempt to run a MirageOS unikernel, built with Solo5, running in Qemu, on a Raspberry Pi 3
  ☆11Updated 9 years ago
• google / coq-bpf
  Coq BPF interpreter
  ☆19Updated 7 years ago