Alternatives and similar repositories for Matlab-simulation-of-Schramm-Loewner-Evolution

Users that are interested in Matlab-simulation-of-Schramm-Loewner-Evolution are comparing it to the libraries listed below

• peterlefanulumsdaine / hott-limits
  A formalization of (homotopy) limits in Homotopy Type Theory
  ☆11Updated 10 years ago
• homalg-project / homalg_project
  Deposited packages of the homalg project
  ☆16Updated last month
• qobi / AD-Rosetta-Stone
  Examples of Automatic Differentiation (AD) in many different languages and systems
  ☆27Updated 7 years ago
• konn / smooth
  Exploring connections between automatic differentiation and smooth infinitesimal analysis, or smooth algebras
  ☆17Updated 4 years ago
• nilesjohnson / hopf_fibration
  Modifications of Niles Johnson's Hopf Fibration drawing code
  ☆38Updated 10 years ago
• cseed / knotkit
  knot theory and computational algebra software
  ☆38Updated 11 years ago
• zxcalc / quantomatic
  Quantomatic is a tool for doing automated graph rewriting.
  ☆165Updated 6 years ago
• jeffreyadams / atlasofliegroups
  Automatically exported from code.google.com/p/atlasofliegroups
  ☆32Updated this week
• statusfailed / numeric-optics-python
  ☆27Updated 3 years ago
• ImperialCollegeLondon / M4P33
  M4 algebraic geometry course in Lean
  ☆59Updated 5 years ago
• ahadziha / rewalt
  A toolkit for higher-dimensional diagram rewriting.
  ☆17Updated 3 years ago
• girving / ray
  Formalizing results about the Mandelbrot set in Lean
  ☆26Updated last week
• ramonfmir / lean-scheme
  Schemes in Lean (v2)
  ☆44Updated 5 years ago
• akissinger / chyp
  An interactive theorem prover for string diagrams
  ☆121Updated last year
• iblech / scheme-theory-in-agda
  A formalization of synthetic algebraic geometry in Agda
  ☆14Updated 6 years ago
• jasonmorton / Cateno
  A system for computational category theory and applications
  ☆40Updated 9 years ago
• avigad / polya
  A heuristic procedure for proving inequalities
  ☆34Updated 7 years ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆39Updated 4 months ago
• colah / HaskSymb
  An Experiment in Haskell Symbolic Algebra
  ☆73Updated 13 years ago
• cmu-phil / Spectral
  ☆47Updated 2 years ago
• leanprover-community / lean-perfectoid-spaces
  Perfectoid spaces in the Lean formal theorem prover.
  ☆127Updated last year
• andrejbauer / marshall
  Real number computation software
  ☆127Updated 3 years ago
• konn / computational-algebra
  General-Purpose Computer Algebra System as an EDSL in Haskell
  ☆93Updated last year
• pygae / lean-ga
  A partial formalization of Geometric Algebra in the Lean formal proof verification system.
  ☆53Updated 2 years ago
• Functional-AutoDiff / STALINGRAD
  Stalin∇, a brutally optimizing compiler for the VLAD language
  ☆77Updated 7 years ago
• GaloisInc / lean4-balance-car
  Lean4 port of Arduino balance car controller
  ☆47Updated 4 years ago
• Martin-Seysen / mmgroup
  Python implementation of the monster group
  ☆53Updated 3 weeks ago
• fdilke / bewl
  A DSL for the internal language of a topos
  ☆66Updated 3 months ago
• symengine / symengine.hs
  Haskell bindings to SymEngine
  ☆27Updated 2 years ago
• ericfinster / orchard
  Orchard Opetopic Proof Assistant
  ☆27Updated 9 years ago