dcolish / purely-fun
Purely Functional Data Structures
☆34Updated 12 years ago
Alternatives and similar repositories for purely-fun:
Users that are interested in purely-fun are comparing it to the libraries listed below
- An aggregation of all online content related to Haskell.☆91Updated 6 years ago
- (Haskell) Web application server with stateful, type safe user interactions and widget combinators☆101Updated 9 years ago
- 2048 in Idris☆121Updated 7 years ago
- ☆51Updated 9 years ago
- Clojure transducers in a typed setting, in Haskell☆55Updated 10 years ago
- ☆94Updated 8 years ago
- Totally functional programming literature☆60Updated 6 years ago
- The Ermine Programming Language - Join us on irc.freenode.net #ermine☆220Updated 6 years ago
- Denotational Design: from programs to meanings☆98Updated 9 years ago
- Let's program! Get into programming writing a simple game.☆75Updated 11 years ago
- Stanford CS240h Class Notes -- Functional Systems in Haskell☆27Updated 10 years ago
- A prolog interpreter written in Haskell.☆62Updated 9 years ago
- All the ML code examples from the book "The Little MLer"☆87Updated 14 years ago
- Attempt to port All About Monads to HaskellWiki☆54Updated 7 years ago
- Haskell Semantics with Lisp Syntax☆68Updated 11 years ago
- Haskell plugin for LightTable☆114Updated 9 years ago
- Compile-time metaprogramming for OCaml☆73Updated 8 months ago
- Transducers for Idris: a library for composable algorithmic transformation.☆32Updated 7 years ago
- A simple FRP library providing leak-free first-class streams.☆114Updated 8 years ago
- A step-by-step MicroKanren evaluator☆29Updated 8 years ago
- The Ntha Programming Language☆92Updated 8 years ago
- Relational Programming in miniKanren☆52Updated 9 years ago
- Dive into GHC☆82Updated 8 years ago
- A library for composable and effectful production, transformation and consumption of streams of data in Idris☆37Updated 7 years ago
- small-but-featureful embeddable lisp interpreter written in haskell.☆115Updated 11 years ago
- Emacs mode for PureScript☆44Updated 7 years ago
- Learning project by a group of people interested in learning the Idris language☆50Updated 10 years ago
- Code, wiki, and resources for the weekly miniKanren uncourse☆52Updated 10 years ago
- Slides and exercises for the Idris course taught at Galois☆50Updated 9 years ago
- The LVish Haskell library☆80Updated 2 years ago