Alternatives and similar repositories for okasaki

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

• tonyg / racket-monad
  Monads for Racket (!)
  ☆21Updated 10 years ago
• stchang / macrotypes
  ☆138Updated 3 years ago
• rain-1 / continuations-study-group
  ☆79Updated 6 years ago
• david-christiansen / pie-hs
  An implementation of Pie in Haskell
  ☆210Updated 5 years ago
• OPLSS / introduction-to-algebraic-effects-and-handlers
  Introduction to algebraic effects and handlers
  ☆98Updated 7 years ago
• Mzk-Levi / texts
  ☆159Updated 10 years ago
• TheReasonedSchemer2ndEd / CodeFromTheReasonedSchemer2ndEd
  Code from Chapter 10 & Appendix A, implementation, and Chapters 7 & 8, arithmetic
  ☆138Updated 7 years ago
• lexi-lambda / talks
  ☆45Updated 2 years ago
• takikawa / tr-pfds
  Typed Racket data structure libraries
  ☆59Updated 3 years ago
• ArulselvanMadhavan / ocaml-ctfp
  OCaml version of Category Theory For Programmers
  ☆134Updated 5 years ago
• lang-party / Summer2022
  Lang Party 2022
  ☆25Updated 2 years ago
• calvis / cKanren
  Constraint programming language embedded in Racket
  ☆154Updated 4 years ago
• finkel-lang / finkel
  Haskell in S-expression
  ☆176Updated 10 months ago
• syntax-objects / syntax-parse-example
  Collection of syntax/parse macros
  ☆31Updated 2 years ago
• ncreep / category-theory-as-a-tool-for-thought
  Material for the "Category Theory as a Tool for Thought" talk
  ☆40Updated 2 years ago
• isovector / algebra-driven-design
  Source material for Algebra-Driven Design
  ☆152Updated last year
• racket / redex
  ☆98Updated 3 weeks ago
• drym-org / qi
  An embeddable flow-oriented language.
  ☆72Updated last week
• namin / clpsmt-miniKanren
  CLP(SMT) on top of miniKanren
  ☆38Updated 3 years ago
• michaelballantyne / faster-minikanren
  A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.
  ☆160Updated 7 months ago
• webyrd / imperishable-wonderland
  An Imperishable Wonderland of Infinite Fun
  ☆11Updated last year
• jsiek / B629-denotational
  Topics in Programming Languages: Denotational Semantics, Spring 2018 Course at Indiana University
  ☆73Updated 7 years ago
• cedille / ial
  The Iowa Agda Library
  ☆49Updated last week
• webyrd / dissertation-single-spaced
  Single-spaced version of my dissertation, 'Relational Programming in miniKanren: Techniques, Applications, and Implementations'
  ☆59Updated 6 years ago
• edwinb / TypeDD-Samples
  Sample code from "Type Driven Development with Idris"
  ☆167Updated 8 years ago
• teyjus / teyjus
  An efficient implementation of the higher-order logic programming language Lambda Prolog
  ☆157Updated last year
• shriram / gradescope-racket
  Infrastructure to autograde Racket code on Gradescope
  ☆17Updated 7 months ago
• graninas / Hydra
  Hydra is a full-fledged framework for building web services, multithreaded and concurrent applications with SQL and KV DB support.
  ☆196Updated last year
• lettier / parsing-with-haskell-parser-combinators
  🔍 A step-by-step guide to parsing using Haskell parser combinators.
  ☆95Updated 5 years ago
• CatTheoryByExample / book
  The category theory by example book
  ☆59Updated 2 years ago