chrisuehlinger / LambdaBubblePop
☆49Updated 7 years ago
Related projects: ⓘ
- Companion code for "Why Dependent Types Matter" paper.☆60Updated 6 years ago
- A programming language that runs in Haskell's type system.☆249Updated 8 years ago
- Interactive, client-side web apps in Haskell☆149Updated 10 years ago
- 2048 in Idris☆121Updated 6 years ago
- being the materials for CS410 Advanced Functional Programming in the 2014-15 session☆67Updated 9 years ago
- Haskell implementation of Mustache template☆96Updated 6 years ago
- The LVish Haskell library☆81Updated last year
- A purely functional, dynamically typed, parallel evaluated Lisp-like programming language☆35Updated 8 years ago
- Totally functional programming literature☆59Updated 5 years ago
- An aggregation of all online content related to Haskell.☆90Updated 6 years ago
- A formal moral framework coded in Haskell☆49Updated 9 years ago
- ☆94Updated 8 years ago
- A port of QuickCheck to Idris☆57Updated 6 years ago
- A Computer Algebra System written in and for Haskell☆26Updated 8 years ago
- Semantic Version Control mk II.☆37Updated 4 years ago
- A lazy specializing virtual machine for purely functional languages☆101Updated 6 years ago
- Model-view-controller☆62Updated 2 years ago
- Static blog generator in Idris.☆39Updated 9 years ago
- Server for stable, curated Haskell package sets☆106Updated 3 months ago
- ☆99Updated 6 years ago
- A purely functional programming language intended for practical programming.☆28Updated 14 years ago
- A step-by-step MicroKanren evaluator☆29Updated 7 years ago
- Bézier curves in Haskell☆28Updated 8 years ago
- A simple UI for evaluating expressions in the untyped lambda calculus☆55Updated last year
- A fork of jhc. And also a Haskell compiler.☆134Updated 5 years ago
- Purely functional, persistent and efficient vector and hash-map data structures for Haskell☆45Updated 6 years ago
- a simple functional language for learners☆30Updated 7 years ago
- Experimental Malfunction backend for Idris☆81Updated 6 years ago
- Kind-safe framework for type-safe APIs☆78Updated 5 years ago
- ☆24Updated this week