uwmisl / puddleLinks
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
Sorting:
- Source code for the Shifted Hamming Distance (SHD) filtering mechanism for sequence alignment. Described in the Bioinformatics journal pa…☆35Updated 5 years ago
- Succinct Data Structures for Rust☆58Updated 2 weeks ago
- BWT, FM-index and bits vector for analyzing DNA sequence data.☆18Updated 7 years ago
- A lightweight Datalog engine in Rust☆57Updated 3 weeks ago
- Out-of-memory sorting of large datasets map / reduce style processing☆47Updated 3 weeks ago
- An implementation of the Tsetlin Machine in Rust☆16Updated 7 years ago
- Protein Data Bank (pdb) file parser☆9Updated 3 years ago
- ONNX for Rust☆17Updated 7 years ago
- Collenchyma plugin for backend-agnostic BLAS operations☆17Updated 9 years ago
- A fast, brute force, automatic theorem prover for first order logic☆39Updated 9 months ago
- Newest iteration of PurpleDrop. Reimplemented in kicad5☆16Updated 3 years ago
- ☆49Updated 5 years ago
- Cute tricks for SIMD vectorized binary encoding and decoding of nucleotides, in Rust.☆124Updated 4 years ago
- ☆83Updated 12 years ago
- Rust crate which compiles minisat and provides an interface (C/C++ compiler required)☆10Updated 3 years ago
- Rust bindings to parasail, a SIMD-accelerated pairwise sequence alignment library.☆22Updated 8 years ago
- The missing puzzle piece for NVPTX experience with Rust☆60Updated 5 years ago
- Implementation of the RISE language☆14Updated 4 years ago
- Implementation of PageRank in timely dataflow☆74Updated 6 years ago
- Some experiments… and maybe a surprise coming.☆33Updated 6 years ago
- A DSL and compiler for generating peephole optimizers for Cranelift☆64Updated 5 years ago
- ☆28Updated 4 years ago
- Experimentation around 'emil-e/rapidcheck' by combining it with libFuzzer☆27Updated 7 years ago
- Rust matrix multiplication benchmarks☆20Updated 2 years ago
- Convenient `build.rs` helper for NVPTX crates☆60Updated 5 years ago
- Space efficient (graph) algorithms☆18Updated 4 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
- shapechecking neural net DSL using Hindley-Milner type system(compiles to pytorch as proof of concept)☆51Updated 2 years ago
- program synthesis is possible☆41Updated 5 years ago
- Safe and fast mathematical operations with static arrays in the Rust programming language☆42Updated 3 years ago