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
• logpy / strategies
  Programmatic Control Flow
  ☆12Updated 7 years ago
• davidlazar / llvm-semantics
  Formal semantics of LLVM IR in K
  ☆43Updated 9 years ago
• jkff / greg
  A very fast lightweight distributed logger with a high-precision global time axis
  ☆39Updated 9 years ago
• 0install / 0repo
  manage a repository of 0install feeds
  ☆15Updated 9 months ago
• bagder / bcut
  cut out a small (binary) piece of a (binary) file
  ☆15Updated 13 years ago
• simonv3 / factbook-country-data
  ☆20Updated 8 years ago
• shimmercat / second-transfer
  A library for creating HTTP/2 servers in Haskell.
  ☆9Updated 7 years ago
• angrave / sys
  Linux and C programming in a web browser
  ☆26Updated 8 years ago
• telehash / plinth
  Python Library for InterNetworking with TeleHash
  ☆26Updated 9 years ago
• rumpkernel / rumpctrl
  Control and diagnostic applications for rump kernels
  ☆36Updated 7 years ago
• ThomasHabets / eggpd
  Erlang BGP daemon
  ☆25Updated 13 years ago
• tlaplus / tlapm_alternative_parser_experiment
  The rewrite of TLAPM, the TLAPS proof manager
  Updated 5 years ago
• Miserlou / nogoogle
  An easy way to remove Google from your life.
  ☆15Updated 10 years ago
• DanGrayson / Ktheory
  formalization of theorems of higher algebraic K-theory
  ☆8Updated 10 years ago
• uwplse / arvo
  A proof assistant.
  ☆12Updated 9 years ago
• squest / zenx-integrated-learning
  Learning problem-solving, logic/set, math, physics, economics through functional programming using Haskell
  ☆19Updated 9 years ago
• plasma-umass / Rehearsal
  Rehearsal: A Configuration Verification Tool for Puppet
  ☆11Updated 5 years ago
• UWNetworksLab / metasync
  MetaSync
  ☆21Updated 8 years ago
• tim-group / stackbuilder
  Stackbuilder builds stacks of virtual machines
  ☆21Updated 3 months ago
• marianoguerra / pynerl
  run an embeded python interpreter in erlang
  ☆21Updated 12 years ago
• taskcluster / taskcluster-cli
  Taskcluster CLI
  ☆16Updated 5 years ago
• cloudius-systems / osv-gui
  OSv GUI
  ☆19Updated 8 years ago
• couchbaselabs / TAF
  ☆9Updated this week
• edwinb / Ivor
  A type theory based theorem proving library
  ☆25Updated 13 years ago
• syllog1sm / cython-sparsehash
  Cython wrappers for Google's sparsehash library, and the murmur hash functions
  ☆17Updated 10 years ago
• ylecun / nyu-robotics
  repo for NYU robotics class
  ☆12Updated 12 years ago
• travis-ci / apt-whitelist-checker
  Automation of https://github.com/travis-ci/apt-package-whitelist approval process
  ☆8Updated 6 years ago
• jgm / filestore
  A versioning file store backed by git, darcs, or mercurial
  ☆33Updated 2 months ago
• jtoman / claims
  A LaTeX package for proof carrying papers
  ☆24Updated 8 years ago