Alternatives and similar repositories for nuad

Users that are interested in nuad are comparing it to the libraries listed below

• douglaslab / cadnano2
  Cadnano2
  ☆56Updated 5 months ago
• cmhuang2011 / MagicDNA
  DNA origami design tool
  ☆37Updated last year
• lcbb / athena
  A GUI for automated sequence design of wireframe scaffolded DNA origami
  ☆14Updated 3 years ago
• SPOCKnots / pyknotid
  A Python package for analysing knots and links, in space-curves or from standard topological notations
  ☆44Updated 2 years ago
• Kappa-Dev / KappaTools
  Tool suite for kappa models. Documentation and binaries can be found in the release section. Try it online at
  ☆122Updated last week
• ianarawjo / notate-jupyter
  Tear open drawing canvases inside Jupyter code. In Python, read the canvases as NumPy image data.
  ☆37Updated 2 years ago
• nftwzrd / opensea-instant-outbidder-bidding-bot
  Cross platform Instant Outbidding Bot, Instant Outbidder Bot is designed to outbid all real-time bids within a second by percentage incre…
  ☆102Updated 2 years ago
• sulcgroup / oxdna-viewer
  oxView: Visualization and editing tool for DNA/RNA nanotechnology and oxDNA/oxRNA configuration analysis
  ☆54Updated last month
• UC-Davis-molecular-computing / scadnano
  Web application for designing DNA structures such as DNA origami.
  ☆28Updated 2 months ago
• gheber / kenzo
  A repackaged version of the Kenzo program by Francis Sergeraert and collaborators.
  ☆53Updated 6 months ago
• LiamMcAllisterGroup / cytools
  A software package for analyzing Calabi-Yau manifolds.
  ☆35Updated this week
• ATOMSLab / LeanChemicalTheories
  ☆34Updated last year
• inpefess / gym-saturation
  a collection of Gymnasium environments for saturation provers
  ☆22Updated last month
• digama0 / mm-lean4
  Lean 4 Metamath verifier
  ☆20Updated 2 months ago
• mhajij / Algebraically_Informed_Deep_Nets
  AIDN is a deep learning algorithm to represent any finitely-presented algebraic object with a set of deep neural networks.
  ☆8Updated 4 years ago
• LuisScoccola / approximate-vector-bundles-examples
  Implementation and computational examples of [Approximate and discrete Euclidean vector bundles. Scoccola, Perea].
  ☆9Updated 3 years ago
• arquicanedo / graph2sheaves
  Sheaves library for graph abstractions based on NetworkX
  ☆15Updated 6 years ago
• cl-model-languages / cl-sat
  Common Interface to Boolean Satisfiability Solvers from Common Lisp
  ☆14Updated 3 years ago
• sandialabs / Prove-It
  A tool for proving and organizing general theorems using Python.
  ☆29Updated this week
• UC-Davis-molecular-computing / scadnano-python-package
  Python scripting library for generating designs readable by scadnano.
  ☆16Updated 3 weeks ago
• leanprover / lean3-mode
  Emacs mode for Lean
  ☆69Updated 2 years ago
• punkdit / huygens
  ☆11Updated last month
• ioannad / jeffrey
  Choiceless grapher: a common-lisp diagram maker for consequences of the Axiom of Choice. This is a mirror of https://gitlab.common-lisp.n…
  ☆28Updated 2 months ago
• glacode / yamma
  VSCode extension for Metamath
  ☆11Updated last month
• stylewarning / quantum-interpreter
  A tiny, self-contained, general-purpose quantum interpreter.
  ☆49Updated 2 years ago
• gerby-project / plastex
  Python package to convert LaTeX markup to DOM
  ☆15Updated 6 months ago
• dubrousky / mockmma
  ☆30Updated 7 years ago
• SYNTCOMP / benchmarks
  Repository of benchmarks for SYNTCOMP
  ☆13Updated 2 months ago
• rigetti / rpcq
  The RPC framework and message specification for @rigetti Quantum Cloud Services.
  ☆80Updated 2 years ago
• UQ-PAC / BASIL
  The Basil pipeline for concurrent information flow analysis in AArch64 binaries.
  ☆13Updated this week