plasma-umass / snakefish
parallel Python
☆12Updated 4 years ago
Alternatives and similar repositories for snakefish:
Users that are interested in snakefish are comparing it to the libraries listed below
- LLVM-jitted bitmaps☆27Updated 4 years ago
- Hierarchical Delta Debugging Framework☆58Updated last month
- A C-family AST implementation designed to be an IR for DSL compilers.☆16Updated 7 years ago
- Python AST interpreter (aka tree-walking interpreter) in Python. Aka meta-circular interpreter.☆15Updated 4 years ago
- Aerie: a regex-like engine nested word grammars☆16Updated 2 years ago
- Partial evaluation of Python code☆20Updated last year
- ☆16Updated 5 years ago
- Parallel Delta Debugging Framework☆50Updated last month
- The space of memory management research and systems produced by the PLASMA lab (https://plasma-umass.org).☆20Updated 3 years ago
- A benchmark for cache efficient data structures.☆29Updated 5 years ago
- fine-grained, cgroup-based tool for profiling memory usage over time of a process tree☆42Updated 6 months ago
- RLU resizable hash-table☆16Updated 9 years ago
- Floating-Point Scalar Evolution☆12Updated 5 years ago
- Extended Roofline Model - LLVM source tree with additional libraries for the analysis of the dynamic execution in the interpreter☆17Updated 7 years ago
- ☆10Updated 3 years ago
- Noncanonical (but only existing) repo for the pijnu PEG parser☆24Updated 13 years ago
- Markup source code showing optimizations☆36Updated 4 years ago
- The website for freeCompilerCamp's classroom tutorials, using Github Pages.☆32Updated 3 years ago
- A Parallelism Profiler with What-If analyses for Intel Threading Building Blocks (TBB) programs☆12Updated 6 years ago
- Translate Python's bytecode to data and back again...☆17Updated 2 weeks ago
- OCCAM: Object Culling and Concretization for Assurance Maximization☆26Updated last year
- llvm opt fuzzer and bounded exhaustive test generator☆39Updated 2 years ago
- Parallel Self-Adjusting Computation☆11Updated 3 years ago
- A simple VM to play with OSR in LLVM☆14Updated 7 years ago
- SIMD recipes, for various platforms (collection of code snippets)☆48Updated 3 years ago
- An advanced automated reasoning tool for memory consistency model specifications.☆21Updated 3 years ago
- Support for ternary logic in SSE, XOP, AVX2 and x86 programs☆31Updated 2 weeks ago
- Experimentation around 'emil-e/rapidcheck' by combining it with libFuzzer☆27Updated 7 years ago
- Transactional Data Structure Libraries☆12Updated 7 years ago
- Quick experiment to see how expensive safety is in C, for research☆12Updated 5 years ago