Spockuto / LSystemsLinks
Fiddling with Lindenmayer systems
☆15Updated 2 years ago
Alternatives and similar repositories for LSystems
Users that are interested in LSystems are comparing it to the libraries listed below
Sorting:
- A repository of mathematical knowledge written in the Mathlingua language.☆17Updated last year
- This package implements 1D and 2D blood flow models for arterial circulation using Trixi.jl, enabling efficient numerical simulation and …☆42Updated 3 weeks ago
- ☆18Updated 5 years ago
- ☆53Updated 4 months ago
- Framework for specifying and proving properties—such as robustness, fairness, and interpretability—of machine learning models using Lean …☆73Updated 4 months ago
- Experiments with applying Fourier transofrms to various plane-filling curves and patterns☆66Updated 2 years ago
- isingLenzMC: Monte Carlo for Classical Ising Model (with core C library)☆53Updated 2 months ago
- A toy Wolfram language interpreter.☆35Updated last year
- Functional ultrasound through the skull☆30Updated 3 weeks ago
- A solver for halting problem of Brainfuck programs☆18Updated 5 years ago
- Huzita-Hatori axioms for origami, implemented using 2D projective geometric algebra.☆12Updated 4 years ago
- Fungrim: the Mathematical Functions Grimoire☆123Updated 3 years ago
- Terminal CLI to Mathics3☆60Updated 3 months ago
- ☆76Updated 2 months ago
- Code to generate an infinite zoom animation.☆11Updated 2 years ago
- GluCat: Clifford algebra templates☆22Updated this week
- a datastructure for scalable combinatorial syntax☆19Updated 9 months ago
- Inverse Laplace transform based on concentrated matrix-exponential functions☆41Updated last year
- Julia interface to GAlgebra via PyCall☆17Updated this week
- Craziness.☆29Updated 10 months ago
- Haskell prototype to accompany the paper "ADEV: Sound Automatic Differentiation of Expected Values of Probabilistic Programs"☆67Updated 2 years ago
- Mathlingua is a language used to describe mathematical definitions, theorems, conjectures, and axioms in a way that can be easily written…☆71Updated 9 months ago
- A web-based application for collaborating on simulation models in real-time using Firebase☆39Updated last year
- 🦠 AD in less than 20 lines☆54Updated 4 years ago
- [Archived] A scalable differentiable probabilistic Datalog engine, with Rust☆73Updated 4 years ago
- A partial formalization of Geometric Algebra in the Lean formal proof verification system.☆55Updated 2 years ago
- Brzozowski derivative python sketch☆85Updated 8 months ago
- Modifications of Niles Johnson's Hopf Fibration drawing code☆38Updated 11 years ago
- Geometric algebra library for Rust☆22Updated 7 years ago
- Rewriting Principia Mathematica in Lean☆136Updated 3 months ago