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
• TristanCacqueray / demo-render
  Digital art
  ☆11Updated 5 years ago
• oblivia-simplex / plog
  A bare-bones blogging system, written in Prolog
  ☆26Updated last year
• trillioneyes / idris-pong
  A browser Pong game, taking advantage of Idris's ability to compile to javascript.
  ☆18Updated 10 years ago
• arendsee / lsystems
  L-system generators and visualizers
  ☆31Updated 3 years ago
• francoisschwarzentruber / prooffold
  Another attempt for visualizing proofs
  ☆12Updated 8 months ago
• liarokapisv / danac
  A compiler for the Dana programming language
  ☆11Updated 4 years ago
• mbuliga / chemski
  Purely local graph rewrite system for the SKI combinator calculus, in chemlambda style.
  ☆18Updated 2 years ago
• GrayJoKing / Cascade
  An esoteric language based on overlapping tree-like structures
  ☆10Updated 3 years ago
• altaris / opetopy
  Proof assistant for opetope and opetopic set derivation systems
  ☆15Updated 5 years ago
• meta-logic / sequoia-v0
  Design, play with, and analyze sequent calculus proof systems.
  ☆13Updated 11 months ago
• wphicks / Esopo
  Poetic esoteric programming languages
  ☆18Updated 8 years ago
• fengctor / octune
  A DSL for creating 8-bit style music
  ☆33Updated 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 last year
• 4y8 / ski-in-asm
  A SKI combinators interpreter written in assembly
  ☆20Updated 5 years ago
• technicalguy / acs-category-theory-notes-2017
  Cambridge ACS Category Theory, Type Theory, and Logic - lecture notes 2017.
  ☆14Updated 7 years ago
• ComputerAidedLL / click-and-collect
  A web interactive tool for building proofs in the sequent calculus of Linear Logic, with its backend written in OCaml
  ☆22Updated 4 months ago
• 5outh / chaosbox
  A framework for generative art.
  ☆61Updated 4 years ago
• Sintrastes / Montague
  A library for non-deterministically parsing natural language expressions into a structured form.
  ☆17Updated 2 years ago
• felko / snowflake
  An imperative, statically-typed toy language
  ☆12Updated 6 years ago
• Euterpea / Euterpea2-Examples
  Small code examples demonstrating the use of Euterpea2 and HSoM
  ☆30Updated 5 years ago
• tromp / AIT
  Algorithmic Information Theory, using Binary Lambda Calculus
  ☆166Updated 2 weeks ago
• helvm / helma
  🔧 🎨 HelMA - Haskellish Esoteric Little Minimal Automaton for Esoteric Languages implemented in Haskell
  ☆14Updated last year
• Reconcyl / myco
  An artificial life experiment.
  ☆11Updated 5 years ago
• eviau / fleuve
  fleuve: langage de programmation non-fonctionnel, potentiellement généraliste et très opiniâtre.
  ☆11Updated 4 years ago
• AHartNtkn / Dependent-Binary-Lambda-Calculus
  A Dependently Typed Esolang
  ☆10Updated 8 years ago
• bkomuves / nanohs
  a self-hosting lambda calculus compiler
  ☆36Updated 4 months ago
• DataKinds / charm
  A [ functional stack ] based language.
  ☆29Updated last year
• solomon-b / HowardLang
  An interpreted lambda calculus with Algebraic and Recursive Types.
  ☆19Updated 4 years ago
• darius / toot
  A small language to demo turning an interpreter into a compiler
  ☆11Updated 8 years ago