shriram / repro-in-csView external linksLinks
Tracking Responses to the "Reproducibility in Computer Science" Repository (http://reproducibility.cs.arizona.edu/)
☆59Oct 2, 2014Updated 11 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:
- A frontend for the Racket Package Catalog.☆13Feb 7, 2026Updated last week
- Eclipse plugin that synthesizes real Java code☆26Aug 20, 2014Updated 11 years ago
- A MiniKanren in Python☆36Jul 15, 2016Updated 9 years ago
- ☆15Nov 21, 2025Updated 2 months ago
- Workshop bringing together individuals interested in developing curriculum, workflows, and tools to strengthen reproducibility in researc…☆33Jul 12, 2015Updated 10 years ago
- KITTeL/KoAT☆21Dec 19, 2018Updated 7 years ago
- Optimizing Abstract Abstract Machines☆31Apr 6, 2017Updated 8 years ago
- X-Trace is a tool that provides fine-grained visibility into large, complex distributed systems. It can be used by application developers…☆28Jun 9, 2014Updated 11 years ago
- A distributed key-value cache with builtin materialized views.☆25Nov 14, 2014Updated 11 years ago
- JPEG parsing, transformation, and codec library for Racket☆18Sep 18, 2016Updated 9 years ago
- ☆20Nov 21, 2025Updated 2 months ago
- Distributed persistent programming language with secure information flow types☆29Feb 15, 2025Updated last year
- Interval Tree Clocks: A Logical Clock for Dynamic Systems☆39Nov 3, 2014Updated 11 years ago
- Template for a LaTeX beamer slides inspired by the (old) RWTH style☆33Aug 6, 2018Updated 7 years ago
- an attempt to implement miniKanren and microKanren in Python☆54Jul 16, 2014Updated 11 years ago
- For parts of https://www.ats-lang.org☆26Jun 29, 2025Updated 7 months ago
- Boilerplate project for MOTW Workshop 2015☆10Mar 3, 2016Updated 9 years ago
- AI based Data Analyst☆15Aug 27, 2025Updated 5 months ago
- A language for symbolic transitions system, inspired by Ivy.☆72Sep 5, 2025Updated 5 months ago
- Create your PHP extension in C++, in a minute.☆71May 19, 2014Updated 11 years ago
- Library for symbolic automata and symbolic visibly pushdown automata☆71Jul 12, 2025Updated 7 months ago
- This is flask and Vue based dummy project created for App Dev II project sessions☆18Mar 25, 2025Updated 10 months ago
- A framework, data and configs for generating and building Tesseract OCR lang.traineddata model files, specifically for Japanese☆10Dec 9, 2013Updated 12 years ago
- This repository is the code implementing some classic algorithms in co-location pattern minning.☆13May 9, 2014Updated 11 years ago
- Scalable DBSCAN and OPTICS for clustering high-dimensional datasets using random projections☆13Nov 1, 2024Updated last year
- Use Travis CI with Racket☆43Feb 27, 2021Updated 4 years ago
- Robots powered by Constructive Reals☆34Nov 3, 2017Updated 8 years ago
- Git mirror of http://hg.sagemath.org/sage-main/☆38Jul 12, 2012Updated 13 years ago
- (Somewhat) Algebraic Data Types for Racket☆34Jan 15, 2023Updated 3 years ago
- ☆11Aug 14, 2014Updated 11 years ago
- Redis tcp map for postfix☆12Jun 28, 2024Updated last year
- Poio API is a free and open source Python library to access and search data from language documentation in your linguistic analysis workf…☆18May 18, 2018Updated 7 years ago
- A script tool for generating figures from experiment results, based on matplotlib☆12May 10, 2019Updated 6 years ago
- DNS resolution via glibc for rust☆11Nov 27, 2025Updated 2 months ago
- Speech ANDroid Apps☆20Jan 22, 2014Updated 12 years ago
- Focused Crawler for VT's CTRNet☆10May 13, 2013Updated 12 years ago
- [ICSE '25] LLM Based Input Space Partitioning Testing for Library APIs☆13Jul 27, 2025Updated 6 months ago
- (Labeled) Latent Dirichlet Allocation on a sentence level with Gibbs Sampling☆10Mar 27, 2014Updated 11 years ago
- "Save as DAISY" add-in for Microsoft Word☆10Dec 22, 2025Updated last month