Gabriella439 / suns-searchLinks
Fast all-atom protein structural search engine
☆40Updated 3 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 9 years ago
- PDB parser in Haskell☆21Updated 2 years ago
- Bioinformatics pipelines with Haskell and Shake☆56Updated 6 years ago
- Model-view-controller☆64Updated 3 years ago
- Haskell combinators for executing IO actions in parallel on a thread pool☆47Updated 2 years ago
- Octree is a shallow tree structure for 3-dimensional points☆20Updated 5 years ago
- Universal Register Machine implemented at the type-level of Haskell☆23Updated 9 years ago
- Scientific workflow management☆51Updated 3 years ago
- Old Nix expressions for Idris packaging. Idris support moved into Nixpkgs!☆28Updated 10 years ago
- So, you want to write a DSL interpreter...☆25Updated 7 years ago
- On-line accumulation of rank-based statistics such as quantiles and trimmed means☆31Updated last year
- Quick example of Eta on Android☆24Updated 8 years ago
- the (very humble) beginnings of a kafka client for haskell☆21Updated 5 years ago
- ICFP Bingo 2017 (Idris edition)☆30Updated 6 years ago
- Spacemacs Layer for LiquidHaskell☆13Updated 8 years ago
- Transactional cache with configurable persistence☆45Updated 2 years ago
- Haskell library for semigroup actions and torsors☆64Updated 10 months ago
- Can we write a querying language with Dhall? Let's find out!☆63Updated 7 years ago
- Invertible parsing for S-expressions☆34Updated 8 months ago
- An reimplementation of the Statistics.Sample Haskell module using the foldl package☆22Updated last year
- ☆20Updated 6 years ago
- Zippers based on lenses and traversals☆41Updated 2 years ago
- A GHC type checker plugin for row types☆39Updated 8 years ago
- Yet another concurrent playground☆33Updated 10 years ago
- Integrations with Vinyl/Frames records.☆44Updated 3 years ago
- An extension to Data.Serialize with built-in version control☆59Updated 3 months ago
- Auto-generate a server for your datatype☆30Updated 3 years ago
- RPG languages learning tool☆38Updated 6 years ago
- Example project for developing PureScript projects with Nix☆19Updated 7 years ago
- Comma (and other) separated values☆78Updated 2 years ago