Alternatives and similar repositories for recurse:

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

• zepto-lang / zepto
  A schemy Lisp backed by Haskell
  ☆60Updated 6 years ago
• tyehle / llvm-lambda
  A compiler for a simple language using llvm
  ☆35Updated last year
• fplab / ui-for-pl
  User Interfaces for Programming Languages: The Compendium
  ☆27Updated 4 years ago
• pcarbonn / H-Calc
  So, you want to write a DSL interpreter...
  ☆25Updated 6 years ago
• 5outh / Bang
  A Drum Machine DSL for Haskell
  ☆94Updated 6 years ago
• trbabb / ramen
  A node-based visual programming language editor in React
  ☆12Updated 7 years ago
• trillioneyes / idris-pong
  A browser Pong game, taking advantage of Idris's ability to compile to javascript.
  ☆18Updated 10 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.
  ☆11Updated 8 years ago
• TikhonJelvis / Simple-Prolog
  A simple Prolog interpreter
  ☆42Updated 3 years ago
• maryrosecook / isla
  A programming language for young children
  ☆108Updated 6 years ago
• darius / toot
  A small language to demo turning an interpreter into a compiler
  ☆11Updated 8 years ago
• hellerve / ptolemy
  My reading list
  ☆82Updated 3 years ago
• exercism / coq
  Exercism exercises in Coq.
  ☆18Updated 4 months ago
• pkamenarsky / typedraw
  Visually describe Haskell/Purescript/Elm types
  ☆105Updated 7 years ago
• jeffreyrosenbluth / lucid-svg
  Clear to write, read and edit DSL for writing SVG, base on lucid
  ☆12Updated last year
• pa-ba / McCarthy-Painter
  Coq proof for the paper "Compiling a Fifty Year Journey"
  ☆13Updated 7 years ago
• ambuc / cornea
  👁️ Isometric 3D Graphing / Rendering module for Haskell
  ☆15Updated 7 years ago
• 5outh / Molecule
  A tiny statically typed programming language
  ☆18Updated 10 years ago
• parsonsmatt / lambda
  An exploration and implementation of the lambda calculus.
  ☆12Updated 8 years ago
• joom / direct-reflection-for-free
  using Data and Typeable to get a direct reflection system for free, when we're implementing a toy language in Haskell
  ☆15Updated 5 years ago
• kevinsullivan / cs1113f16
  CS1 through Type Theory
  ☆15Updated 8 years ago
• JeffreyBenjaminBrown / monome
  ☆17Updated 4 years ago
• conal / quotes
  My favorite quotes
  ☆17Updated 8 months ago
• jaspervdj / talks
  Slides & demos for talks I do
  ☆59Updated 4 years ago
• sfultong / stand-in-language
  a simple total pure functional language, eventually to have powerful static checking and optimization
  ☆33Updated last month
• zaklogician / typical-antiphrasis
  Paradoxes of type theory, described didactically. With accompanying proofs in Agda.
  ☆39Updated 4 years ago
• CompSciCabal / reading-material
  Reading schedule and our library of pdfs
  ☆24Updated 5 years ago
• madgen / temporalog
  A Datalog extension to reason about time with CTL operators
  ☆14Updated 5 years ago
• mitchellwrosen / haskell-papers
  https://mitchellwrosen.github.io/haskell-papers
  ☆22Updated 6 years ago
• hrldcpr / Bezier.hs
  Bézier curves in Haskell
  ☆28Updated 8 years ago