ucsb-cs / submit
Repository for tracking issues, suggestions with the submit.cs system
☆9Updated 6 years ago
Related projects: ⓘ
- Human-Computation Runtime☆47Updated 5 months ago
- Public notes, etc. for CMPSCI 630, the UMass CS graduate systems course.☆20Updated last year
- ☆38Updated this week
- Automatically exported from code.google.com/p/sequitur☆47Updated 2 months ago
- Catamount is a compute graph analysis tool to load, construct, and modify deep learning models and to symbolically analyze their compute …☆12Updated 3 years ago
- A set of benchmark problems and implementations for Python☆62Updated last year
- Piazza bot☆10Updated 8 years ago
- Moss summarizer☆184Updated 2 years ago
- A vertex-centric CUDA/C++ API for large graph analytics on GPUs using the Gather-Apply-Scatter abstraction☆23Updated 10 years ago
- OverCode's public repo (OverCode 2.0 is still a private repo and will hopefully be released soon). See http://people.csail.mit.edu/elg/ov…☆22Updated 7 years ago
- Low-Level Data Structure - efficient data structures, and fast data access in the 3.x/4.x/5.x/6.x kernel☆118Updated last year
- Python bindings for libNVVM☆37Updated 10 years ago
- An advanced automated reasoning tool for memory consistency model specifications.☆20Updated 2 years ago
- The extensive approach to SLE bibliography☆28Updated 4 years ago
- Programmatic Control Flow☆13Updated 7 years ago
- Reduced on-disk Suffix Array☆20Updated 10 years ago
- An experimental distributed execution engine☆21Updated 4 years ago
- A platform for unified linear and relational algebra analytics, built on the Accumulo NoSQL database☆11Updated 2 years ago
- An unofficial copy of MIT's Alloy Analyzer model checking tool.☆20Updated 11 years ago
- A Lightweight Graph Processing Framework for Multi-GPUs☆14Updated 9 years ago
- ☆24Updated 3 years ago
- ☆56Updated 7 years ago
- An interface to SAT solver tools (like minisat)☆58Updated last year
- Enable Polyhedral JIT compilation☆9Updated 6 years ago
- ☆30Updated this week
- Tracking Responses to the "Reproducibility in Computer Science" Repository (http://reproducibility.cs.arizona.edu/)☆58Updated 9 years ago
- Programmer De-anonymization via Code Stylometry☆73Updated 7 years ago
- Computer Security Class - Department of Informatics and Telecommunications, University of Athens☆12Updated 7 years ago
- ibmgraphblas☆27Updated 5 years ago
- X-Trace is a tool that provides fine-grained visibility into large, complex distributed systems. It can be used by application developers…☆73Updated 2 months ago