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

• alhassy / HaskellCheatSheet
  A reference sheet for the basics of the mind-expanding Haskell language ^_^
  ☆33Updated 5 years ago
• 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.
  ☆56Updated 5 months ago
• tmikov / scheme2020
  An implementation of Scheme R7RS-small in 48 working hours.
  ☆19Updated 5 years ago
• sgillespie / lambda-calculus
  An introduction to the Lambda Calculus
  ☆91Updated 3 years ago
• edwinb / idris-lang.org
  Idris web site
  ☆17Updated last year
• cmsc430 / cmsc430.github.io
  CMSC 430 Design and Implementation of Programming Languages
  ☆51Updated 7 months ago
• prathyvsh / lambda-calculus
  Guide elucidating Lambda Calculus
  ☆16Updated 3 years ago
• jaked / reconstructing-typescript
  Code and demos for Reconstructing TypeScript blog posts.
  ☆35Updated 2 years ago
• johnwhitington / more-ocaml-exercises
  Examples and Exercises for the book "More OCaml"
  ☆65Updated 3 years ago
• andys8 / awesome-haskell-videos
  A collection of awesome Haskell videos. Inspired by awesome projects line.
  ☆45Updated 2 years ago
• Fryie / database.c
  Toy database project in C
  ☆16Updated last year
• matijapretnar / millet
  A ML-like pure functional language that can be used as a template for creating your own language
  ☆28Updated 6 months ago
• tsoding / parcoom
  Parser Combinators of Monad
  ☆38Updated 4 years ago
• mrnugget / scheme_x86
  Writing a Scheme to x86 compiler by following Abdulaziz Ghuloum's "An Incremental Approach to Compiler Construction"
  ☆73Updated 5 years ago
• uds-psl / Prog
  ☆85Updated 3 years ago
• rackt-org / rackt
  An ultrasmall (~70 loc) React wrapper written in RacketScript
  ☆60Updated 4 months ago
• kayceesrk / cs3100_m25
  IITM Paradigms of Programming -- Monsoon 2025
  ☆14Updated last week
• micahcantor / racket-lox
  An implementation of the Lox language in Racket.
  ☆34Updated last year
• kayceesrk / cs3100_m20
  CS3100: Paradigms of Programming at CSE IITM (Monsoon 2020)
  ☆52Updated 7 months ago
• formal-land / coq-of-ts
  Formal verification for TypeScript
  ☆21Updated 2 years ago
• cs3110 / textbook-solutions
  Solutions to OCaml Programming
  ☆86Updated this week
• koka-lang / nodec
  NodeC -- A lean NodeJS in C using algebraic effect handlers.
  ☆34Updated 6 years ago
• owainlewis / ocaml-datastructures-algorithms
  Data structures and algorithms in OCaml
  ☆50Updated 2 months ago
• codereport / SICP-2020
  Repository for material related to Programming Languages Virtual Meetup coverage of the Structure and Interpretation of Computer Programs…
  ☆160Updated last year
• cyberglot / faeth
  algebraic typechecking and elaboration of type systems
  ☆13Updated 6 months 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
• squaremo / lisp-in-small-pieces
  Code written while working through the book LISP in Small Pieces
  ☆28Updated 11 years ago
• stereobooster / write-you-a-programming-language
  List of small programming languages that you can implement in a relatively small amount of time for educational purposes.
  ☆110Updated 4 years ago
• chshersh / pragmatic-category-theory
  Pragmatic Category Theory for Beginners in OCaml with lots of real-world examples
  ☆120Updated 7 months ago