Gabriella439 / suns-search
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:
- Model of baysig language in Haskell (minus estimate)☆15Updated 8 years ago
- PDB parser in Haskell☆21Updated 2 years ago
- Small implementation of OutsideIn(X) type checking algorithm☆31Updated 10 years ago
- Octree is a shallow tree structure for 3-dimensional points☆20Updated 4 years ago
- Connecting vinyl records to the wider ecosystem through Generics☆12Updated 6 years ago
- ICFP Bingo 2017 (Idris edition)☆30Updated 5 years ago
- A message-passing library, intended for simplifying network applications☆43Updated 7 years ago
- An efficient graph library for Haskell☆39Updated 9 months ago
- Old Nix expressions for Idris packaging. Idris support moved into Nixpkgs!☆28Updated 9 years ago
- https://mitchellwrosen.github.io/haskell-papers☆22Updated 6 years ago
- Example project for developing PureScript projects with Nix☆19Updated 6 years ago
- ☆23Updated 7 years ago
- Integrates QuickChecked properties into the type system with phantom types☆34Updated 8 years ago
- A general abstraction for manipulating elements of container data structures☆11Updated last year
- A Haskell client library for Cayley database graph☆14Updated last week
- Spacemacs Layer for LiquidHaskell☆13Updated 7 years ago
- On-line accumulation of rank-based statistics such as quantiles and trimmed means☆31Updated 10 months ago
- 🌋 Idris implementation of patricia tree☆22Updated 4 years ago
- ☆20Updated 6 years ago
- Haskell combinators for executing IO actions in parallel on a thread pool☆47Updated last year
- Yet another concurrent playground☆33Updated 9 years ago
- ☆16Updated 3 years ago
- purescript-behaviors in PSCi☆19Updated 5 years ago
- Refactorio is a tool with which you build and maintain software.☆19Updated 11 months ago
- Compositional type checking for Haskell☆37Updated 14 years ago
- a logic-based trust-management system☆19Updated 12 years ago
- Bioinformatics pipelines with Haskell and Shake☆56Updated 5 years ago
- FFI-based byte buffers for Idris☆10Updated 5 years ago
- the (very humble) beginnings of a kafka client for haskell☆21Updated 4 years ago
- Agda-style equational reasoning in Haskell☆53Updated last month