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
- a self-hosting lambda calculus compiler☆35Updated this week
- A DSL for creating 8-bit style music☆33Updated last year
- Kempe is a compiled stack-based language☆58Updated 6 months ago
- An interpreted lambda calculus with Algebraic and Recursive Types.☆18Updated 3 years ago
- A framework for generative art.☆60Updated 4 years ago
- A SKI combinators interpreter written in assembly☆19Updated 4 years ago
- Paradoxes of type theory, described didactically. With accompanying proofs in Agda.☆39Updated 4 years ago
- Recursion schemes in ATS☆9Updated 2 years ago
- 👁️ Isometric 3D Graphing / Rendering module for Haskell☆15Updated 7 years ago
- small programming language. pls be gentle.☆39Updated 2 months ago
- Lambda calculus go brrrr☆29Updated last year
- Extensive collection of color spaces and color models☆59Updated 2 months ago
- "operating system" based on the calculus of constructions☆18Updated 2 years ago
- an encoding of affine effect handlers using pthreads☆14Updated 2 years ago
- Experimental proof assistant (and architecture) for dependent linear logic☆47Updated 2 years ago
- A correct Scheme interpreter derived from the R5RS spec's formal semantics, written in Haskell.☆21Updated 2 years ago
- Parallel Environment for optimal Lambda Calculus Reduction☆28Updated 2 years ago
- Free Algebras in Haskell☆37Updated 7 months ago
- ☆17Updated 2 years ago
- A compiler for a simple language using llvm☆35Updated last year
- A browser Pong game, taking advantage of Idris's ability to compile to javascript.☆18Updated 10 years ago
- A Teeny Type Theory☆26Updated 2 years ago
- playing with resumable computations☆13Updated 5 years ago
- Implementing a small functional language with a combinator based graph-reduction machine☆29Updated last year
- Some tools for provability logic☆37Updated 6 years ago
- Mary is the successor of Marx, a content delivery and assessment engine based on markdown and git☆17Updated last year
- Bézier curves in Haskell☆28Updated 8 years ago
- A programming language that deduces code from tests☆30Updated 7 years ago
- a simple total pure functional language, eventually to have powerful static checking and optimization☆33Updated last month
- Multiplication on optimal λ-calculus reducers☆22Updated 4 years ago