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
• ocaml-opam / ocaml-mccs
  Stripped-down version of mccs with OCaml bindings
  ☆22Updated last week
• tlaplus / tlapm_alternative_parser_experiment
  The rewrite of TLAPM, the TLAPS proof manager
  ☆0Updated 5 years ago
• squest / zenx-integrated-learning
  Learning problem-solving, logic/set, math, physics, economics through functional programming using Haskell
  ☆19Updated 9 years ago
• Miserlou / nogoogle
  An easy way to remove Google from your life.
  ☆15Updated 10 years ago
• 0install / 0repo
  manage a repository of 0install feeds
  ☆15Updated 8 months ago
• logpy / strategies
  Programmatic Control Flow
  ☆12Updated 7 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
• angrave / sys
  Linux and C programming in a web browser
  ☆26Updated 8 years ago
• wg / irongate
  A rusty SSH scan blocker
  ☆9Updated 9 years ago
• ocaml / ocaml-manual
  OBSOLETE, ARCHIVED mirror of the OCaml manual
  ☆15Updated last year
• edwinb / Ivor
  A type theory based theorem proving library
  ☆25Updated 13 years ago
• agentzh / makefile-parser-pm
  Perl CPAN module Makefile::Parser - A simple parser for Makefiles
  ☆11Updated 9 years ago
• bagder / bcut
  cut out a small (binary) piece of a (binary) file
  ☆15Updated 13 years ago
• davidlazar / llvm-semantics
  Formal semantics of LLVM IR in K
  ☆43Updated 9 years ago
• zerovm / zerocloud
  Swift middleware for Zerocloud
  ☆52Updated 6 years ago
• silentbicycle / parade
  run multiple shell commands in parallel and coordinate their output
  ☆32Updated 12 years ago
• shimmercat / second-transfer
  A library for creating HTTP/2 servers in Haskell.
  ☆9Updated 7 years ago
• facebook / fbghc
  Mirror of the Glasgow Haskell Compiler. Patches are best submitted to GHC's Phabricator (https://phabricator.haskell.org/), bugs and feat…
  ☆16Updated 2 years ago
• realworldocaml / scripts
  Command-line utilities for Real World OCaml
  ☆16Updated 6 years ago
• uwplse / arvo
  A proof assistant.
  ☆12Updated 8 years ago
• simonv3 / factbook-country-data
  ☆20Updated 8 years ago
• MakeYourLaws / MakeYourLaws
  A project to convert the world to liquid democracy
  ☆41Updated 4 years ago
• robur-coop / dns-primary-git
  A MirageOS unikernel acting as primary DNS server, data stored in a remote git repository
  ☆15Updated 3 months ago
• cmeiklejohn / distributed-data-structures
  Distributed Data Structures in Coq
  ☆49Updated 11 years ago
• UWNetworksLab / metasync
  MetaSync
  ☆21Updated 8 years ago
• wking / signed-off-by
  The kernel DCO and Signed-off-by split out in a project-agnostic branch
  ☆23Updated 10 months ago
• OpenVZ / libvzctl
  [mirror] Containers API library
  ☆8Updated 7 months ago
• google / capsicum-test
  Test suite for Capsicum
  ☆46Updated 3 months ago