Alternatives and similar repositories for quilt

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

• oblivia-simplex / plog
  A bare-bones blogging system, written in Prolog
  ☆26Updated last year
• Euterpea / Euterpea2-Examples
  Small code examples demonstrating the use of Euterpea2 and HSoM
  ☆31Updated 5 years ago
• TristanCacqueray / demo-render
  Digital art
  ☆11Updated 5 years ago
• fengctor / octune
  A DSL for creating 8-bit style music
  ☆33Updated last year
• meta-logic / sequoia-v0
  Design, play with, and analyze sequent calculus proof systems.
  ☆14Updated last year
• 4y8 / ski-in-asm
  A SKI combinators interpreter written in assembly
  ☆19Updated 5 years ago
• franeklubi / scaffolding
  scaffolding is a very pointless esolang. Don't try it.
  ☆16Updated 5 years ago
• jpt4 / skio
  Pure relational SKI combinator calculus interpreter.
  ☆11Updated 8 years ago
• 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
• technicalguy / acs-category-theory-notes-2017
  Cambridge ACS Category Theory, Type Theory, and Logic - lecture notes 2017.
  ☆14Updated 7 years ago
• hrldcpr / Bezier.hs
  Bézier curves in Haskell
  ☆28Updated 2 weeks ago
• donya / Jazzkell
  Haskell framework for generative models of jazz
  ☆42Updated 6 years ago
• arendsee / lsystems
  L-system generators and visualizers
  ☆32Updated 3 years ago
• helvm / helma
  🔧 🎨 HelMA - Haskellish Esoteric Little Minimal Automaton for Esoteric Languages implemented in Haskell
  ☆15Updated last year
• skbaek / Ethics
  I.I-XI of Spinoza's Ethics, formalized in Coq
  ☆18Updated 9 years ago
• 5outh / chaosbox
  A framework for generative art.
  ☆61Updated 4 years ago
• solomon-b / HowardLang
  An interpreted lambda calculus with Algebraic and Recursive Types.
  ☆19Updated 4 years ago
• vivid-synth / vivid
  Music and sound synthesis in Haskell!
  ☆53Updated last year
• jdolson / univalence-from-scratch
  Univalence from scratch in Idris
  ☆19Updated 7 years ago
• trillioneyes / idris-pong
  A browser Pong game, taking advantage of Idris's ability to compile to javascript.
  ☆18Updated 10 years ago
• Sintrastes / Montague
  A library for non-deterministically parsing natural language expressions into a structured form.
  ☆18Updated 2 years ago
• 5outh / Bang
  A Drum Machine DSL for Haskell
  ☆95Updated 6 years ago
• andrejbauer / miniLCF
  A bare-bones LCF-style proof assistant
  ☆24Updated 6 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
  ☆24Updated 6 months ago
• umazalakain / fyp
  My final year project at the University of Strathclyde
  ☆13Updated 2 years ago
• lexi-lambda / mini-ml
  An experimental implementation of a tiny ML-like language using an embedded custom expander (WIP, currently just System F core language)
  ☆21Updated 6 years ago
• omelkonian / AlgoRhythm
  AlgoRhythm: A Haskell library for algorithmic music composition.
  ☆21Updated 7 years ago
• dpiponi / SASL
  A simple and educational compiler for the SASL programming language
  ☆23Updated 7 years ago
• dmbaturin / hope
  Hope programming language interpreter
  ☆42Updated 4 months ago
• atennapel / coc-os
  "operating system" based on the calculus of constructions
  ☆18Updated 3 years ago