arendsee / lsystems
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
- My attempt at writing a R⁵RS-compliant Scheme with Megaparsec☆15Updated last year
- Classical Logic in Haskell☆23Updated this week
- A SKI combinators interpreter written in assembly☆17Updated 4 years ago
- A framework for generative art.☆60Updated 4 years ago
- File format and optimizer for programs encoded in binary lambda calculus☆11Updated last year
- 👁️ Isometric 3D Graphing / Rendering module for Haskell☆15Updated 7 years ago
- ☆17Updated last year
- Paradoxes of type theory, described didactically. With accompanying proofs in Agda.☆38Updated 4 years ago
- Some tools for provability logic☆37Updated 6 years ago
- repo for fashion business/ideas/etc.☆22Updated 5 years ago
- Extremely composable embeddable programming language☆21Updated this week
- Lambda calculus go brrrr☆28Updated last year
- User Interfaces for Programming Languages: The Compendium☆27Updated 3 years ago
- An interpreted lambda calculus with Algebraic and Recursive Types.☆18Updated 3 years ago
- The algebra for formal power series in elements of the Weyl algebra☆18Updated 6 years ago
- A set of tools for building graph rewriting systems and more specifically, working with the chemlambda rewrite model of computation.☆11Updated 8 years ago
- used to be something more ambitious, cut scope to just a simple compiler for thesis project☆17Updated 6 years ago
- a self-hosting lambda calculus compiler☆34Updated 3 years ago
- Wave function collapse procedural generation for arbitrary graphs☆15Updated 5 years ago
- small programming language. pls be gentle.☆39Updated last week
- Small library for braillizing images☆18Updated 5 years ago
- Recursion schemes in ATS☆9Updated 2 years ago
- An implementation of structural subtyping of records and functions☆13Updated 6 years ago
- Sometimes when I feel sad I implement a dependently typed lambda calculus.☆15Updated 4 years ago
- playing with resumable computations☆13Updated 5 years ago
- Lambda Calculus with quote and unquote☆19Updated 4 years ago
- Kempe is a compiled stack-based language☆58Updated 4 months ago
- Parallel Environment for optimal Lambda Calculus Reduction☆28Updated 2 years ago
- Extensive collection of color spaces and color models☆59Updated 2 weeks ago
- Mary is the successor of Marx, a content delivery and assessment engine based on markdown and git☆17Updated last year