PapenfussLab / bioshake
Bioinformatics pipelines with Haskell and Shake
☆55Updated 5 years ago
Related projects ⓘ
Alternatives and complementary repositories for bioshake
- A collection of bioinformatics algorithms☆12Updated 2 years ago
- Scientific workflow management☆51Updated 2 years ago
- Octree is a shallow tree structure for 3-dimensional points☆20Updated 4 years ago
- DIY Markov Chains.☆23Updated last week
- Painless general-purpose sampling.☆23Updated last week
- RNAlien - unsupervised RNA family model construction☆14Updated 3 years ago
- Model of baysig language in Haskell (minus estimate)☆15Updated 8 years ago
- Functional highly reproducible bioinformatics pipelines☆78Updated last week
- Bayesian co-estimation of phylogenies and multiple alignments via MCMC☆46Updated this week
- PDB parser in Haskell☆21Updated last year
- a logic-based trust-management system☆19Updated 12 years ago
- An reimplementation of the Statistics.Sample Haskell module using the foldl package☆21Updated 6 months ago
- Home of the fast-arithmetic library for number theory in ATS and Haskell.☆25Updated 3 months ago
- Physical dimensions and operations☆9Updated 6 years ago
- Small implementation of OutsideIn(X) type checking algorithm☆31Updated 9 years ago
- A categorical framework for circuit construction☆30Updated 8 years ago
- A library to build and execute typed scientific workflows☆47Updated 6 months ago
- An embedded probabilistic programming language.☆34Updated 7 years ago
- Time-varying values with start and end times.☆16Updated 5 months ago
- simple client connection library in haskell with builtin features: SSL/TLS, SOCKS, session management.☆61Updated last year
- Highly polymorphic algebraic structures with custom deriving strategies☆30Updated 3 years ago
- Automatically make lenses from data structures implementing Generic☆26Updated 9 years ago
- Agda-style equational reasoning in Haskell☆51Updated 6 months ago
- Extend GHC's type checker with user-defined rules, without writing a type checker plugin.☆18Updated 3 years ago
- Refactorio is a tool with which you build and maintain software.☆19Updated 5 months ago
- Constraint Handling Rules☆15Updated 2 months ago
- beyond refinement types + visualisation (supercedes predicate)☆9Updated 2 years ago
- Code for the submitted TyDe '16 extended abstract and C∘mp∘se '17 talk "`choose` Your Own Derivative"☆18Updated 7 years ago
- So, you want to write a DSL interpreter...☆25Updated 6 years ago