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
- 2048 in Idris☆121Updated 7 years ago
- A basic Parsec-like monadic parser combinator library implementation in Racket.☆50Updated 2 years ago
- Typed Racket data structure libraries☆58Updated 3 years ago
- The Ntha Programming Language☆93Updated 8 years ago
- Code, wiki, and resources for the weekly miniKanren uncourse☆52Updated 9 years ago
- Relational Programming in miniKanren☆52Updated 9 years ago
- ☆51Updated 9 years ago
- Haskell Semantics with Lisp Syntax☆68Updated 11 years ago
- a Open Xml Spreadsheet Format(.xlsx) file tool for racket-lang☆27Updated 5 months ago
- Clojure transducers in a typed setting, in Haskell☆55Updated 10 years ago
- Demonstration of implementing a language in Racket☆58Updated 10 years ago
- (Somewhat) Algebraic Data Types for Racket☆34Updated 2 years ago
- Haskell plugin for LightTable☆114Updated 9 years ago
- small-but-featureful embeddable lisp interpreter written in haskell.☆115Updated 11 years ago
- ☆94Updated 8 years ago
- ☆73Updated 10 years ago
- Implementations of µKanren in assorted languages☆61Updated 8 years ago
- Clojure's Transducers in Haskell☆40Updated 8 years ago
- The Ermine Programming Language - Join us on irc.freenode.net #ermine☆220Updated 6 years ago
- An embedding of miniKanren in Shen.☆25Updated 9 years ago
- Book: Introduction to Dependent Types with Idris☆77Updated 2 years ago
- An attempt at writing C libraries in Rust that can be called from Idris☆22Updated 9 years ago
- Compile-time metaprogramming for OCaml☆72Updated 7 months ago
- Examples of the nice parts of Racket☆22Updated 7 years ago
- PLT Redex model of basic Dependently Typed Racket calculus☆18Updated 9 years ago
- A tutorial to the Idris Programming Language.☆95Updated 9 years ago
- Racket port of the nanopass-framework☆34Updated 3 years ago
- Generic graph library and algorithms for Racket.☆59Updated last year
- ICFP 2017 Artifact for Functional Pearl: A Unified Approach to Solving Seven Programming Problems☆28Updated 7 years ago
- An outdated miniKanren implementation with a not-pairo constraint☆30Updated 11 years ago