Alternatives and similar repositories for lsystems:

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

• 4y8 / ski-in-asm
  A SKI combinators interpreter written in assembly
  ☆20Updated 4 years ago
• danieljharvey / horses
  small programming language. pls be gentle.
  ☆39Updated last week
• trillioneyes / idris-pong
  A browser Pong game, taking advantage of Idris's ability to compile to javascript.
  ☆18Updated 10 years ago
• lunarcast / lunarflow
  Lambda calculus go brrrr
  ☆29Updated last year
• ambuc / cornea
  👁️ Isometric 3D Graphing / Rendering module for Haskell
  ☆15Updated 7 years ago
• dhil / pthandlers
  an encoding of affine effect handlers using pthreads
  ☆14Updated 2 years ago
• fengctor / octune
  A DSL for creating 8-bit style music
  ☆33Updated last year
• bkomuves / nanohs
  a self-hosting lambda calculus compiler
  ☆35Updated 3 weeks ago
• Trebor-Huang / Down-The-Path
  Spartan implementation of H.O.T.T.
  ☆25Updated 2 years ago
• zaklogician / typical-antiphrasis
  Paradoxes of type theory, described didactically. With accompanying proofs in Agda.
  ☆39Updated 4 years ago
• wh5a / thih
  Typing Haskell in Haskell
  ☆15Updated 15 years ago
• ChrisPenner / wave-function-collapse
  Wave function collapse procedural generation for arbitrary graphs
  ☆15Updated 5 years ago
• vmchale / kempe
  Kempe is a compiled stack-based language
  ☆58Updated 6 months ago
• TOTBWF / teenytt
  A Teeny Type Theory
  ☆26Updated 2 years ago
• JorisCeulemans / sikkel
  Multimode simple type theory as an Agda library.
  ☆22Updated 7 months ago
• lehins / Color
  Extensive collection of color spaces and color models
  ☆59Updated 3 months ago
• 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
• Ucombinator / parsing-with-zippers
  A clean implementation of Parsing with Zippers.
  ☆37Updated 6 years ago
• eviefp / logic-in-haskell
  Classical Logic in Haskell
  ☆24Updated last month
• mb64 / simple-lambda-prolog
  A simple λProlog interpreter
  ☆20Updated 3 years ago
• iambrj / metaKanren
  Relational interpreter for miniKanren, in miniKanren.
  ☆14Updated 3 years ago
• tetrapharmakon / yoneda-in-tongues
  Yoneda lemma in every known language
  ☆17Updated 2 years ago
• atennapel / coc-os
  "operating system" based on the calculus of constructions
  ☆18Updated 2 years ago
• metaborg / linear.agda
  A library and case-study for linear, intrinsically-typed interpreters in Agda
  ☆34Updated 5 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
• conal / agda-cat-linear
  Linear map categories in Agda
  ☆5Updated 2 years ago
• adrieng / melitte
  Toy implementation of Martin-Löf Type Theory
  ☆28Updated 2 years ago
• adrieng / pulsar
  Experimental functional language
  ☆17Updated 2 years ago
• fsestini / zsyntax
  Automated theorem prover for a linear logic-based calculus for molecular biology.
  ☆12Updated last year
• cdfa / frugel
  An error-tolerant live programming environment (my Master's thesis)
  ☆18Updated 2 years ago