Alternatives and similar repositories for repro-in-cs

Users that are interested in repro-in-cs are comparing it to the libraries listed below

• coccinelle / faults-in-Linux
  Experimental bed to study Linux faults
  ☆26Updated 3 years ago
• bryankate / pequod
  A distributed key-value cache with builtin materialized views.
  ☆25Updated 11 years ago
• rndmcnlly / ansunit
  Declarative unit testing for Answer Set Programming projects
  ☆12Updated 7 years ago
• seahorn / seahorn-tutorial
  Supplementary files for SSFT 2015 summer school
  ☆12Updated 6 years ago
• emina / kodkod
  Kodkod solver for relational logic
  ☆80Updated 2 years ago
• ondrik / libvata
  VATA Tree Automata Library
  ☆33Updated last year
• coccinelle / herodotos
  Tracking code patterns through software versions
  ☆25Updated last year
• pbailis / tinytocs-site
  Tiny Transactions on Computer Systems (TinyToCS) Site
  ☆32Updated 9 years ago
• verivital / hyst
  HyST: A Source Transformation and Translation Tool for Hybrid Automaton Models
  ☆15Updated 5 years ago
• rocq-community / chapar
  A framework for verification of causal consistency for distributed key-value stores and their clients in Coq [maintainer=@palmskog]
  ☆32Updated last year
• ilyasergey / reachability
  Experimental implementation of k-CFA and Pushdown k-CFA with optional Abstract Garbage Collection for LambdaJS and a subset of Scheme pro…
  ☆30Updated 10 years ago
• belaban / pluscal
  Tests with PlusCal / TLA+
  ☆25Updated 8 years ago
• tnelson / FlowLog
  ☆17Updated 10 years ago
• brownsys / X-Trace
  X-Trace is a tool that provides fine-grained visibility into large, complex distributed systems. It can be used by application developers…
  ☆28Updated 11 years ago
• davidlazar / llvm-semantics
  Formal semantics of LLVM IR in K
  ☆45Updated 10 years ago
• flavioc / meld
  Meld virtual machine.
  ☆28Updated 10 years ago
• nasa / PRECiSA
  Program Round-off Error Certifier via Static Analysis
  ☆50Updated last week
• dhutchis / LaraDB
  A platform for unified linear and relational algebra analytics, built on the Accumulo NoSQL database
  ☆13Updated 3 years ago
• apl-cornell / fabric
  Distributed persistent programming language with secure information flow types
  ☆29Updated 10 months ago
• nvidia-compiler-sdk / pynvvm
  Python bindings for libNVVM
  ☆37Updated 11 years ago
• simongog / RoSA
  Reduced on-disk Suffix Array
  ☆22Updated 12 years ago
• cmu-db / peloton-test
  SQL Testing Framework for the Peloton DBMS
  ☆20Updated 8 years ago
• efficient / ffbf
  Feed-forward Bloom filters
  ☆53Updated 14 years ago
• sllam / comingle
  CoMingle: Distributed Logic Programming for Decentralized Mobile Ensembles
  ☆33Updated 9 years ago
• priorknowledge / loom
  A streaming cross-cat inference engine
  ☆48Updated 10 years ago
• aclements / commuter
  Automated multicore scalability testing tool
  ☆88Updated 9 years ago
• brentp / fastbit-python
  pythonic access to fastbit
  ☆26Updated 7 years ago
• logic-tools / nadea
  NaDeA (Natural Deduction Assistant) - With a Formalization in Isabelle
  ☆16Updated 3 years ago
• brownplt / LambdaJS
  Semantics and tools for JavaScript
  ☆92Updated 3 years ago
• sagemath / git-trac-command
  A "git trac" subcommand for git
  ☆13Updated 3 years ago