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
  ☆26Updated 3 years ago
• shriram / repro-in-cs
  Tracking Responses to the "Reproducibility in Computer Science" Repository (http://reproducibility.cs.arizona.edu/)
  ☆59Updated 11 years ago
• davidlazar / llvm-semantics
  Formal semantics of LLVM IR in K
  ☆45Updated 10 years ago
• cmeiklejohn / distributed-data-structures
  Distributed Data Structures in Coq
  ☆49Updated 12 years ago
• avsm / docker-opam
  Docker container for an OCaml + OPAM setup
  ☆24Updated 9 years ago
• favonia / homotopy
  My old Agda code for Homotopy Type Theory. (Halted. See HoTT/HoTT-Agda for the new one.)
  ☆26Updated 11 years ago
• tnelson / FlowLog
  ☆17Updated 10 years ago
• uwplse / arvo
  A proof assistant.
  ☆12Updated 9 years ago
• m4b / rdr
  Rdr is a cross-platform binary analysis and reverse engineering library, utilizing a unique symbol map for global analysis.
  ☆82Updated 2 years ago
• plasma-umass / Rehearsal
  Rehearsal: A Configuration Verification Tool for Puppet
  ☆11Updated 5 years ago
• patrickt / blimp
  an example airship app
  ☆14Updated 9 years ago
• jkff / greg
  A very fast lightweight distributed logger with a high-precision global time axis
  ☆38Updated 10 years ago
• logic-tools / nadea
  NaDeA (Natural Deduction Assistant) - With a Formalization in Isabelle
  ☆16Updated 3 years ago
• DaMSL / K3
  K3: A Declarative Data Systems Programming Framework
  ☆15Updated 9 years ago
• scribble / scribble-java
  Core components for the Scribble Java tools
  ☆58Updated last year
• coccinelle / coccinellery
  ☆113Updated last year
• rems-project / netsem
  Network Semantics
  ☆91Updated 6 years ago
• buildsome / buildsome
  Buildsome: The awesome build system
  ☆54Updated 3 years ago
• JUrban / MPTP2
  ☆19Updated 8 years ago
• GaloisInc / ec2-unikernel
  Tool for uploading unikernels into EC2
  ☆77Updated 7 years ago
• janestreet / async_parallel
  Distributed computing library
  ☆34Updated 7 years ago
• maurer / holmes
  Datalog engine with extensions for integrating analyses
  ☆39Updated 8 years ago
• ondrik / libvata
  VATA Tree Automata Library
  ☆33Updated last year
• jgalenson / codehint
  Eclipse plugin that synthesizes real Java code
  ☆26Updated 11 years ago
• mirage / qubes-mirage-skeleton
  An example Mirage unikernel that runs as a Qubes AppVM
  ☆23Updated 5 years ago
• jtoman / claims
  A LaTeX package for proof carrying papers
  ☆24Updated 9 years ago
• backtracking / combine
  OCaml library for combinatorics
  ☆35Updated 6 months ago
• mcschroeder / ctrie
  Non-blocking concurrent hashmap for Haskell
  ☆18Updated 8 years ago
• eth-sri / bayonet
  Probabilistic Computer Network Analysis
  ☆20Updated 7 years ago
• ptal / bonsai
  Programming language based on the synchronous and constraint paradigms
  ☆15Updated 5 years ago