Alternatives and similar repositories for okasaki

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

• namin / dot
  formalization of the Dependent Object Types (DOT) calculus
  ☆161Updated 9 years ago
• Mzk-Levi / texts
  ☆162Updated 10 years ago
• david-christiansen / pie-hs
  An implementation of Pie in Haskell
  ☆211Updated 6 years ago
• OPLSS / introduction-to-algebraic-effects-and-handlers
  Introduction to algebraic effects and handlers
  ☆98Updated 7 years ago
• CatTheoryByExample / book
  The category theory by example book
  ☆59Updated last month
• tonyg / racket-monad
  Monads for Racket (!)
  ☆21Updated 10 years ago
• racket / redex
  ☆98Updated last week
• derekmcloughlin / pearls
  Pearls of Functional Algorithm Design by Richard Bird - Haskell Code
  ☆190Updated 9 years ago
• edwinb / TypeDD-Samples
  Sample code from "Type Driven Development with Idris"
  ☆164Updated 8 years ago
• sellout / recursion-scheme-talk
  A talk on using recursion schemes in FP.
  ☆218Updated last year
• SMLFamily / Successor-ML
  A version of the 1997 SML definition with corrections and some proposed Successor ML features added.
  ☆206Updated last year
• stchang / macrotypes
  ☆137Updated 3 years ago
• rain-1 / continuations-study-group
  ☆79Updated 6 years ago
• mmottl / pure-fun
  Purely functional data structures for OCaml, translated from Chris Okasaki's book "Purely Functional Data Structures"
  ☆153Updated last week
• jsiek / B629-denotational
  Topics in Programming Languages: Denotational Semantics, Spring 2018 Course at Indiana University
  ☆74Updated 7 years ago
• ekmett / guanxi
  Relational programming in Haskell. Mostly developed on twitch.
  ☆266Updated last year
• bennn / pierce-categories
  Exercises from "Basic Category Theory for Computer Scientists" by Benjamin Pierce.
  ☆17Updated 3 years ago
• TheReasonedSchemer2ndEd / CodeFromTheReasonedSchemer2ndEd
  Code from Chapter 10 & Appendix A, implementation, and Chapters 7 & 8, arithmetic
  ☆140Updated 7 years ago
• effect-handlers / effects-rosetta-stone
  A comparison of how computational effects and handlers are implemented in various programming languages.
  ☆143Updated 6 years ago
• teyjus / teyjus
  An efficient implementation of the higher-order logic programming language Lambda Prolog
  ☆156Updated last year
• ilya-klyuchnikov / ttlite
  A SuperCompiler for Martin-Löf's Type Theory
  ☆123Updated 3 years ago
• isovector / algebra-driven-design
  Source material for Algebra-Driven Design
  ☆155Updated 2 years ago
• llelf / icfp2020-papers
  ICFP 2020 papers. Crowd-sourced
  ☆90Updated 5 years ago
• cubix-framework / cubix
  The Cubix framework for multi-language transformation. Explained in the OOPSLA 2018 paper "One Tool, Many Languages: Language-Parametric …
  ☆115Updated this week
• ncreep / category-theory-as-a-tool-for-thought
  Material for the "Category Theory as a Tool for Thought" talk
  ☆40Updated 3 years ago
• edwinb / SPLV20
  SPLV20 course notes
  ☆114Updated 3 years ago
• groupoid / anders
  🧊 Модальний гомотопічний верифікатор математики
  ☆22Updated 6 months ago
• PLTools / OCanren
  Statically typed embedding of miniKanren relational programming language into OCaml
  ☆121Updated this week
• SMLFamily / The-Definition-of-Standard-ML-Revised
  The Definition of Standard ML, Revised (1997)
  ☆117Updated 8 years ago
• type-theory / learn-tt
  A collection of resources for learning type theory.
  ☆99Updated 9 years ago