Alternatives and similar repositories for purely-functional-data-structures

Users that are interested in purely-functional-data-structures are comparing it to the libraries listed below

• prathyvsh / history-of-logic
  A repo that keeps track of the history of logic. It chronicles the eminent personalities, schools of thought, ideas of each epoch.
  ☆57Updated 6 months ago
• johnwhitington / more-ocaml-exercises
  Examples and Exercises for the book "More OCaml"
  ☆66Updated 3 years ago
• sgillespie / lambda-calculus
  An introduction to the Lambda Calculus
  ☆92Updated 3 years ago
• cmsc430 / cmsc430.github.io
  CMSC 430 Design and Implementation of Programming Languages
  ☆51Updated this week
• Fryie / database.c
  Toy database project in C
  ☆16Updated last year
• kayceesrk / cs3100_m20
  CS3100: Paradigms of Programming at CSE IITM (Monsoon 2020)
  ☆55Updated 8 months ago
• kayceesrk / cs3100_m25
  IITM Paradigms of Programming -- Monsoon 2025
  ☆17Updated this week
• tmikov / scheme2020
  An implementation of Scheme R7RS-small in 48 working hours.
  ☆19Updated 5 years ago
• plt-amy / dep
  A very small implementation of the Calculus of Constructions for experimentation purposes
  ☆15Updated 7 years ago
• uds-psl / Prog
  ☆86Updated 3 years ago
• tsoding / parcoom
  Parser Combinators of Monad
  ☆38Updated 4 years ago
• andys8 / awesome-haskell-videos
  A collection of awesome Haskell videos. Inspired by awesome projects line.
  ☆45Updated 2 years ago
• leostera / awesome-alt-langs
  Just a list of Awesome Alt Langs to check out
  ☆102Updated last year
• owainlewis / ocaml-datastructures-algorithms
  Data structures and algorithms in OCaml
  ☆51Updated last month
• o1-labs / ocamlbyexample
  Learn Ocaml by reading code examples
  ☆72Updated 2 years ago
• cyberglot / faeth
  algebraic typechecking and elaboration of type systems
  ☆13Updated 7 months ago
• alhassy / HaskellCheatSheet
  A reference sheet for the basics of the mind-expanding Haskell language ^_^
  ☆33Updated 5 years ago
• LaurentMazare / rsexp
  S-expression parsing and writing in Rust
  ☆18Updated 2 years ago
• jdan / ocaml-data-structures
  Some data structures and algorithms written in OCaml
  ☆69Updated 4 years ago
• mrnugget / scheme_x86
  Writing a Scheme to x86 compiler by following Abdulaziz Ghuloum's "An Incremental Approach to Compiler Construction"
  ☆74Updated 5 years ago
• ocamllabs / focs-notebooks
  Foundations of Computer Science notebooks
  ☆16Updated 11 months ago
• edwinb / idris-lang.org
  Idris web site
  ☆17Updated last year
• formal-land / coq-of-ts
  Formal verification for TypeScript
  ☆21Updated 2 years ago
• g-ford / cradle
  Let's Build a Compiler (in Haskell)
  ☆169Updated 5 years ago
• dewey92 / typed-fp-good-reads
  📚 List of useful resources to learn typed FP
  ☆102Updated 4 years ago
• matijapretnar / millet
  A ML-like pure functional language that can be used as a template for creating your own language
  ☆28Updated 8 months ago
• linoscope / okasaki-book-ocaml
  Samples and solutions from Chris Okasaki's "Purely Functional Data Structures", written in OCaml.
  ☆12Updated 4 years ago
• MassD / pearls
  ☆27Updated 10 years ago
• bobatkey / CS316-2022
  Materials for the 2022-2023 edition of CS316 "Functional Programming"
  ☆24Updated 2 years ago
• ngzhian / ski
  SKI combinators
  ☆55Updated 8 years ago