uwmisl / puddle
A system for high-level, reliable programming of microfluidic devices
☆37Updated 5 years ago
Alternatives and similar repositories for puddle:
Users that are interested in puddle are comparing it to the libraries listed below
- A Parallelism Profiler with What-If analyses for Intel Threading Building Blocks (TBB) programs☆13Updated 7 years ago
- Implementation of PageRank in timely dataflow☆73Updated 6 years ago
- Source code for the Shifted Hamming Distance (SHD) filtering mechanism for sequence alignment. Described in the Bioinformatics journal pa…☆33Updated 5 years ago
- BWT, FM-index and bits vector for analyzing DNA sequence data.☆17Updated 7 years ago
- Local-affinity first NUMA-aware allocator with optional fallback.☆24Updated 3 years ago
- Collenchyma plugin for backend-agnostic BLAS operations☆17Updated 8 years ago
- An implementation of the Tsetlin Machine in Rust☆16Updated 6 years ago
- An implementation of Ngo et al's GenericJoin in timely dataflow.☆87Updated 5 years ago
- Experimentation around 'emil-e/rapidcheck' by combining it with libFuzzer☆27Updated 7 years ago
- A nicer HDL.☆96Updated 7 years ago
- Out-of-memory sorting of large datasets map / reduce style processing☆47Updated 3 weeks ago
- Rust crate which compiles minisat and provides an interface (C/C++ compiler required)☆10Updated 3 years ago
- Programming Language for Continuous Deep Analytics☆45Updated last year
- ☆83Updated 12 years ago
- Newest iteration of PurpleDrop. Reimplemented in kicad5☆16Updated 3 years ago
- A small DFA for under 16 states☆51Updated 6 years ago
- Compile Rust into PTX☆14Updated 5 years ago
- Collection of techniques for (binary) string searching☆23Updated 5 years ago
- The HexagonE VM☆25Updated 2 years ago
- ONNX for Rust☆17Updated 7 years ago
- A framework to find good combinations of optimizations for computational kernels on GPUs.☆25Updated 4 years ago
- Graph Intermediate Representation (GIR) library for ML☆22Updated 8 years ago
- A lightweight Datalog engine in Rust☆57Updated 6 years ago
- DEPRECATED: this repo has been moved into https://github.com/dmlc/tvm/blob/master/rust☆7Updated 6 years ago
- A rust wrapper for Infinity, a lightweight RDMA library for InfiniBand☆50Updated 6 years ago
- An API that can be used to expose an SMT-LIB compliant SMT solver to a developer tool written in Rust.☆36Updated 5 years ago
- Nonblocking data structures☆12Updated 10 years ago
- Sigmoid Numbers backed by IEEE Floats☆16Updated 7 years ago
- Some experiments… and maybe a surprise coming.☆33Updated 6 years ago
- The missing puzzle piece for NVPTX experience with Rust☆59Updated 5 years ago