Alternatives and similar repositories for quilt

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

• franeklubi / scaffolding
  scaffolding is a very pointless esolang. Don't try it.
  ☆16Updated 5 years ago
• trillioneyes / idris-pong
  A browser Pong game, taking advantage of Idris's ability to compile to javascript.
  ☆18Updated 11 years ago
• TristanCacqueray / demo-render
  Digital art
  ☆10Updated 5 years ago
• arendsee / lsystems
  L-system generators and visualizers
  ☆32Updated 4 years ago
• meta-logic / sequoia-v0
  Design, play with, and analyze sequent calculus proof systems.
  ☆14Updated last year
• helvm / helma
  🔧 🎨 HelMA - Haskellish Esoteric Little Minimal Automaton for Esoteric Languages implemented in Haskell
  ☆15Updated last year
• jpt4 / skio
  Pure relational SKI combinator calculus interpreter.
  ☆11Updated 8 years ago
• lunasorcery / hw
  HW: a modern, open-source, typeless, turing-incomplete programming language.
  ☆10Updated 7 years ago
• fengctor / octune
  A DSL for creating 8-bit style music
  ☆33Updated last year
• oblivia-simplex / plog
  A bare-bones blogging system, written in Prolog
  ☆26Updated last year
• catseye / Mascarpone
  MIRROR of https://codeberg.org/catseye/Mascarpone : You are lost in a twisty maze of meta-circular interpreters, all alike.
  ☆23Updated 2 years ago
• dpiponi / SASL
  A simple and educational compiler for the SASL programming language
  ☆23Updated 7 years ago
• 4y8 / ski-in-asm
  A SKI combinators interpreter written in assembly
  ☆20Updated 5 years ago
• liarokapisv / danac
  A compiler for the Dana programming language
  ☆11Updated 4 years ago
• 5outh / chaosbox
  A framework for generative art.
  ☆60Updated 5 years ago
• technicalguy / acs-category-theory-notes-2017
  Cambridge ACS Category Theory, Type Theory, and Logic - lecture notes 2017.
  ☆14Updated 7 years ago
• imneme / mini-sk
  A Small Combinator-Reduction System
  ☆19Updated 5 years ago
• Sintrastes / Montague
  A library for non-deterministically parsing natural language expressions into a structured form.
  ☆18Updated 2 years ago
• Kleidukos / Intrigue
  My attempt at writing a R⁵RS-compliant Scheme with Megaparsec
  ☆14Updated last week
• atennapel / coc-os
  "operating system" based on the calculus of constructions
  ☆18Updated 3 years ago
• namin / blond
  the reflective tower Blond by Olivier Danvy & Karoline Malmkjær
  ☆16Updated 7 months ago
• hrldcpr / Bezier.hs
  Bézier curves in Haskell
  ☆28Updated 2 months ago
• RichardMoot / LinearOne
  LinearOne is a prototype theorem prover for first-order (multiplicative, intuitionistic) linear logic.
  ☆20Updated 5 years ago
• altaris / opetopy
  Proof assistant for opetope and opetopic set derivation systems
  ☆15Updated 5 years ago
• synergistics / chemlambda-hask
  A set of tools for building graph rewriting systems and more specifically, working with the chemlambda rewrite model of computation.
  ☆12Updated 9 years ago
• ef1j / Art1
  Art1 by Richard Williams, 1968
  ☆47Updated last year
• ibrahimsag / rw
  an experiment in presenting code.
  ☆14Updated 5 years ago
• felko / snowflake
  An imperative, statically-typed toy language
  ☆12Updated 6 years ago
• GrayJoKing / Cascade
  An esoteric language based on overlapping tree-like structures
  ☆10Updated 4 years ago
• solomon-b / HowardLang
  An interpreted lambda calculus with Algebraic and Recursive Types.
  ☆20Updated 4 years ago