Alternatives and similar repositories for nuad

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

• gerby-project / plastex
  Python package to convert LaTeX markup to DOM
  ☆15Updated 8 months ago
• ianarawjo / notate-jupyter
  Tear open drawing canvases inside Jupyter code. In Python, read the canvases as NumPy image data.
  ☆37Updated 2 years ago
• lcbb / athena
  A GUI for automated sequence design of wireframe scaffolded DNA origami
  ☆14Updated 3 years ago
• douglaslab / cadnano2
  Cadnano2
  ☆56Updated 7 months ago
• y-t-bot / 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…
  ☆101Updated 2 years ago
• cmhuang2011 / MagicDNA
  DNA origami design tool
  ☆37Updated last year
• Kappa-Dev / KappaTools
  Tool suite for kappa models. Documentation and binaries can be found in the release section. Try it online at
  ☆123Updated 3 weeks ago
• SPOCKnots / pyknotid
  A Python package for analysing knots and links, in space-curves or from standard topological notations
  ☆44Updated 2 years ago
• UC-Davis-molecular-computing / scadnano-python-package
  Python scripting library for generating designs readable by scadnano.
  ☆16Updated last month
• sulcgroup / oxdna-viewer
  oxView: Visualization and editing tool for DNA/RNA nanotechnology and oxDNA/oxRNA configuration analysis
  ☆52Updated 2 weeks ago
• Luthey-Schulten-Lab / Lattice_Microbes
  ☆32Updated 3 months ago
• Martin-Seysen / mmgroup
  Python implementation of the monster group
  ☆53Updated last week
• SYNTCOMP / benchmarks
  Repository of benchmarks for SYNTCOMP
  ☆13Updated 3 weeks ago
• gheber / kenzo
  A repackaged version of the Kenzo program by Francis Sergeraert and collaborators.
  ☆53Updated 8 months ago
• tBuLi / kingdon
  A symbolically optimized Geometric Algebra library with PyTorch/NumPy/SymPy/etc. compatibility and ganja.js visualization.
  ☆95Updated 2 months ago
• glacode / yamma
  VSCode Extension - Proof Assistant for Metamath
  ☆12Updated last month
• Luthey-Schulten-Lab / Minimal_Cell
  ☆102Updated 3 years ago
• metamath / metamath-book
  Source of metamath book
  ☆51Updated last year
• punkdit / huygens
  ☆11Updated 2 weeks ago
• UC-Davis-molecular-computing / scadnano
  Web application for designing DNA structures such as DNA origami.
  ☆29Updated last week
• sys-bio / antimony
  ☆18Updated 2 weeks ago
• ATOMSLab / LeanChemicalTheories
  ☆37Updated last year
• pdobsan / pynauty
  Isomorphism testing and automorphisms of graphs
  ☆70Updated last year
• sandialabs / Prove-It
  A tool for proving and organizing general theorems using Python.
  ☆30Updated last week
• KarrLab / intro_to_wc_modeling
  Whole-cell modeling tutorials
  ☆16Updated 5 years ago
• kmill / knotfolio
  A program for drawing knots and links, with support for importing images
  ☆32Updated last year
• leanprover / lean3-mode
  Emacs mode for Lean
  ☆68Updated 2 years ago
• cl-model-languages / cl-sat
  Common Interface to Boolean Satisfiability Solvers from Common Lisp
  ☆14Updated 3 years ago
• matthiaskoenig / sbmlutils
  Python utilities for SBML
  ☆41Updated last month
• inpefess / gym-saturation
  a collection of Gymnasium environments for saturation provers
  ☆23Updated 3 weeks ago