Software
Software that I developed/maintained/contributed to

Infrared
A framework for efficient, tree decomposition based solving of declaratively modeled problems. Models can be solved by optimization or Boltzmann sampling.VARNA API
A Python package facilitates the usage of VARNA, an RNA secondary structure drawing tool. The package helps to generate command line required to communicate with VARNA.
RNAPOND
A sampling iterative approach based on Infrared. RNAPOND generates design candidates respecting to positive design objectives while negative design principles are captured by introducing disruptive base pairs at each step.