Alternatives and similar repositories for lsystems

Users that are interested in lsystems are comparing it to the libraries listed below

• ambuc / cornea
  👁️ Isometric 3D Graphing / Rendering module for Haskell
  ☆15Updated 7 years ago
• vmchale / kempe
  Kempe is a compiled stack-based language
  ☆58Updated 8 months ago
• 4y8 / ski-in-asm
  A SKI combinators interpreter written in assembly
  ☆20Updated 4 years ago
• bkomuves / nanohs
  a self-hosting lambda calculus compiler
  ☆35Updated 2 months ago
• joelburget / lvca
  language verification, construction, and analysis
  ☆20Updated 3 years ago
• maxdore / elfe
  Interactive Theorem Proving for students
  ☆20Updated last year
• eviefp / logic-in-haskell
  Classical Logic in Haskell
  ☆24Updated 3 months ago
• zaklogician / typical-antiphrasis
  Paradoxes of type theory, described didactically. With accompanying proofs in Agda.
  ☆39Updated 4 years ago
• tyehle / llvm-lambda
  A compiler for a simple language using llvm
  ☆35Updated 2 years ago
• solomon-b / HowardLang
  An interpreted lambda calculus with Algebraic and Recursive Types.
  ☆17Updated 3 years ago
• joom / direct-reflection-for-free
  using Data and Typeable to get a direct reflection system for free, when we're implementing a toy language in Haskell
  ☆15Updated 5 years ago
• 5outh / chaosbox
  A framework for generative art.
  ☆60Updated 4 years ago
• dpiponi / provability
  Some tools for provability logic
  ☆37Updated 7 years ago
• TOTBWF / teenytt
  A Teeny Type Theory
  ☆26Updated 3 years ago
• evertedsphere / how-to-implement-dependent-type-theory
  A tiny dependent typechecker in Haskell, translated from @andrejbauer's OCaml
  ☆38Updated 5 years ago
• luqui / Djest
  A programming language that deduces code from tests
  ☆30Updated 7 years ago
• dhil / pthandlers
  an encoding of affine effect handlers using pthreads
  ☆14Updated 2 years ago
• ekmett / keep
  playing with resumable computations
  ☆13Updated 5 years ago
• silky / fashion
  repo for fashion business/ideas/etc.
  ☆22Updated 5 years ago
• danieljharvey / horses
  small programming language. pls be gentle.
  ☆39Updated 2 months ago
• themattchan / haskell-tiger
  Modern compiler implementation in ML, in Haskell
  ☆16Updated 7 years ago
• msp-strath / Mary
  Mary is the successor of Marx, a content delivery and assessment engine based on markdown and git
  ☆17Updated last year
• dmjio / LC3
  The LC3 virtual machine
  ☆23Updated 6 months ago
• tetrapharmakon / yoneda-in-tongues
  Yoneda lemma in every known language
  ☆17Updated 2 years ago
• Kleidukos / Intrigue
  My attempt at writing a R⁵RS-compliant Scheme with Megaparsec
  ☆14Updated last year
• fengctor / octune
  A DSL for creating 8-bit style music
  ☆33Updated last year
• ankitku / TAL0
  Based on paper by Greg Morrisett , TAL-0 is the design of a RISC-style typed assembly language which focuses on control-flow safety.
  ☆22Updated 8 years ago
• levjj / esverify-theory
  Formalism and proofs for esverify
  ☆19Updated 7 years ago
• wh5a / thih
  Typing Haskell in Haskell
  ☆15Updated 15 years ago
• thma / lambda-ski
  Implementing a small functional language with a combinator based graph-reduction machine
  ☆31Updated last year