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

• tmikov / scheme2020
  An implementation of Scheme R7RS-small in 48 working hours.
  ☆19Updated 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.
  ☆57Updated 7 months ago
• Fryie / database.c
  Toy database project in C
  ☆16Updated last year
• kayceesrk / cs3100_m25
  IITM Paradigms of Programming -- Monsoon 2025
  ☆17Updated last week
• kayceesrk / cs3100_m20
  CS3100: Paradigms of Programming at CSE IITM (Monsoon 2020)
  ☆56Updated 9 months ago
• cmsc430 / cmsc430.github.io
  CMSC 430 Design and Implementation of Programming Languages
  ☆51Updated this week
• uds-psl / Prog
  ☆87Updated 3 years ago
• jaked / reconstructing-typescript
  Code and demos for Reconstructing TypeScript blog posts.
  ☆35Updated 2 years ago
• o1-labs / ocamlbyexample
  Learn Ocaml by reading code examples
  ☆72Updated 2 years ago
• LaurentMazare / rsexp
  S-expression parsing and writing in Rust
  ☆18Updated 2 years ago
• imteekay / mini-typescript
  A miniature model of the Typescript compiler
  ☆35Updated last year
• koka-lang / nodec
  NodeC -- A lean NodeJS in C using algebraic effect handlers.
  ☆37Updated 6 years ago
• leostera / awesome-alt-langs
  Just a list of Awesome Alt Langs to check out
  ☆101Updated last year
• Sudha247 / learn-ocaml-workshop
  Exercises and projects for Jane Street's OCaml Workshop
  ☆10Updated last year
• johnwhitington / more-ocaml-exercises
  Examples and Exercises for the book "More OCaml"
  ☆66Updated 3 years ago
• edwinb / idris-lang.org
  Idris web site
  ☆17Updated last year
• alhassy / HaskellCheatSheet
  A reference sheet for the basics of the mind-expanding Haskell language ^_^
  ☆33Updated 5 years ago
• formal-land / coq-of-ts
  Formal verification for TypeScript
  ☆21Updated 2 years ago
• micahcantor / racket-lox
  An implementation of the Lox language in Racket.
  ☆35Updated last year
• andys8 / awesome-haskell-videos
  A collection of awesome Haskell videos. Inspired by awesome projects line.
  ☆44Updated 2 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
• owainlewis / ocaml-datastructures-algorithms
  Data structures and algorithms in OCaml
  ☆51Updated 2 months ago
• plt-amy / dep
  A very small implementation of the Calculus of Constructions for experimentation purposes
  ☆15Updated 7 years ago
• smorimoto / rekernel
  A minimal setup for writing Unikernels in ReasonML
  ☆30Updated 5 years ago
• Verdagon / Vale
  Compiler for the Vale programming language - http://vale.dev/
  ☆33Updated last year
• sgillespie / lambda-calculus
  An introduction to the Lambda Calculus
  ☆94Updated 3 years ago
• zth / rescript-bun
  Use Bun with ReScript.
  ☆80Updated 2 weeks ago
• rackt-org / rackt
  An ultrasmall (~70 loc) React wrapper written in RacketScript
  ☆62Updated 6 months ago
• matijapretnar / millet
  A ML-like pure functional language that can be used as a template for creating your own language
  ☆29Updated 9 months ago
• madlib-lang / madlib
  Madlib language compiler
  ☆27Updated 9 months ago