Alternatives and similar repositories for okasaki

Users that are interested in okasaki are comparing it to the libraries listed below

• TheReasonedSchemer2ndEd / CodeFromTheReasonedSchemer2ndEd
  Code from Chapter 10 & Appendix A, implementation, and Chapters 7 & 8, arithmetic
  ☆139Updated 7 years ago
• rain-1 / continuations-study-group
  ☆79Updated 6 years ago
• takikawa / tr-pfds
  Typed Racket data structure libraries
  ☆59Updated 3 years ago
• david-christiansen / pie-hs
  An implementation of Pie in Haskell
  ☆211Updated 5 years ago
• Mzk-Levi / texts
  ☆161Updated 10 years ago
• uroboros / haskell_design_patterns
  Code bundle for "Haskell Design Patterns" book
  ☆18Updated 9 years ago
• lettier / parsing-with-haskell-parser-combinators
  🔍 A step-by-step guide to parsing using Haskell parser combinators.
  ☆95Updated 5 years ago
• stchang / macrotypes
  ☆137Updated 3 years ago
• finkel-lang / finkel
  Haskell in S-expression
  ☆176Updated 11 months ago
• edwinb / TypeDD-Samples
  Sample code from "Type Driven Development with Idris"
  ☆164Updated 8 years ago
• CatTheoryByExample / book
  The category theory by example book
  ☆59Updated 2 years ago
• namin / staged-miniKanren
  multi-stage relational programming for staged relational interpreters: running with holes, faster
  ☆136Updated 4 months ago
• tonyg / racket-monad
  Monads for Racket (!)
  ☆21Updated 10 years ago
• willbasky / Awesome-list-of-Haskell-mentors
  An amazing list of Haskell developers who would like to mentor beginner-contributors in open source projects.
  ☆177Updated 3 years ago
• namin / clpsmt-miniKanren
  CLP(SMT) on top of miniKanren
  ☆38Updated 3 years ago
• soupi / rfc
  My slides and compilation of resources.
  ☆155Updated last year
• graninas / Hydra
  Hydra is a full-fledged framework for building web services, multithreaded and concurrent applications with SQL and KV DB support.
  ☆197Updated last year
• calvis / cKanren
  Constraint programming language embedded in Racket
  ☆154Updated 4 years ago
• lexi-lambda / talks
  ☆45Updated 2 years ago
• webyrd / dissertation-single-spaced
  Single-spaced version of my dissertation, 'Relational Programming in miniKanren: Techniques, Applications, and Implementations'
  ☆59Updated 6 years ago
• cedille / ial
  The Iowa Agda Library
  ☆49Updated last month
• Anton-Latukha / Fundamental-Haskell
  Fundamental Haskell book, to the point terse statements on Haskell, Category theory, and related fields. Encyclopedic pocketbook of meani…
  ☆126Updated 3 years ago
• racket / redex
  ☆98Updated last week
• isovector / algebra-driven-design
  Source material for Algebra-Driven Design
  ☆152Updated last year
• Gradual-Typing / Grift
  A compiler for the gradually typed lambda calculus
  ☆75Updated 3 years ago
• patrickt / haskell-project-ideas
  Free ideas, worth every penny
  ☆33Updated 4 years ago
• ekmett / guanxi
  Relational programming in Haskell. Mostly developed on twitch.
  ☆266Updated last year
• axellang / axel
  Haskell + Lisp
  ☆213Updated last year
• mikesperber / icfp2020
  Material for ICFP 2020 tutorial on functional software architecture
  ☆17Updated 5 years ago
• teyjus / teyjus
  An efficient implementation of the higher-order logic programming language Lambda Prolog
  ☆157Updated last year