arendsee / lsystemsLinks
L-system generators and visualizers
β31Updated 3 years ago
Alternatives and similar repositories for lsystems
Users that are interested in lsystems are comparing it to the libraries listed below
Sorting:
- A browser Pong game, taking advantage of Idris's ability to compile to javascript.β18Updated 10 years ago
- ποΈ Isometric 3D Graphing / Rendering module for Haskellβ15Updated 7 years ago
- A correct Scheme interpreter derived from the R5RS spec's formal semantics, written in Haskell.β21Updated 3 weeks ago
- a self-hosting lambda calculus compilerβ35Updated 2 months ago
- Lambda calculus go brrrrβ29Updated last year
- small programming language. pls be gentle.β39Updated last month
- Extensive collection of color spaces and color modelsβ59Updated 4 months ago
- Paradoxes of type theory, described didactically. With accompanying proofs in Agda.β39Updated 4 years ago
- A DSL for creating 8-bit style musicβ33Updated last year
- A SKI combinators interpreter written in assemblyβ19Updated 4 years ago
- An implementation of structural subtyping of records and functionsβ13Updated 6 years ago
- repo for fashion business/ideas/etc.β22Updated 5 years ago
- Relational interpreter for miniKanren, in miniKanren.β14Updated 3 years ago
- Some tools for provability logicβ37Updated 7 years ago
- an encoding of affine effect handlers using pthreadsβ14Updated 2 years ago
- A simple Prolog interpreterβ42Updated 3 years ago
- An interpreted lambda calculus with Algebraic and Recursive Types.β17Updated 3 years ago
- Recursion schemes in ATSβ9Updated 3 years ago
- Classical Logic in Haskellβ24Updated 2 months ago
- An extended typed Lambda Calculusβ21Updated 10 months ago
- Spartan implementation of H.O.T.T.β25Updated 2 years ago
- Attempt to prove semantic preservation (forward simulation) for a simple compiler.β11Updated last year
- BΓ©zier curves in Haskellβ28Updated 8 years ago
- "operating system" based on the calculus of constructionsβ18Updated 2 years ago
- classical sequent calculus, embedded in Haskellβ20Updated 3 years ago
- Parallel Environment for optimal Lambda Calculus Reductionβ28Updated 2 years ago
- Yoneda lemma in every known languageβ17Updated 2 years ago
- Wave function collapse procedural generation for arbitrary graphsβ15Updated 5 years ago
- A general purpose programming language with linear typesβ43Updated 8 years ago
- Free Algebras in Haskellβ37Updated 9 months ago