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:
- Roguelike for 7DRL make in Elm☆30Updated 9 years ago
- Companion code for "Why Dependent Types Matter" paper.☆60Updated 7 years ago
- Clojure transducers in a typed setting, in Haskell☆55Updated 10 years ago
- A programming language that runs in Haskell's type system.☆253Updated 9 years ago
- Type declarations for jQuery☆30Updated 5 years ago
- 2048 in Idris☆122Updated 7 years ago
- A simple UI for evaluating expressions in the untyped lambda calculus☆56Updated 2 years ago
- Totally functional programming literature☆60Updated 6 years ago
- Haskell implementation of Mustache template☆96Updated 6 years ago
- A secure web framework, built in the Idris language.☆110Updated 11 years ago
- A purely functional, dynamically typed, parallel evaluated Lisp-like programming language☆35Updated 9 years ago
- Purely functional statically typed Lisp which compiles to JavaScript☆47Updated 7 years ago
- being the materials for CS410 Advanced Functional Programming in the 2014-15 session☆70Updated 10 years ago
- A step-by-step MicroKanren evaluator☆29Updated 8 years ago
- ☆94Updated 8 years ago
- Static blog generator in Idris.☆39Updated 10 years ago
- Write your AWS Lambda in PureScript!☆9Updated 9 years ago
- A formal moral framework coded in Haskell☆49Updated 10 years ago
- Shem's powerful IDE.☆62Updated 4 years ago
- Example uses of monads☆43Updated 6 years ago
- Making Slackbots is hard! But wait: now it's easy.☆14Updated 10 years ago
- Learning project by a group of people interested in learning the Idris language☆50Updated 10 years ago
- GHCi REPL in Atom☆26Updated 3 years ago
- A PureScript prelude with more features.☆30Updated 7 years ago
- Purely functional, persistent and efficient vector and hash-map data structures for Haskell☆46Updated 7 years ago
- Epic - a Supercombinator Compiler☆65Updated 10 years ago
- ☆15Updated 9 years ago
- A pure Haskell implementation of Datalog☆105Updated 4 years ago
- The LVish Haskell library☆80Updated 2 years ago
- A toolkit for creating REST services with Node and PureScript☆32Updated 8 years ago