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
- A platform for unified linear and relational algebra analytics, built on the Accumulo NoSQL database☆11Updated 3 years ago
- KITTeL/KoAT☆21Updated 6 years ago
- VATA Tree Automata Library☆32Updated 7 months ago
- Formal semantics of LLVM IR in K☆44Updated 9 years ago
- Wren: Nonblocking Reads in a Partitioned Transactional Causally Consistent Data Store☆8Updated 6 years ago
- Python bindings for libNVVM☆37Updated 10 years ago
- A distributed key-value cache with builtin materialized views.☆26Updated 10 years ago
- SIGPLAN website☆11Updated 2 weeks ago
- Demo re-implementation of the Hadoop MapReduce scheduler in Python☆13Updated 9 years ago
- TLA+ specification for the Raft consensus algorithm (with Pre-Vote)☆12Updated 7 years ago
- Diamond reactive programming platform☆25Updated 2 years ago
- A proof assistant.☆12Updated 9 years ago
- Formalization of termination of Gödel's System T☆9Updated 3 years ago
- The semantics of Java in K☆19Updated 3 years ago
- Experimental implementation of k-CFA and Pushdown k-CFA with optional Abstract Garbage Collection for LambdaJS and a subset of Scheme pro…☆30Updated 9 years ago
- RLU resizable hash-table☆17Updated 9 years ago
- An implementation of the Chord lookup protocol verified in Coq using the Verdi framework☆10Updated 6 years ago
- Kodkod solver for relational logic☆74Updated last year
- Spring 2017 slides and homework for CMU's 15-316: Software Foundations of Security and Privacy.☆22Updated 7 years ago
- Experimental bed to study Linux faults☆25Updated 2 years ago
- Distributed persistent programming language with secure information flow types☆29Updated last month
- Programmatic Control Flow☆12Updated 7 years ago
- Infrastructure for explaining the outputs of differential dataflow computations☆22Updated 8 years ago
- SQL Testing Framework for the Peloton DBMS☆20Updated 7 years ago
- A next-good-bug recommender for Bugzilla☆11Updated 9 years ago
- Luck -- A Language for Property-Based Generators☆34Updated last month
- ☆17Updated 9 years ago
- Program Round-off Error Certifier via Static Analysis☆51Updated 6 months ago
- An advanced automated reasoning tool for memory consistency model specifications.☆21Updated 3 years ago
- A MiniKanren in Python☆35Updated 8 years ago