Our theoretical and experimental work is aided by custom software developed in-house.
DNA sequence design and analysis tool for designing single-stranded DNA tiles. Written in python by Damien Woods, David Doty and Erik Winfree.
SST-sequence-design was used to design DNA sequences for the paper:
- Damien Woods*, David Doty*, Cameron Myhrvold, Joy Hui, Felix Zhou, Peng Yin, Erik Winfree. (*Joint first co-authors)
Diverse and robust molecular algorithms using reprogrammable DNA self-assembly.
Nature 567:366–372. 2019. [pdf].
A patch-based version control system based on a new datastructure for asynchronous computing, itself suggested by a result from category theory.
Pijul is theoretically correct (i.e. provably satisfies a number of axioms), and fast. The project required us to write other libraries to achieve the theoretical complexity in actual programs:
Sanakirja, a fully transactional key-value store where tables can be forked in O(log n), where n is the number of bindings in the store.
Thrussh, an SSH library handling both the client side and server side of the SSH 2 protocol.
The Nest, a hosting platform for Pijul repositories.
The whole project is written in Rust.
Pijul was featured in the following software conferences: