dcolish / purely-funLinks
Purely Functional Data Structures
☆34Updated 13 years ago
Alternatives and similar repositories for purely-fun
Users that are interested in purely-fun are comparing it to the libraries listed below
Sorting:
- A Haskell implementation of the Shen programming language.☆168Updated 7 years ago
- A book on programming languages, using Haskell☆167Updated 4 years ago
- Attempt to port All About Monads to HaskellWiki☆54Updated 8 years ago
- A secure web framework, built in the Idris language.☆110Updated 12 years ago
- Denotational Design: from programs to meanings☆100Updated 9 years ago
- A full implementation of the Scheme programming language for the Haskell Platform.☆316Updated 2 years ago
- ☆51Updated 10 years ago
- Collection of Idris tests and demonstration programs☆194Updated 7 years ago
- ☆90Updated 10 years ago
- (Haskell) Web application server with stateful, type safe user interactions and widget combinators☆101Updated 10 years ago
- small-but-featureful embeddable lisp interpreter written in haskell.☆115Updated 12 years ago
- Code, wiki, and resources for the weekly miniKanren uncourse☆52Updated 10 years ago
- Charity language interpreters and literature☆114Updated 6 years ago
- Pearls of Functional Algorithm Design by Richard Bird - Haskell Code☆191Updated 9 years ago
- FFI Bindings to interact with the unsafe world of JavaScript☆94Updated 7 years ago
- 2048 in Idris☆124Updated 8 years ago
- A small strongly typed language that compiles to C++11☆152Updated 6 years ago
- Koans are small lessons on the path to enlightenment. The aim of the Idris Koans project is to provide an easy learning environment in Id…☆182Updated 7 years ago
- Husk is an implementation of the Scheme programming language for the Haskell Platform.☆11Updated 6 years ago
- A library for building re-usable and composable SQL queries.☆105Updated 4 months ago
- Totally functional programming literature☆60Updated 6 years ago
- Simply Reactive! Declarative orchestration in Haskell using RDP☆274Updated 12 years ago
- Code samples for my book "Haskell Tutorial and Cookbook"☆83Updated 2 months ago
- Diagrams standard library☆141Updated 2 months ago
- An Haskell oriented introduction to Category Theory (with basket of cats!)☆63Updated 4 months ago
- ☆49Updated 13 years ago
- A step-by-step MicroKanren evaluator☆29Updated 9 years ago
- My solutions to the popular Haskell tutorial☆77Updated 13 years ago
- The Ermine Programming Language - Join us on irc.freenode.net #ermine☆223Updated 7 years ago
- A collection of resources for learning type theory.☆99Updated 9 years ago