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:
- Bioinformatics pipelines with Haskell and Shake☆56Updated 5 years ago
- Model of baysig language in Haskell (minus estimate)☆15Updated 9 years ago
- PDB parser in Haskell☆21Updated 2 years ago
- Self-Organising Map implementation in Haskell☆24Updated 2 years ago
- Cloud Haskell - Asynchronous Execution☆18Updated 10 months ago
- A message-passing library, intended for simplifying network applications☆43Updated 7 years ago
- Octree is a shallow tree structure for 3-dimensional points☆20Updated 4 years ago
- Haskell combinators for executing IO actions in parallel on a thread pool☆47Updated 2 years ago
- Old Nix expressions for Idris packaging. Idris support moved into Nixpkgs!☆28Updated 9 years ago
- An efficient graph library for Haskell☆39Updated last month
- Scientific workflow management☆51Updated 2 years ago
- Small implementation of OutsideIn(X) type checking algorithm☆31Updated 10 years ago
- 🌋 Idris implementation of patricia tree☆23Updated 4 years ago
- A typed logic programming language embedded in Haskell☆49Updated 12 years ago
- ☆20Updated 6 years ago
- Concurrency library inspired by Erlang/OTP☆18Updated 2 months ago
- Simple Haskell package for efficiently indexable finite and infinite enumerations.☆12Updated 2 months ago
- Universal Register Machine implemented at the type-level of Haskell☆23Updated 9 years ago
- Some tools for provability logic☆37Updated 7 years ago
- Time-varying values with start and end times.☆16Updated last month
- Crazy figures and animations with Haskell☆34Updated 6 years ago
- the (very humble) beginnings of a kafka client for haskell☆21Updated 5 years ago
- haskell lazy evaluation illustrated☆72Updated 8 years ago
- Haskell distributed parallel Haskell☆37Updated 7 years ago
- Refactorio is a tool with which you build and maintain software.☆19Updated last year
- Flexible, fast and constant-space CSV library for Haskell using conduits☆52Updated 2 months ago
- System POSIX bindings for Idris.☆36Updated 6 years ago
- OCaml back end for Idris☆22Updated 7 years ago
- Yet another concurrent playground☆33Updated 9 years ago
- Haskell implementation of ULIDs (Unique Lexicographically Sortable Identifiers)☆34Updated 5 months ago