uwmisl / puddleLinks
A system for high-level, reliable programming of microfluidic devices
☆37Updated 6 years ago
Alternatives and similar repositories for puddle
Users that are interested in puddle are comparing it to the libraries listed below
Sorting:
- An implementation of the Tsetlin Machine in Rust☆16Updated 7 years ago
- Implementation of PageRank in timely dataflow☆74Updated 6 years ago
- ☆85Updated 12 years ago
- A nicer HDL.☆96Updated 8 years ago
- A rust wrapper for Infinity, a lightweight RDMA library for InfiniBand☆51Updated 6 years ago
- Some experiments… and maybe a surprise coming.☆33Updated 6 years ago
- Succinct Data Structures for Rust☆58Updated 2 months ago
- The missing puzzle piece for NVPTX experience with Rust☆61Updated 5 years ago
- Extendable HPC-Framework for CUDA, OpenCL and common CPU☆87Updated 5 years ago
- Out-of-memory sorting of large datasets map / reduce style processing☆47Updated 3 weeks ago
- Graph Intermediate Representation (GIR) library for ML☆22Updated 8 years ago
- ☆85Updated 9 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
- A fast, brute force, automatic theorem prover for first order logic☆40Updated 11 months ago
- Local-affinity first NUMA-aware allocator with optional fallback.☆28Updated 4 years ago
- ☆21Updated 6 years ago
- Collenchyma plugin for backend-agnostic BLAS operations☆17Updated 9 years ago
- A cross-platform RISC-V interpreter that implements the RV32IMA instruction set.☆24Updated 3 years ago
- Convenient `build.rs` helper for NVPTX crates☆60Updated 5 years ago
- Rust crate to support allocation in contexts☆15Updated 3 years ago
- Experimentation around 'emil-e/rapidcheck' by combining it with libFuzzer☆27Updated 7 years ago
- A "phase-fair" reader-writer spinlock☆11Updated 2 years ago
- Collection of Optimization algorithm in Rust☆52Updated 4 years ago
- Deducing Tock execution flows from Ibex Verilator traces☆70Updated 3 years ago
- Diagnostic tools for timely dataflow computations☆46Updated 3 years ago
- The HexagonE VM☆26Updated 3 years ago
- Dual Number library for Rust☆17Updated 4 years ago
- Code that we write in class.☆28Updated 4 years ago
- A concurrent, spsc ring-buffer with sized reservations☆100Updated 4 years ago
- SIMD implementation of argmin and argmax☆13Updated last year