stefanlesser / recurseLinks
Documents for my time at the Recurse Center
☆28Updated 6 years ago
Alternatives and similar repositories for recurse
Users that are interested in recurse are comparing it to the libraries listed below
Sorting:
- A Drum Machine DSL for Haskell☆95Updated 7 years ago
- A schemy Lisp backed by Haskell☆60Updated 7 years ago
- A simple Prolog interpreter☆42Updated 4 years ago
- First Haskell implementations of Fran/FRP☆34Updated 7 years ago
- Datalog implementation in Haskell. Experimental proving ground for knowledge-base ideas.☆23Updated 7 years ago
- A git-compatible content tracker in Haskell.☆67Updated 6 years ago
- So, you want to write a DSL interpreter...☆25Updated 7 years ago
- User Interfaces for Programming Languages: The Compendium☆28Updated 4 years ago
- ALGT 2.0☆30Updated 6 years ago
- A compiler for a simple language using llvm☆37Updated 2 years ago
- i bet you there is a typesystem behind music☆32Updated 7 years ago
- Clear to write, read and edit DSL for writing SVG, base on lucid☆12Updated 2 years ago
- Lecture notes for teaching Haskell to those who want to read it☆55Updated 3 years ago
- Bézier curves in Haskell☆28Updated 4 months ago
- Madlang is a language for generative literature☆51Updated 7 years ago
- A general purpose programming language with linear types☆43Updated 8 years ago
- Minimalistic file explorer, written in Haskell.☆17Updated 7 years ago
- Reification of data structures using observable sharing☆30Updated last year
- ICFP Bingo 2017 (Idris edition)☆30Updated 6 years ago
- Small implementation of OutsideIn(X) type checking algorithm☆31Updated 10 years ago
- Conway's game of life in 100 lines or less!☆35Updated 8 years ago
- A tiny scheme interpreter in Haskell☆24Updated 6 years ago
- https://mitchellwrosen.github.io/haskell-papers☆22Updated 7 years ago
- A library for parsing Gerbers☆20Updated 7 months ago
- A book about real world web development in beginner friendly Haskell☆77Updated 6 years ago
- Coq proof for the paper "Compiling a Fifty Year Journey"☆13Updated 8 years ago
- A prolog interpreter written in Haskell.☆62Updated 10 years ago
- used to be something more ambitious, cut scope to just a simple compiler for thesis project☆17Updated 7 years ago
- Small code examples demonstrating the use of Euterpea2 and HSoM☆32Updated 5 years ago
- ☆41Updated 8 years ago