anthezium / CS510-Advanced-Topics-in-ConcurrencyLinks
CS510 Advanced Topics in Concurrency Project
☆15Updated 5 years ago
Alternatives and similar repositories for CS510-Advanced-Topics-in-Concurrency
Users that are interested in CS510-Advanced-Topics-in-Concurrency are comparing it to the libraries listed below
Sorting:
- RLU resizable hash-table☆17Updated 9 years ago
- A Parallelism Profiler with What-If analyses for Intel Threading Building Blocks (TBB) programs☆13Updated 7 years ago
- MinCaml Compiler implementation by Haskell☆11Updated 13 years ago
- A small DFA for under 16 states☆51Updated 7 years ago
- Weighted Regular Expressions, an experiment in porting an academic Haskell library to Rust☆20Updated 5 years ago
- Wren: Nonblocking Reads in a Partitioned Transactional Causally Consistent Data Store☆8Updated 7 years ago
- ☆29Updated 5 years ago
- ☆27Updated last month
- Garbage collected concurrent hash tries.☆19Updated 8 years ago
- a small C++ lattice library☆15Updated 5 years ago
- Featherweight C, Executable Semantics: Parser, Type Checker, and Abstract Machine☆26Updated 4 years ago
- A just-in-time compiler for MIT 6.004's "Beta" processor.☆40Updated 10 years ago
- ☆10Updated 10 years ago
- The space of memory management research and systems produced by the PLASMA lab (https://plasma-umass.org).☆20Updated 4 years ago
- SIMD recipes, for various platforms (collection of code snippets)☆49Updated 4 years ago
- Some experiments with SMT solvers and GIMPLE IR☆38Updated last year
- Lightweight performance and debugging tools☆17Updated 5 years ago
- Supporting code for the concurrency hierarchy described in this blog post: https://travisdowns.github.io/blog/2020/07/06/concurrency-cost…☆26Updated 3 years ago
- The rewrite of TLAPM, the TLAPS proof manager☆1Updated 5 years ago
- Quick experiment to see how expensive safety is in C, for research☆12Updated 6 years ago
- Quick sort code using AVX2 instructions☆69Updated 8 years ago
- code for examining determinism of performance counters☆21Updated 4 years ago
- C++ QD locking library☆11Updated 2 years ago
- Benchmark supporting baseless libel against clang-format☆11Updated 5 years ago
- Spatial layout specifications for memory management systems.☆19Updated 4 years ago
- Utilities for the TLA+ ecoystem and model-based testing using TLA+.☆28Updated 2 years ago
- MlpIndex - Extremely fast ordered index via memory level parallelism☆12Updated 6 years ago
- Floating-Point Scalar Evolution☆12Updated 5 years ago
- TLA+ specification for the Raft consensus algorithm (with Pre-Vote)☆12Updated 7 years ago
- Restartable Sequences: a userspace implementation of cheap per-cpu atomic operations☆36Updated 6 years ago