Gabriella439 / suns-searchLinks
Fast all-atom protein structural search engine
☆39Updated 2 years ago
Alternatives and similar repositories for suns-search
Users that are interested in suns-search are comparing it to the libraries listed below
Sorting:
- Octree is a shallow tree structure for 3-dimensional points☆20Updated 4 years ago
- Model of baysig language in Haskell (minus estimate)☆15Updated 9 years ago
- Bioinformatics pipelines with Haskell and Shake☆56Updated 5 years ago
- Old Nix expressions for Idris packaging. Idris support moved into Nixpkgs!☆28Updated 9 years ago
- Invertible parsing for S-expressions☆34Updated 2 months ago
- UCI Datasets for Haskell☆12Updated 8 years ago
- PDB parser in Haskell☆21Updated 2 years ago
- ICFP Bingo 2017 (Idris edition)☆30Updated 5 years ago
- Abstactions and concrete implementations of mutable containers☆14Updated 8 years ago
- Example of embedding Servant within a Yesod Application☆15Updated 8 years ago
- Small implementation of OutsideIn(X) type checking algorithm☆31Updated 10 years ago
- the (very humble) beginnings of a kafka client for haskell☆21Updated 5 years ago
- ☆20Updated 6 years ago
- Cloud Haskell - Asynchronous Execution☆18Updated 9 months ago
- Universal Register Machine implemented at the type-level of Haskell☆23Updated 9 years ago
- Agda-style equational reasoning in Haskell☆53Updated 2 months ago
- Spacemacs Layer for LiquidHaskell☆13Updated 8 years ago
- Constructs FAlgebras from typeclasses, making Haskell functions homoiconic☆18Updated 6 years ago
- ☆15Updated 9 years ago
- Experiments in implementing functional data structures in Idris☆15Updated 5 years ago
- Model-view-controller☆64Updated 2 years ago
- Yet another concurrent playground☆33Updated 9 years ago
- Integrates QuickChecked properties into the type system with phantom types☆34Updated 8 years ago
- Provides a type-safe way of working with permutations in Idris☆36Updated 3 years ago
- Haskell distributed parallel Haskell☆37Updated 7 years ago
- An reimplementation of the Statistics.Sample Haskell module using the foldl package☆21Updated last year
- Haskell Package for operating with selections over an underlying functor☆22Updated 4 years ago
- Effectful bindings for SQLite (forked from IdrisWeb)☆41Updated 7 years ago
- System POSIX bindings for Idris.☆36Updated 6 years ago
- An extension to Data.Serialize with built-in version control☆59Updated 3 months ago