emeryberger / COMPSCI590S
Systems for Data Science repo
☆12Updated 6 years ago
Related projects ⓘ
Alternatives and complementary repositories for COMPSCI590S
- Sample Code for “Sequential and Parallel Algorithms and Data Structures -- The Basic Toolbox” Book☆23Updated 7 years ago
- Distributed Systems Reading Group☆20Updated 6 years ago
- CMSC 23300 - Networks and Distributed Systems☆66Updated 4 years ago
- Public notes, etc. for CMPSCI 630, the UMass CS graduate systems course.☆21Updated last year
- Solutions to "Introduction to Algorithms" by Cormen, Leiserson, Rivest, Stein (CLRS)☆43Updated 11 years ago
- Incremental implementation of a scheme compiler☆29Updated 11 years ago
- ☆13Updated 7 years ago
- ☆49Updated 11 years ago
- ☆18Updated 4 months ago
- Python bindings for libNVVM☆37Updated 10 years ago
- Code experiments to exercise ideas while reading "Engineering a Compiler".☆27Updated 5 years ago
- ECE 459: Programming for Performance, Winter 2015☆72Updated 9 years ago
- MinCaml Compiler implementation by Haskell☆11Updated 13 years ago
- A Parallelism Profiler with What-If analyses for Intel Threading Building Blocks (TBB) programs☆12Updated 6 years ago
- CS341 for Spring 2024☆10Updated 3 months ago
- A collection of lambda calculus interpreters and development tools☆14Updated 2 years ago
- Ye Olde Computer Science Scrolls!☆102Updated 7 years ago
- Formalization of FLP Impossibility Theorem☆18Updated 9 years ago
- ☆41Updated 8 years ago
- CS345 Programming Languages at University of San Francisco☆19Updated 8 years ago
- Tracing JIT compiler and runtime for a subset of the JVM☆23Updated 10 months ago
- Support for for students (Python)☆57Updated last week
- Transactional Data Structure Libraries☆12Updated 6 years ago
- ☆73Updated 10 years ago
- Implementations of algorithms and solutions to exercises and problems from the book Introduction to Algorithms, Third Edition.☆18Updated last year
- Source code for the "C Unleashed" book by Richard Heathfield, Lawrence Kirby, et al.☆70Updated 3 years ago
- The Data Broker (DBR) is a distributed, in-memory container of key-value stores enabling applications in a workflow to exchange data thro…☆19Updated 3 years ago
- A Coq library for reasoning (co)inductively on infinite sequences using LTL-like modal operators☆15Updated last year