The Plutus language implementation and tools

Future-proof note-taking and publishing based on Zettelkasten (superseded by Emanote: https://github.com/srid/emanote)

Haskell Equational Reasoning Model-to-Implementation Tunnel

Efficient, high-level dynamic programming

Passage is a PArallel SAmpler GEnerator. The user specifies a hierarchical Bayesian model and data using the Passage EDSL, and Passage generates code to sample the posterior distribution in parallel.

Select coins, build transactions

no-frills Haskell arrays

efficient encoding of short RNA and DNA sequences

A collection of modules for dealing with Protein Data Bank files

GSoC 2014

Haskell library to handle Infernal-related file formats

ViennaRNA RNAfold using the ADPfusion library

streaming FASTA handling in Haskell

Turner 2004 energy parameter parser

RNAfold energy tables and Turner 2004 converter

Importer for FR3D resources

Nussinov78 using the ADPfusion library