trishume / seqalign_pathing
Rust implementation of sequence alignment / Levenshtein distance by A* acceleration of the DP algorithm
☆21Updated 7 years ago
Alternatives and similar repositories for seqalign_pathing:
Users that are interested in seqalign_pathing are comparing it to the libraries listed below
- Beating the CAP theorem with the epidemic register☆16Updated 4 years ago
- SIMD optimised algorithms and data types☆18Updated 5 years ago
- Datalog + Egg = Good☆66Updated last year
- IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections☆15Updated 7 years ago
- Your happy place for learning APL☆16Updated 2 years ago
- A λ-calculus shell (because I love writing shells).☆11Updated 5 years ago
- A general purpose relational language☆20Updated 5 years ago
- A set of tools for working with datafrog☆22Updated 5 years ago
- Type-Level Programming in Rust☆27Updated 3 years ago
- Owl's OCaml Interface to Eigen3 C++ Library☆33Updated 2 years ago
- Rust-based Scheme Compiler, written in the Nanopass style☆12Updated 6 years ago
- A lightweight Datalog engine in Rust☆57Updated 6 years ago
- egg is a flexible, high-performance e-graph library☆11Updated 11 months ago
- An experiment in using DuckDB for a datalog / egg☆25Updated last year
- A Literate Programming Tool inspired by NoWeb, implemented in OCaml☆34Updated 6 years ago
- translations of a lambda abstraction to combinations of operators☆18Updated 5 years ago
- A DSL/LISP dialect written in Haskell☆21Updated 6 years ago
- A synthesis-enabled solver for relational logic☆27Updated 6 years ago
- Column-oriented binary format for immutable datasets☆9Updated 5 years ago
- Jane Street Capital's standard library overlay☆34Updated 4 months ago
- ☆35Updated 5 years ago
- An OCaml javascript kernel for the IPython notebook☆58Updated 7 years ago
- Common lisp implementation of Val Schorr's Meta-II language☆18Updated 8 years ago
- OCaml annot updated to work with latest 3.10+ annot file format (with Call/Ident info)☆37Updated 6 years ago
- An open-source database inspired by Datomic☆30Updated last year
- Utilities for the TLA+ ecoystem and model-based testing using TLA+.☆29Updated 2 years ago
- Distributed computing library☆35Updated 6 years ago
- Clojure's Transducers in Haskell☆40Updated 8 years ago
- A compiler for a simple language using llvm☆35Updated last year
- ☆11Updated 3 years ago