This list was seeded by the participants of the 2008 workshop on Standards and Specifications in Synthetic Biology.
http://antimony.sourceforge.net/ Lucian Smith, Deepak Chandran, Herbert Sauro
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.
http://www.washington.edu/staff/deepakc/downloads/InstallAthena.exe Deepak Chandran, Frank Bergmann, Herbert Sauro
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
Note: Athena has been succeeded by 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.
http://web.mit.edu/jagoler/www/biojade/ Jonathan Goler
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.
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.
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.
http://brickit.wiki.sourceforge.net/ Raik Gruenberg and you?
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.
http://biocad-server.eecs.berkeley.edu/wiki/index.php/Clotho_Development Douglas Densmore, J. Christopher Anderson, Alberto Sangiovanni-Vincentelli
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.
http://www.genedesign.org Sarah Richardson, Joel Bader, Jef Boeke
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
http://soft.synth-bio.org/genetdes.html Guillermo Rodrigo, Javier Carrera, Alfonso Jaramillo
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.
http://www.genocad.org Yizhi Cai, Michael Czar, Julie Marchand, Jean Peccoud
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
http://www.mpi-magdeburg.mpg.de/projects/promot/ Katrin Steinmetz, Sebastian Mirschel, Michael Rempel
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. For more detailed information, please refer to the recent papers  and .
http://iasi.bu.edu/~batt/rovergene/rovergene.htm Gregory Batt, Calin Belta
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 Bioinformatics paper.
SBW (Systems Biology Workbench)
http://synbioss.sourceforge.net/ Yiannis Kaznessis, Tony Hill, Vassilis Sotiropoulos, Jonathan Tomshine
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.
Engineering platform for building and testing cellular circuits (Deepak Chandran, UW, Seattle)
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://tinyseq.com Jason Morrison, Mackenzie Cowell
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.
http://www.cellml.org/tools/pcenv/ Andrew Miller, Justin Marsh, Alan Garny
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.
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.