5 projects
peppercornenumerator
Domain-level nucleic acid reaction enumerator
drtransformer
Heuristic cotranscriptional folding using the nearest neighbor energy model.
crnverifier
Verify the equivalence of chemical reaction networks (CRNs), or the correctness of an implementation CRN with respect to a formal CRN.
dsdobjects
Base classes and prototype objects for DSD design
crnsimulator
Simulate CRNs using ODEs.
