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
Sorting:
- The Ermine Programming Language - Join us on irc.freenode.net #ermine☆220Updated 6 years ago
- (Haskell) Web application server with stateful, type safe user interactions and widget combinators☆101Updated 9 years ago
- ☆51Updated 9 years ago
- PureScript UI framework based on lenses.☆122Updated 8 years ago
- Totally functional programming literature☆60Updated 6 years ago
- 2048 in Idris☆122Updated 7 years ago
- The LVish Haskell library☆80Updated 2 years ago
- Denotational Design: from programs to meanings☆98Updated 9 years ago
- Low-level PureScript wrappers for React Native☆60Updated 8 years ago
- The Ntha Programming Language☆92Updated 8 years ago
- Clojure transducers in a typed setting, in Haskell☆55Updated 10 years ago
- Compile-time metaprogramming for OCaml☆73Updated 9 months ago
- Implementations of µKanren in assorted languages☆63Updated 8 years ago
- A secure web framework, built in the Idris language.☆110Updated 11 years ago
- Code, wiki, and resources for the weekly miniKanren uncourse☆52Updated 10 years ago
- Book: Introduction to Dependent Types with Idris☆78Updated 2 years ago
- An empty code generator, to be used as a starting point for any new back ends.☆51Updated 7 years ago
- ☆89Updated 9 years ago
- A pure Haskell implementation of Datalog☆105Updated 4 years ago
- A tutorial to the Idris Programming Language.☆95Updated 9 years ago
- ECMAScript back end for Functional Reactive Programming in Agda☆104Updated 7 years ago
- Relational Programming in miniKanren☆52Updated 9 years ago
- A step-by-step MicroKanren evaluator☆29Updated 8 years ago
- A library for composable and effectful production, transformation and consumption of streams of data in Idris☆37Updated 7 years ago
- A purely functional programming language intended for practical programming.☆28Updated 15 years ago
- An attempt at writing C libraries in Rust that can be called from Idris☆22Updated 9 years ago
- A port of the Elm Architecture Tutorial to PureScript☆56Updated 6 years ago
- A small strongly typed language that compiles to C++11☆152Updated 6 years ago
- A simple FRP library providing leak-free first-class streams.☆114Updated 8 years ago
- Working through Type-Driven Development with Idris☆24Updated 8 years ago