shriram / repro-in-cs
Tracking Responses to the "Reproducibility in Computer Science" Repository (http://reproducibility.cs.arizona.edu/)
☆58Updated 10 years ago
Alternatives and similar repositories for repro-in-cs
Users that are interested in repro-in-cs are comparing it to the libraries listed below
Sorting:
- KITTeL/KoAT☆21Updated 6 years ago
- A platform for unified linear and relational algebra analytics, built on the Accumulo NoSQL database☆11Updated 3 years ago
- A next-good-bug recommender for Bugzilla☆11Updated 9 years ago
- The semantics of Java in K☆19Updated 3 years ago
- Wren: Nonblocking Reads in a Partitioned Transactional Causally Consistent Data Store☆8Updated 6 years ago
- An interface for using mwillsey/egg with math simplification.☆13Updated 11 months ago
- Voevodsky's 2006 paper on homotopy lambda calculus☆15Updated 10 years ago
- OBSOLETE, ARCHIVED mirror of the OCaml manual☆15Updated last year
- A framework for verification of causal consistency for distributed key-value stores and their clients in Coq [maintainer=@palmskog]☆32Updated last year
- Supplementary files for SSFT 2015 summer school☆11Updated 5 years ago
- Program Round-off Error Certifier via Static Analysis☆51Updated 7 months ago
- pythonic access to fastbit☆26Updated 6 years ago
- The Aldor Programming Language☆34Updated 3 months ago
- ☆19Updated 8 years ago
- Formal semantics of LLVM IR in K☆44Updated 9 years ago
- Experimental implementation of k-CFA and Pushdown k-CFA with optional Abstract Garbage Collection for LambdaJS and a subset of Scheme pro…☆31Updated 9 years ago
- Low-level primitives for collapsed Gibbs sampling in python and C++☆33Updated last year
- Wviews is an artificial intelligence system extension for generating world view answer sets for epistemic logic programs☆8Updated 7 years ago
- Multinomials for the Mathematical Components library.☆14Updated 3 weeks ago
- Alice ML implementation☆17Updated 2 years ago
- Just in Time Datastructures☆11Updated 8 years ago
- An advanced automated reasoning tool for memory consistency model specifications.☆22Updated 3 years ago
- Numerical and Combinatorial Optimization Library☆19Updated 11 years ago
- Formalization of termination of Gödel's System T☆9Updated 3 years ago
- Kodkod solver for relational logic☆74Updated last year
- Perl CPAN module Makefile::Parser - A simple parser for Makefiles☆11Updated 9 years ago
- A Coq library for reasoning (co)inductively on infinite sequences using LTL-like modal operators☆17Updated 2 years ago
- Rehearsal: A Configuration Verification Tool for Puppet☆11Updated 5 years ago
- An algebra for Matrix Expressions written in Maude☆24Updated 12 years ago
- TLA+ specification for the Raft consensus algorithm (with Pre-Vote)☆12Updated 7 years ago