This list was seeded by the participants of the 2008 workshop on [http://www.sys-bio.org/sbwWiki/workshops/standardsandspecifications08 Standards and Specifications in Synthetic Biology].

This list was seeded by the participants of the 2008 workshop on [http://www.sys-bio.org/sbwWiki/workshops/standardsandspecifications08 Standards and Specifications in Synthetic Biology].

+

+

Please feel free to add information about a computation tool for synthetic biology (CADs, simulators, databases, lab managements systems, automation software, anything) to the list. Place it alphabetically, name the main project contributors, provide a canonical link to the program, and add a paragraph of descriptive text. Please date your entry.

== Antimony ==

== Antimony ==

-

http://staff.washington.edu//deepakc/PartSyntax.pdf

+

http://antimony.sourceforge.net/

'''Lucian Smith, Deepak Chandran, Herbert Sauro'''

'''Lucian Smith, Deepak Chandran, Herbert Sauro'''

Line 17:

Line 19:

Note: Athena has been succeeded by [http://www.tinkercell.com Tinkercell]

Note: Athena has been succeeded by [http://www.tinkercell.com Tinkercell]

+

+

TinkerCell is a highly flexible visual tool. Although still in development, it will have all the features in Athena. In addition, TinkerCell allows a family tree of biological parts to be loaded from a database. TinkerCell comes with a drawing program that allows users to draw their own graphical representations (if they do not like the defaults). C libraries, such as simulations or graph analysis, can easily be incorporated into TinkerCell. New plug-ins can also be added very easily.

== BioJade==

== BioJade==

Line 24:

Line 28:

BioJADE is a design and simulation tool for synthetic biological systems. BioJADE is written in Java, and makes interactive use of BioBrick Repositories.

BioJADE is a design and simulation tool for synthetic biological systems. BioJADE is written in Java, and makes interactive use of BioBrick Repositories.

BioJADE enables system designers to specify a system abstractly, tune it, simulate its behavior using a variety of simulators, and finally package the part for use by either the designer or the public.

BioJADE enables system designers to specify a system abstractly, tune it, simulate its behavior using a variety of simulators, and finally package the part for use by either the designer or the public.

+

+

== BioMortar ==

+

http://igem.uwaterloo.ca/BioMortar

+

'''Andre Masella'''

+

+

BioMortar is a lab management system designed specifically to deal with BioBricks. It is also capable of generating cookie-cutter protocols from user-specified templates and tracking the results, including gel images. It is released under the MIT License.

GeneDesign is a suite of algorithms that allow users to edit several features of protein coding sequences, including codon usage and restriction enzyme recognition site presence. It will then generate a list of oligos and a road map for the assembly of the sequence by PCR It is written in Perl and is served over the internet; the code is available for local installations. A new, improved version is due before the end of 2008. [http://www.ncbi.nlm.nih.gov/pubmed/16481661 PMID: 16481661]

GeneDesign is a suite of algorithms that allow users to edit several features of protein coding sequences, including codon usage and restriction enzyme recognition site presence. It will then generate a list of oligos and a road map for the assembly of the sequence by PCR It is written in Perl and is served over the internet; the code is available for local installations. A new, improved version is due before the end of 2008. [http://www.ncbi.nlm.nih.gov/pubmed/16481661 PMID: 16481661]

+

+

== Gene Designer ==

+

https://www.dna20.com/tools/genedesigner.php

+

'''DNA2.0'''

+

+

This integrated, stand-alone secure software helps you create DNA constructs on your desktop with unprecedented ease and speed. Available for Mac and PC. For details see [http://www.ncbi.nlm.nih.gov/pubmed/16756672/ Villalobos et al].

== GeNetDes ==

== GeNetDes ==

Line 59:

Line 75:

GenoCAD is a web-based application guiding users through the design of part-based genetic systems. GenoCAD uses context-free grammars to formalize design strategies for synthetic genetic systems. This approach provides a path to organizing libraries of genetic parts according to their biological functions. It also provides a framework for the systematic design of new genetic constructs consistent with the design principles expressed in the grammar. Using parsing algorithms, GenoCAD enables the verification of existing constructs.doi:10.1093/bioinformatics/btm446

GenoCAD is a web-based application guiding users through the design of part-based genetic systems. GenoCAD uses context-free grammars to formalize design strategies for synthetic genetic systems. This approach provides a path to organizing libraries of genetic parts according to their biological functions. It also provides a framework for the systematic design of new genetic constructs consistent with the design principles expressed in the grammar. Using parsing algorithms, GenoCAD enables the verification of existing constructs.doi:10.1093/bioinformatics/btm446

ProMoT is the process modeling tool designed for the convenient setup of synthetic biology models in a modular fashion.

+

Genetic circuits are built just by placing biological parts on a canvas (using drag and drop) and by connecting them through ”wires” that enable ﬂow of signal carriers, as it happens in electrical

+

engineering. ProMoT supports two different modeling approaches -- a quantitative and a qualitative modeling approach. The quantitative approach is based on differential algebraic equations (DAEs)

+

whereas the qualitative approach is a description of the system in the form of logical equations. The final code associated with a circuit can be exported into Matlab or SBML format (Level-1 and Level-2)

+

allowing to run both deterministic and stochastic simulation.

+

+

For more detailed information, please refer to the recent papers [http://dx.doi.org/doi:10.1093/bioinformatics/btp029 ProMoT: Modular Modeling for Systems Biology] and

The Ribosome Binding Site (RBS) Calculator is an engineering design method that predicts the translation initiation rate of a protein coding sequence in bacteria. You can use the RBS Calculator to generate synthetic ribosome binding site sequences and to rationally control the production rate of any protein in bacteria from 0.1 to 100,000+ on a proportional scale.

RoVerGeNe is a software tool for the analysis of dynamical properties of gene networks. Unlike conventional ODE numerical simulation tools, it allows

+

+

* to test whether a dynamical property holds for ''ranges'' of parameters

+

* and to find parameter sets for which a given dynamical property hold

+

+

The tool is thus useful for ''robustness analysis'' and ''tuning'' of gene networks. See [http://bioinformatics.oxfordjournals.org/cgi/reprint/btm362?ijkey=42pcWtZ5H5IGKF4&keytype=ref Bioinformatics] paper.

== SBW ==

== SBW ==

Line 64:

Line 112:

SBW (Systems Biology Workbench)

SBW (Systems Biology Workbench)

+

== SimThyr==

+

http://simthyr.sf.net

+

'''Johannes W. Dietrich'''

+

+

SimThyr is a continuous numeric simulation program for thyroid homeostasis. It is based on a parametrically isomorphic model of the overall system. Applications of this program cover research, including development of hypotheses, and education of students in biology and medicine, nurses and patients.

TinkerCell is an extensible platform for editing and simulating cellular networks. Users can operate the software at different levels including graphical point and click or via an interactive console. While the main interface is visual, programmers may add new features by writing custom programs in C or Python. TinkerCell is designed to incorporate information from database(s), thus the models store information such as rate constants, gene sequences and promoter strengths. Networks can be "modularized" and connected to one another. TinkerCell is cross platform and written in C++. A Python console is provided for interactive control.

+

+

http://www.tinkercell.com/Home

== TinySeq.com ==

== TinySeq.com ==

Line 78:

Line 138:

TinySeq is the minimal minimal part storage tool. It assigns a unique url to a given sequence, and stores the sequence's construction format & plasmid. TinySeq supports part composition via the url, so you can get the assembled sequence of two parts simply by asking for something like [http://tinyseq.com/mlc:5 tinyseq.com/mlc:1+mlc:2]. We built tinyseq to reveal what other features besides assigning an accession number (mlc:1) to a sequence would be useful for users at a lab bench who are looking for tools to help them keep their assemblies in order.

TinySeq is the minimal minimal part storage tool. It assigns a unique url to a given sequence, and stores the sequence's construction format & plasmid. TinySeq supports part composition via the url, so you can get the assembled sequence of two parts simply by asking for something like [http://tinyseq.com/mlc:5 tinyseq.com/mlc:1+mlc:2]. We built tinyseq to reveal what other features besides assigning an accession number (mlc:1) to a sequence would be useful for users at a lab bench who are looking for tools to help them keep their assemblies in order.

-

-

== PCEnv ==

== PCEnv ==

Line 86:

Line 144:

PCEnv is an environment for creating and simulating arbitrary mathematical models, including mathematical models in the fields of systems and synthetic biology. PCEnv uses CellML as a native format for storing models.

PCEnv is an environment for creating and simulating arbitrary mathematical models, including mathematical models in the fields of systems and synthetic biology. PCEnv uses CellML as a native format for storing models.

+

+

==PROTDES==

+

http://soft.synth-bio.org/protdes.html

+

'''Maria Suarez, Pablo Tortosa, Alfonso Jaramillo'''

+

+

Synthetic Biology will benefit from future efforts using first-principles to design biological macromolecules. Ideally, this would mean using the same software and parameters to fold a protein than to design a protein with a given fold (inverse folding problem). Recent work has demonstrated that it is possible to experimentally

+

validate such approaches, by using appropriate physical modelling. We have developed a tool able to incorporate such successful procedures by using a leading molecular dynamics software. Our tool PROTDES is an open-source toolbox for computational protein design using the CHARMM package. This allows the integration of molecular dynamics within the

+

protein design, allowing to extend the physical description more than it has been possible with current software. The procedure automatically finds the suitable mutations optimizing a protein folding free energy. It mutates residue positions to find the best amino acids in an arbitrary protein structure without requiring pairwise approximations. It implements an heuristic optimization algorithm that iteratively searches the best amino acids and their conformations for a an arbitrary set of positions within a structure. The users will be able to create their own procedures for protein

+

design using their own physical protocol, which we exemplify by already incorporating three alternative effective energy functions.Our versatile software will allow synthetic biologists using physical

+

models to use a standard molecular dynamics software for protein design.

+

+

==j5==

+

http://j5.jbei.org

+

'''Nathan J. Hillson

+

+

Recent advances in Synthetic Biology have yielded standardized and automatable DNA assembly protocols that enable a broad range of biotechnological research and development. Unfortunately, the experimental design required for modern scar-less multipart DNA assembly methods is frequently laborious, time-consuming, and error-prone. A web-based software tool, j5, automates the design of scar-less multipart DNA assembly protocols including SLIC, Gibson, CPEC, and Golden Gate. The key innovations of the j5 design process include cost optimization, leveraging DNA synthesis when cost-effective to do so, the enforcement of design specification rules, hierarchical assembly strategies to mitigate likely assembly errors, and the instruction of manual or automated construction of scar-less combinatorial DNA libraries. j5 can be used to build combinatorial libraries and applied to the preparation of linear gene deletion cassettes. These innovations save researchers time and effort, reduce the frequency of user design errors and off-target assembly products, decrease research costs, and enable scar-less multipart and combinatorial DNA construction at scales unfeasible without computer-aided design. The j5 software has been exclusively licensed to [http://teselagen.com TeselaGen Biotechnologies] for commercial use and distribution.

+

+

==DeviceEditor==

+

http://j5.jbei.org

+

'''Joanna Chen, Douglas Densmore, Timothy Ham, Zinovii Dmytriv

+

+

A web-based bioCAD software tool, DeviceEditor, provides a graphical design environment that mimics the intuitive visual whiteboard design process practiced in biological laboratories. The key innovations of DeviceEditor include visual combinatorial library design, direct integration with scar-less multi-part DNA assembly design automation, and a graphical user interface for the creation and modification of design specification rules. DeviceEditor liberates researchers from DNA base-pair manipulation, and enables users to create successful prototypes using standardized, functional, and visual abstractions. Open and documented software interfaces support further integration of DeviceEditor with other bioCAD tools and software platforms. DeviceEditor saves researcher time and institutional resources through correct-by-construction design, the automation of tedious tasks, design reuse, and the minimization of DNA assembly costs. The DeviceEditor software has been exclusively licensed to [http://teselagen.com TeselaGen Biotechnologies] for commercial use and distribution.

A reference collection of iGEM software projects 2007-2011. This is a compilation of all the software projects large and small created throughout the iGEM competition. On this site you can find the description of the computational tool, a link to the project page and source code.

Please feel free to add information about a computation tool for synthetic biology (CADs, simulators, databases, lab managements systems, automation software, anything) to the list. Place it alphabetically, name the main project contributors, provide a canonical link to the program, and add a paragraph of descriptive text. Please date your entry.

Antimony

Antimony is a human-readable and human-writable language for describing biological modules. The modules can be connected together by declaring overlapping molecular species between two modules or via the PoPS in/PoPS out interface. The language is similar to the Jarnac language introduced by Herbert Sauro several years ago.

Athena

Athena is a tool for building, simulating, and analyzing genetic circuits (as well as metabolic/signaling networks, such as SBML files). It provides a visual interface for building biological modules that can be saved and later connected together. The connection can be achieved using either the PoPS interface or by defining overlapping molecular species (similar to the concept of module in CellML and SBML). In addition to simulation, Athena supports a few other useful features: Database of Ecoli regulatory network from RegulonDB, Graphical view of part sequence, Automated derivation of transcription rate equations, Interface to all Systems Biology Workbench programs, Interface with R statistical language, Easy plugin architecture

TinkerCell is a highly flexible visual tool. Although still in development, it will have all the features in Athena. In addition, TinkerCell allows a family tree of biological parts to be loaded from a database. TinkerCell comes with a drawing program that allows users to draw their own graphical representations (if they do not like the defaults). C libraries, such as simulations or graph analysis, can easily be incorporated into TinkerCell. New plug-ins can also be added very easily.

BioJade

BioJADE is a design and simulation tool for synthetic biological systems. BioJADE is written in Java, and makes interactive use of BioBrick Repositories.
BioJADE enables system designers to specify a system abstractly, tune it, simulate its behavior using a variety of simulators, and finally package the part for use by either the designer or the public.

BioMortar

BioMortar is a lab management system designed specifically to deal with BioBricks. It is also capable of generating cookie-cutter protocols from user-specified templates and tracking the results, including gel images. It is released under the MIT License.

BioStudio

Sarah Richardson, Joel Bader, Jef Boeke

BioStudio is both an integrated development environment and a genome version control system, with the ability to modify nucleotide sequences automatically or manually at multiple resolutions. It uses Gbrowse from the GMOD project for its user interface and is currently able to locate and manipulate potential and existing restriction enzyme recognition sites, identify and incorporate unique sequences for PCR identification of wildtype and synthetic sequence, edit existing genome features, and incorporate and annotate user-created genome features. Each version of the genome is encoded in a Gene Feature Format (GFF) file, which is then displayed by the open source annotation viewer GBrowse and stored in a branching version control system. Collaboration and transparency is accomplished through the use of a wiki. Each feature in a GFF file will have a corresponding article in the wiki, where registered users can actively discuss its treatment. To ensure that BioStudio actually meets the needs of synthetic biologists, it is under development alongside the design of a synthetic Saccharomyces cerevisiae genome, SC2.0.

BrickIt

BrickIt aims to create a portable web-based registry that helps synthetic biologists to plan, organize and track their local biobrick samples. The database-backed web server can be downloaded as virtual machine to quickly set up a local registry which coordinates the work within a lab, institute or community. Although the data remain local, the web server itself is an open-source project and new functions or improvements can be easily exchanged between the different local registries. BrickIt thus also offers a platform for the shared development of tools and infrastructure that foster the collaboration within the Synthetic Biology community. BrickIt and everything it relies on are open source and free. BrickIt itself is licensed under the GPL.

Clotho

Clotho presents a design environment to manipulate DNA sequence information and store the manipulated data as packaged "parts" back to part repositories. It provides a robust sequence editing environment (highlighting, restriction enzyme library, basic DNA analysis features), a parts management system (database browsing, search, and manipulation), and an algorithm manager which allows the introduction of user developed algorithms (currently includes assembly algorithms). The tool is very much in the early stages of development but an alpha release is available. Clotho is part of a larger development of platform-based design tools for synthetic biology. The tool is open source under a BSD license.

GeneDesign

GeneDesign is a suite of algorithms that allow users to edit several features of protein coding sequences, including codon usage and restriction enzyme recognition site presence. It will then generate a list of oligos and a road map for the assembly of the sequence by PCR It is written in Perl and is served over the internet; the code is available for local installations. A new, improved version is due before the end of 2008. PMID: 16481661

GeNetDes

GeNetDes is a tool to design transcriptional networks with targeted behavior that could be used to better understand the design principles of genetic circuits. It is a Simulated Annealing optimization algorithm that explores throughout the space of transcription networks to obtain a specific behavior. The software outputs a transcriptional network with all the corresponding kinetic parameters in SBML format. Our tool can also be applied to design networks with multiple external input and output genes. The software, a tutorial manual, parameter sets and examples are freely available in our website. We are currently extending Genetdes to design networks by assembling standardized biological part models. The models contain data obtained from part characterizations. We will evolve such circuits by replacing model parts to reach the imposed design specifications. In addition, we will incorporate the effect of the chassis by including the interaction with the cellular resources.

GenoCAD

GenoCAD is a web-based application guiding users through the design of part-based genetic systems. GenoCAD uses context-free grammars to formalize design strategies for synthetic genetic systems. This approach provides a path to organizing libraries of genetic parts according to their biological functions. It also provides a framework for the systematic design of new genetic constructs consistent with the design principles expressed in the grammar. Using parsing algorithms, GenoCAD enables the verification of existing constructs.doi:10.1093/bioinformatics/btm446

ProMoT

ProMoT is the process modeling tool designed for the convenient setup of synthetic biology models in a modular fashion.
Genetic circuits are built just by placing biological parts on a canvas (using drag and drop) and by connecting them through ”wires” that enable ﬂow of signal carriers, as it happens in electrical
engineering. ProMoT supports two different modeling approaches -- a quantitative and a qualitative modeling approach. The quantitative approach is based on differential algebraic equations (DAEs)
whereas the qualitative approach is a description of the system in the form of logical equations. The final code associated with a circuit can be exported into Matlab or SBML format (Level-1 and Level-2)
allowing to run both deterministic and stochastic simulation.

Ribosome Binding Site (RBS) Calculator

The Ribosome Binding Site (RBS) Calculator is an engineering design method that predicts the translation initiation rate of a protein coding sequence in bacteria. You can use the RBS Calculator to generate synthetic ribosome binding site sequences and to rationally control the production rate of any protein in bacteria from 0.1 to 100,000+ on a proportional scale.

SBW

SimThyr

SimThyr is a continuous numeric simulation program for thyroid homeostasis. It is based on a parametrically isomorphic model of the overall system. Applications of this program cover research, including development of hypotheses, and education of students in biology and medicine, nurses and patients.

SynBioSS

SynBioSS (Synthetic Biology Software Suite) is a software suite for the quantitative simulation of biochemical networks using hybrid stochastic algorithms. We believe that one shouldn’t need to know how to program (or use command-line) to use sophisticated numerical methods. Through this software, we intend to put the most powerful techniques for simulating chemically reacting networks into the hands of biologists (or any scientist who can put them to good scientific use). SynBioSS can accurately simulate any system modeled as a network of reactions. In order to achieve this result, we wrapped up state-of-the-art algorithms inside a user friendly graphical interface (GUI) that handles input data, runs the simulations and vividly visualizes simulation results, without requiring any programming background from the user. The software is open and runs on any of the three platforms most used by scientists: Windows, Macintosh, and Linux.

TinkerCell

TinkerCell is an extensible platform for editing and simulating cellular networks. Users can operate the software at different levels including graphical point and click or via an interactive console. While the main interface is visual, programmers may add new features by writing custom programs in C or Python. TinkerCell is designed to incorporate information from database(s), thus the models store information such as rate constants, gene sequences and promoter strengths. Networks can be "modularized" and connected to one another. TinkerCell is cross platform and written in C++. A Python console is provided for interactive control.

TinySeq.com

TinySeq is the minimal minimal part storage tool. It assigns a unique url to a given sequence, and stores the sequence's construction format & plasmid. TinySeq supports part composition via the url, so you can get the assembled sequence of two parts simply by asking for something like tinyseq.com/mlc:1+mlc:2. We built tinyseq to reveal what other features besides assigning an accession number (mlc:1) to a sequence would be useful for users at a lab bench who are looking for tools to help them keep their assemblies in order.

PCEnv

PCEnv is an environment for creating and simulating arbitrary mathematical models, including mathematical models in the fields of systems and synthetic biology. PCEnv uses CellML as a native format for storing models.

PROTDES

Synthetic Biology will benefit from future efforts using first-principles to design biological macromolecules. Ideally, this would mean using the same software and parameters to fold a protein than to design a protein with a given fold (inverse folding problem). Recent work has demonstrated that it is possible to experimentally
validate such approaches, by using appropriate physical modelling. We have developed a tool able to incorporate such successful procedures by using a leading molecular dynamics software. Our tool PROTDES is an open-source toolbox for computational protein design using the CHARMM package. This allows the integration of molecular dynamics within the
protein design, allowing to extend the physical description more than it has been possible with current software. The procedure automatically finds the suitable mutations optimizing a protein folding free energy. It mutates residue positions to find the best amino acids in an arbitrary protein structure without requiring pairwise approximations. It implements an heuristic optimization algorithm that iteratively searches the best amino acids and their conformations for a an arbitrary set of positions within a structure. The users will be able to create their own procedures for protein
design using their own physical protocol, which we exemplify by already incorporating three alternative effective energy functions.Our versatile software will allow synthetic biologists using physical
models to use a standard molecular dynamics software for protein design.

j5

Recent advances in Synthetic Biology have yielded standardized and automatable DNA assembly protocols that enable a broad range of biotechnological research and development. Unfortunately, the experimental design required for modern scar-less multipart DNA assembly methods is frequently laborious, time-consuming, and error-prone. A web-based software tool, j5, automates the design of scar-less multipart DNA assembly protocols including SLIC, Gibson, CPEC, and Golden Gate. The key innovations of the j5 design process include cost optimization, leveraging DNA synthesis when cost-effective to do so, the enforcement of design specification rules, hierarchical assembly strategies to mitigate likely assembly errors, and the instruction of manual or automated construction of scar-less combinatorial DNA libraries. j5 can be used to build combinatorial libraries and applied to the preparation of linear gene deletion cassettes. These innovations save researchers time and effort, reduce the frequency of user design errors and off-target assembly products, decrease research costs, and enable scar-less multipart and combinatorial DNA construction at scales unfeasible without computer-aided design. The j5 software has been exclusively licensed to TeselaGen Biotechnologies for commercial use and distribution.

DeviceEditor

A web-based bioCAD software tool, DeviceEditor, provides a graphical design environment that mimics the intuitive visual whiteboard design process practiced in biological laboratories. The key innovations of DeviceEditor include visual combinatorial library design, direct integration with scar-less multi-part DNA assembly design automation, and a graphical user interface for the creation and modification of design specification rules. DeviceEditor liberates researchers from DNA base-pair manipulation, and enables users to create successful prototypes using standardized, functional, and visual abstractions. Open and documented software interfaces support further integration of DeviceEditor with other bioCAD tools and software platforms. DeviceEditor saves researcher time and institutional resources through correct-by-construction design, the automation of tedious tasks, design reuse, and the minimization of DNA assembly costs. The DeviceEditor software has been exclusively licensed to TeselaGen Biotechnologies for commercial use and distribution.

iGEM Software

A reference collection of iGEM software projects 2007-2011. This is a compilation of all the software projects large and small created throughout the iGEM competition. On this site you can find the description of the computational tool, a link to the project page and source code.