chrisuehlinger / LambdaBubblePopLinks
☆49Updated 8 years ago
Alternatives and similar repositories for LambdaBubblePop
Users that are interested in LambdaBubblePop are comparing it to the libraries listed below
Sorting:
- The LVish Haskell library☆80Updated 2 years ago
- A Computer Algebra System written in and for Haskell☆26Updated 8 years ago
- Shem's powerful IDE.☆62Updated 4 years ago
- An aggregation of all online content related to Haskell.☆91Updated 6 years ago
- A formal moral framework coded in Haskell☆49Updated 10 years ago
- Experiments in Idris / Unity integration.☆49Updated 8 years ago
- Companion code for "Why Dependent Types Matter" paper.☆60Updated 6 years ago
- A secure sandboxed Haskell interpreter for pure function evaluation☆76Updated last year
- A purely functional, dynamically typed, parallel evaluated Lisp-like programming language☆35Updated 9 years ago
- Purely functional, persistent and efficient vector and hash-map data structures for Haskell☆46Updated 7 years ago
- A lazy specializing virtual machine for purely functional languages☆101Updated 7 years ago
- Haskell implementation of Mustache template☆96Updated 6 years ago
- being the materials for CS410 Advanced Functional Programming in the 2014-15 session☆70Updated 10 years ago
- A small and simple Haskell library for automatically ordering dependencies at runtime. Great for handling forward references when writin…☆17Updated 10 years ago
- A pure Haskell implementation of Datalog☆105Updated 4 years ago
- Example uses of monads☆43Updated 6 years ago
- Totally functional programming literature☆60Updated 6 years ago
- 2048 in Idris☆122Updated 7 years ago
- World's dumbest fuzzer☆52Updated last year
- Roguelike for 7DRL make in Elm☆30Updated 9 years ago
- A CHIP-8 Emulator written in Haskell☆37Updated 7 years ago
- Slides & demos for talks I do☆58Updated 4 years ago
- Embedding a Full Linear Lambda Calculus in Haskell☆8Updated 9 years ago
- Slides and exercises for the Idris course taught at Galois☆50Updated 9 years ago
- A funny toy programming language project☆29Updated 12 years ago
- ☆94Updated 8 years ago
- Purely functional statically typed Lisp which compiles to JavaScript☆46Updated 7 years ago
- Port of HUGS Haskell interpreter to Android☆42Updated 11 years ago
- ncurses binding for Haskell☆61Updated 2 weeks ago
- A step-by-step MicroKanren evaluator☆29Updated 8 years ago