arendsee / lsystems

Related projects ⓘ

Alternatives and complementary repositories for lsystems

• 4y8 / ski-in-asm
  A SKI combinators interpreter written in assembly
  ☆17Updated 4 years ago
• dpiponi / provability
  Some tools for provability logic
  ☆36Updated 6 years ago
• dhil / pthandlers
  an encoding of affine effect handlers using pthreads
  ☆12Updated last year
• fplab / ui-for-pl
  User Interfaces for Programming Languages: The Compendium
  ☆27Updated 3 years ago
• dpiponi / SASL
  A simple and educational compiler for the SASL programming language
  ☆23Updated 6 years ago
• luqui / Djest
  A programming language that deduces code from tests
  ☆30Updated 6 years ago
• TOTBWF / teenytt
  A Teeny Type Theory
  ☆26Updated 2 years ago
• zaklogician / typical-antiphrasis
  Paradoxes of type theory, described didactically. With accompanying proofs in Agda.
  ☆38Updated 4 years ago
• msp-strath / Mary
  Mary is the successor of Marx, a content delivery and assessment engine based on markdown and git
  ☆17Updated 9 months ago
• Kleidukos / Intrigue
  My attempt at writing a R⁵RS-compliant Scheme with Megaparsec
  ☆15Updated 9 months ago
• Ucombinator / parsing-with-zippers
  A clean implementation of Parsing with Zippers.
  ☆37Updated 6 years ago
• catseye / Mascarpone
  MIRROR of https://codeberg.org/catseye/Mascarpone : You are lost in a twisty maze of meta-circular interpreters, all alike.
  ☆21Updated last year
• altaris / opetopy
  Proof assistant for opetope and opetopic set derivation systems
  ☆14Updated 4 years ago
• eviefp / logic-in-haskell
  Classical Logic in Haskell
  ☆23Updated last year
• jin / subtyping
  An implementation of structural subtyping of records and functions
  ☆13Updated 6 years ago
• adrieng / pulsar
  Experimental functional language
  ☆18Updated 2 years ago
• joom / dilim
  A structure editor for a simple functional programming language, with Vim-like shortcuts and commands.
  ☆15Updated 11 months ago
• bkomuves / nanohs
  a self-hosting lambda calculus compiler
  ☆34Updated 3 years ago
• joelburget / lvca
  language verification, construction, and analysis
  ☆20Updated 2 years ago
• reynir / Brainfuck
  Brainfuck formalized in Coq
  ☆26Updated 2 years ago
• sam46 / FuncMorph
  Crazy figures and animations with Haskell
  ☆34Updated 6 years ago
• curry-packages / pflp
  Probabilistic Functional Logic Programming
  ☆14Updated 2 weeks ago
• balint99 / sfpl
  A simple functional programming language.
  ☆21Updated 3 years ago
• aspiwack / peppermint-prover
  Experimental proof assistant (and architecture) for dependent linear logic
  ☆47Updated 2 years ago
• gelisam / typechecker-combinators
  ☆16Updated 7 months ago
• tetrapharmakon / yoneda-in-tongues
  Yoneda lemma in every known language
  ☆17Updated last year
• VictorTaelin / ultimate-calculus
  ☆36Updated 2 years ago
• 4y8 / esoo
  Like the Programming Languages Zoo but with esoteric languages.
  ☆25Updated 4 years ago