UC-Davis-molecular-computing / nuadLinks
Nucleic acid sequence designer
☆12Updated 2 weeks ago
Alternatives and similar repositories for nuad
Users that are interested in nuad are comparing it to the libraries listed below
Sorting:
- Python scripting library for generating designs readable by scadnano.☆16Updated this week
- A GUI for automated sequence design of wireframe scaffolded DNA origami☆14Updated 4 years ago
- ☆38Updated last year
- Web application for designing DNA structures such as DNA origami.☆34Updated last week
- Cross platform Instant Outbidding Bot, Instant Outbidder Bot is designed to outbid all real-time bids within a second by percentage incre…☆100Updated 3 years ago
- oxView: Visualization and editing tool for DNA/RNA nanotechnology and oxDNA/oxRNA configuration analysis☆54Updated 3 weeks ago
- FreeTikZ☆41Updated 8 years ago
- Cadnano2☆60Updated last year
- ☆14Updated 9 months ago
- C++ Library for Quantum State Preparation (QSP)☆12Updated 3 years ago
- Tear open drawing canvases inside Jupyter code. In Python, read the canvases as NumPy image data.☆37Updated 3 years ago
- Tools for quantum circuits synthesis, optimization and others.☆21Updated 2 months ago
- Cando chemistry language☆183Updated 3 weeks ago
- A repackaged version of the Kenzo program by Francis Sergeraert and collaborators.☆53Updated last year
- Python implementation of the monster group☆57Updated last month
- A Python package for analysing knots and links, in space-curves or from standard topological notations☆47Updated 2 years ago
- Tool suite for kappa models. Documentation and binaries can be found in the release section. Try it online at☆122Updated this week
- Sheaves library for graph abstractions based on NetworkX☆14Updated 6 years ago
- A tool for proving and organizing general theorems using Python.☆32Updated this week
- ☆18Updated 11 months ago
- Common lisp bindings to CUDD.☆13Updated 8 years ago
- Conceptual understanding through efficient inverse-design of quantum optical experiments☆30Updated 4 years ago
- Common Interface to Boolean Satisfiability Solvers from Common Lisp☆21Updated 3 years ago
- Analytic tableau based minimal model generator, model checker and theorem prover for first-order logic with modal extensions☆20Updated 5 months ago
- DNA origami design tool☆39Updated 2 years ago
- Isomorphism testing and automorphisms of graphs☆71Updated last year
- Clifford algebra for CAS Maxima☆17Updated 6 months ago
- SNUPI (Structured NUcleic-acids Programming Interface)☆15Updated 11 months ago
- A software package for analyzing Calabi-Yau manifolds.☆38Updated this week
- a collection of Gymnasium environments for saturation provers☆23Updated last month