Alternatives and similar repositories for repro-in-cs

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

• jgalenson / codehint
  Eclipse plugin that synthesizes real Java code
  ☆26Updated 11 years ago
• priorknowledge / loom
  A streaming cross-cat inference engine
  ☆49Updated 11 years ago
• ondrik / libvata
  VATA Tree Automata Library
  ☆34Updated last year
• ds4se / chapters
  Perspectives on Data Science for Software Engineering
  ☆61Updated 2 years ago
• emina / kodkod
  Kodkod solver for relational logic
  ☆82Updated 2 years ago
• davidlazar / llvm-semantics
  Formal semantics of LLVM IR in K
  ☆45Updated 10 years ago
• tnelson / FlowLog
  ☆17Updated 10 years ago
• dhutchis / LaraDB
  A platform for unified linear and relational algebra analytics, built on the Accumulo NoSQL database
  ☆13Updated 3 years ago
• jupyter / tmpnb-redirector
  Simple HTTP redirector for tmpnb nodes
  ☆12Updated 8 years ago
• apl-cornell / fabric
  Distributed persistent programming language with secure information flow types
  ☆29Updated 11 months ago
• UniMath / 2006_03_Homotopy_lambda_calculus
  Voevodsky's 2006 paper on homotopy lambda calculus
  ☆15Updated 11 years ago
• bryankate / pequod
  A distributed key-value cache with builtin materialized views.
  ☆25Updated 11 years ago
• forcedotcom / distributions
  Low-level primitives for collapsed Gibbs sampling in python and C++
  ☆33Updated last year
• flavioc / meld
  Meld virtual machine.
  ☆28Updated 10 years ago
• andrewray / iocamljs
  An OCaml javascript kernel for the IPython notebook
  ☆58Updated 8 years ago
• cmeiklejohn / distributed-data-structures
  Distributed Data Structures in Coq
  ☆49Updated 12 years ago
• wdickers / Focused_Crawler
  Focused Crawler for VT's CTRNet
  ☆10Updated 12 years ago
• coccinelle / faults-in-Linux
  Experimental bed to study Linux faults
  ☆26Updated 3 years ago
• nvidia-compiler-sdk / pynvvm
  Python bindings for libNVVM
  ☆38Updated 11 years ago
• seahorn / seahorn-tutorial
  Supplementary files for SSFT 2015 summer school
  ☆12Updated 6 years ago
• robertzk / xgboost.hs
  A Haskell wrapper for xgboost
  ☆23Updated 8 years ago
• sagemath / git-trac-command
  A "git trac" subcommand for git
  ☆13Updated 3 years ago
• stanford-ppl / hyperdsl
  ☆57Updated 8 years ago
• sagemath / sagelib
  Git mirror of http://hg.sagemath.org/sage-main/
  ☆38Updated 13 years ago
• simongog / RoSA
  Reduced on-disk Suffix Array
  ☆22Updated 12 years ago
• belaban / pluscal
  Tests with PlusCal / TLA+
  ☆25Updated 9 years ago
• coccinelle / herodotos
  Tracking code patterns through software versions
  ☆25Updated last year
• microsoft / ivy
  IVy is a research tool intended to allow interactive development of protocols and their proofs of correctness and to provide a platform f…
  ☆235Updated 5 years ago
• UWNetworksLab / metasync
  MetaSync
  ☆20Updated 9 years ago
• sllam / comingle
  CoMingle: Distributed Logic Programming for Decentralized Mobile Ensembles
  ☆33Updated 9 years ago