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
• davidlazar / llvm-semantics
  Formal semantics of LLVM IR in K
  ☆44Updated 9 years ago
• logpy / strategies
  Programmatic Control Flow
  ☆12Updated 7 years ago
• google / coq-bpf
  Coq BPF interpreter
  ☆19Updated 7 years ago
• squest / zenx-integrated-learning
  Learning problem-solving, logic/set, math, physics, economics through functional programming using Haskell
  ☆19Updated 9 years ago
• bagder / bcut
  cut out a small (binary) piece of a (binary) file
  ☆15Updated 13 years ago
• shimmercat / second-transfer
  A library for creating HTTP/2 servers in Haskell.
  ☆9Updated 7 years ago
• uwplse / arvo
  A proof assistant.
  ☆12Updated 9 years ago
• 0install / 0repo
  manage a repository of 0install feeds
  ☆17Updated 11 months ago
• simonv3 / factbook-country-data
  ☆20Updated 9 years ago
• taskcluster / taskcluster-cli
  Taskcluster CLI
  ☆16Updated 5 years ago
• zerovm / zerocloud
  Swift middleware for Zerocloud
  ☆53Updated 6 years ago
• wking / signed-off-by
  The kernel DCO and Signed-off-by split out in a project-agnostic branch
  ☆23Updated last year
• cmeiklejohn / distributed-data-structures
  Distributed Data Structures in Coq
  ☆49Updated 11 years ago
• travis-ci / apt-whitelist-checker
  Automation of https://github.com/travis-ci/apt-package-whitelist approval process
  ☆8Updated 6 years ago
• mozilla / webpay
  Webpay is an implementation of the WebPaymentProvider spec
  ☆42Updated 9 years ago
• DanGrayson / Ktheory
  formalization of theorems of higher algebraic K-theory
  ☆8Updated 10 years ago
• edwinb / Ivor
  A type theory based theorem proving library
  ☆25Updated 13 years ago
• cloudius-systems / osv-gui
  OSv GUI
  ☆19Updated 8 years ago
• mirror / patch
  git://git.savannah.gnu.org/patch.git
  ☆12Updated 6 months ago
• ocaml / ocaml-manual
  OBSOLETE, ARCHIVED mirror of the OCaml manual
  ☆15Updated last year
• 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
• dropbox / Dropline
  Tool to monitor how busy an area is using Wi-Fi. Originally intended for Dropbox's Tuck Shop.
  ☆18Updated 9 years ago
• jkff / greg
  A very fast lightweight distributed logger with a high-precision global time axis
  ☆38Updated 10 years ago
• jgm / filestore
  A versioning file store backed by git, darcs, or mercurial
  ☆35Updated 4 months ago
• google / idris-protobuf
  A partial implementation of Protocol Buffers in Idris
  ☆31Updated 7 years ago
• Armael / papiers
  A tool to index your papers/interesting links/... and quickly search through them
  ☆49Updated 3 years ago
• kernelci / kernelci-docker
  Docker containers configurations for KernelCI
  ☆10Updated 3 years ago
• janestreet / async_unix
  Jane Street Capital's asynchronous execution library (unix)
  ☆33Updated 5 months ago
• da-x / fancydiff
  Colorful Git diffs for terminal and web, including source syntax highlighting
  ☆24Updated 5 years ago