AVAILABLE SOFTWARE
arrow&v
  • 3DuF

    Assembly

    Visual CAD tool for the design of microfluidic devices; outputs STL for CNC milling and SVG for lithography, as well as a textual JSON representation

  • Antimony

    Specification

    Text-based modular human-readable/writable model definition language with capabilities of easy translation into SMBL.

  • Aquarium

    Assembly

    An assembly design tool for generating scalable, reproducible, and transferable molecular biology workflows

  • Asmparts

    Specification

    A deprecated tool for modular specification of biological devices; Asmparts takes advantage of standardization by considering a model for each part in the design.

  • BioJADE

    Design

    A java-based design and simulation tool for synthetic biological systems with interactive use of BioBrick repositories.

  • BioPSy

    Test

    Performs guaranteed parameter set synthesis for ODE biological models expressed in SBML given a desired behavior expressed by time-series data

  • Bioconductor

    Test

    Analysis and comprehension tool that uses the open-source statistical language, R; AMI and Docker images are available

  • COPASI

    Test

    COPASI is a stand-alone program that supports models in the SBML standard and can simulate their behavior using ODEs or Gillespie's stochastic simulation algorithm; arbitrary discrete events can be included in such simulations.

  • Cello

    Specification

    Software for creating genetic circuits, using as input a high-level logic specification written in Verilog.

  • Clotho

    Data Management

    Clotho is a framework for engineering synthetic biological systems and managing the data used to create them. You can author data schemas, run functions and algorithms, and tie Clotho into existing applications.

  • Constellation

    Design

    Constellation can parse a rich set of operators as defined by GOLDBAR and enumerate genetic designs that satisfy user defined specifications through graphs that are mathematically rigorous and
    provably correct.

  • DAFD

    Design

    DAFD is the first microfluidic design automation software that can deliver a user-specified desired performance using machine learning.

  • DNALD

    Assembly

    DNA assembly planning tool for binary assembly; improves on algorithm performance of prior binary algorithms

  • Double Dutch

    Design

    A tool for designing combinational libraries of biological systems using response surface methodology.

  • Eugene

    Specification

    An Ecosystem of Languages tailored for Rule-based Design of Synthetic Biological Systems, Devices, Parts, and DNA Sequences

  • FlowCal

    Test

    A library for reading, analyzing, and calibrating flow cytometry data; it accepts FCS files as input and is compatible with different calibration particles, fluorescent probes, and cell types

  • Fluigi

    Assembly

    Automates the design of microfluidic devices used in synthetic biology by optimizing their layout; specifications are in the text-based MINT language

  • GLAMM

    Design

    Provides maps for metabolic pathways, biosynthesis of secondary metabolites, and macrobial metabolism.

  • GSL

    Specification

    A language that facilitates design of large and complex DNA constructs used to engineer genomes; it also incorporates a set of low-level DNA manipulation primitives

  • GeneDesign

    Design

    Web-based synthetic gene designer including various modules such as reverse translator, codon juggler, etc. for sequence manipulation

  • Geneious Plugin

  • Kera

    Specification

    An object-oriented programming language for synthetic biology, which is tempered by the biopart rule library, Samhita.

  • MAGE

    Design

    MAGE is the Java part of MERLIN that allows performance of Merlin Analysis on a package.

  • Merlin

    Design

    Merlin is a web-based application for genomic reprogramming via a rapid and efficient method known as Multiplex Automated Genome Engineering (MAGE).

  • MoSeC

    Specification

    Java application capable of generating DNA sequences. MoSeC has the ability to generate FASTA, GenBank,
    EMBL, and SBOL formats from SBML and CellML models (ico2s.org/software/mosec.html)

  • Morpheus

    Test

    A modeling environment for simulating cell-based models with ordinary differential equations and reaction–diffusion systems; multiscale biological models can be defined in biological terms and mathematical expressions

  • Neptune

    Design

    Neptune is a complete, end-to-end microfluidic design suite for synthetic biologists. With Neptune, researchers and microfluidic designers have all the tools needed to design, fabricate, and control microfluidic devices.

  • OWL

    Data Management

    OWL is a synthetic biology automatic datasheet generator.

  • Phoenix

    Design, Test

    The Phoenix project describes a framework to design complex genetic systems where the focus is on how the system behaves over time instead of its behavior at steady-state.

  • Pigeon

    Pigeon is a Web-based tool that translates a textual description of a synthetic biology design into an image. It allows programmatic generation of design visualizations, is easy to learn, is easily extensible to new glyphs and notation, and can be connected to other software tools for visualizing their output.

  • Primer3

    Assembly

    A tool used to design and analyze primers for PCR reactions with the ability to select primers for sequencing reactions and hybridization probes

  • ProMot

    Specification

    A tool for construction and manipulation of biological dynamic models based on differential-algebraic equations ProMot is matched with the simulation environment Diana

  • PySCeS

    Test

    Provides a variety of tools for the analysis of cellular systems; these include a human readable model description language, a structural, and a bifurcation analysis module—PySCeS supports SBML and SED-ML

  • RBS Calculator

    Design

    Allows for predicting and controlling translation initiation and protein expression in bacteria; can also be used for optimizing synthetic RBS sequences to achieve a targeted translation initiation rate.

  • Raven

    Design

    Raven uses a sophisticated dynamic programming algorithm to design high-quality DNA assembly plans. Raven produces SBOL compliant images that visualize your assembly plan as well as human readable instructions.

  • RoadRunner

    Test

    A portable simulation engine for systems and synthetic biology models in SBML format; RoadRunner is written in C# and incorporates C, Cþþ, and Python APIs

  • SBOL Designer

    SBOL

    SBOLDesigner is a simple, biologist-friendly CAD software tool for creating and manipulating the sequences of genetic constructs using the Synthetic Biology Open Language (SBOL) 2.2 data model.

  • Sequence Refiner

    Protein

    Sequence alignment tool that refines a multiple sequence alignment by iterative realignment of its individual sequences with the predetermined conserved core model of a protein family

  • SynBioHub

    Design

    SynBioHub is a design repository for people designing biological constructs. It enables DNA and protein designs to be uploaded, then provides a shareable link to allow others to view them.

  • TASBE

    Test

    A variety of synthetic biology automation software tool for tasks from high-level specification to part assignment and assembly

  • TinkerCell

    Test

    Incorporates a diagram that is detailed enough so that it can be mapped to models or experimental results; various mathematical analyses can then be run on those models

  • VectorEditor

    DNA

    Web-based DNA sequence-editing and analysis tool with restriction enzyme manager, amino acid translation, and gel digest prediction

  • gro

    Test

    gro is a language for programming, modeling, specifying and simulating the behavior of cells in growing microcolonies of microorganisms.

  • iBioSim

    Design

    iBioSim has been developed for the modeling, analysis, and design of genetic circuits. While iBioSim primarily targets models of genetic circuits, models representing metabolic networks, cell-signaling pathways, and other biological and chemical systems can also be analyzed.

NONA RESEARCH FOUNDATION INC.,

610 Commonwealth Ave.

Boston, MA 02215

info@nonasoftware.org

programmingbio@gmail.com

  • Facebook - Black Circle
  • Twitter - Black Circle

Copyright All Rights Reserved. © 2020 Nona Software. 

Nona is a part of the BioDesign Automation Consortium Network.

This work is licensed under a Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License.