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

• Fryie / database.c
  Toy database project in C
  ☆16Updated 11 months ago
• DrearyLisper / aoc-2022
  Solving Advent of Code 2022 in OCaml
  ☆19Updated last year
• tmikov / scheme2020
  An implementation of Scheme R7RS-small in 48 working hours.
  ☆19Updated 4 years ago
• johnwhitington / more-ocaml-exercises
  Examples and Exercises for the book "More OCaml"
  ☆62Updated 2 years ago
• andys8 / awesome-haskell-videos
  A collection of awesome Haskell videos. Inspired by awesome projects line.
  ☆43Updated last year
• FrontendMasters / hardcore-functional-architecture
  ☆57Updated 2 years ago
• jaked / reconstructing-typescript
  Code and demos for Reconstructing TypeScript blog posts.
  ☆35Updated last year
• mrnugget / scheme_x86
  Writing a Scheme to x86 compiler by following Abdulaziz Ghuloum's "An Incremental Approach to Compiler Construction"
  ☆72Updated 5 years ago
• o1-labs / ocamlbyexample
  Learn Ocaml by reading code examples
  ☆71Updated 2 years ago
• andrejbauer / mathematics-and-computation
  Andrej Bauer's blog "Mathematics and Computation"
  ☆51Updated last year
• lemaetech / reparse
  Reparse is a monadic, recursive descent based, comprehensive parser construction library for ocaml.
  ☆53Updated 3 years ago
• tsoding / parcoom
  Parser Combinators of Monad
  ☆35Updated 4 years ago
• uds-psl / Prog
  ☆81Updated 3 years ago
• cmsc430 / cmsc430.github.io
  CMSC 430 Design and Implementation of Programming Languages
  ☆48Updated 2 months ago
• dewey92 / typed-fp-good-reads
  📚 List of useful resources to learn typed FP
  ☆101Updated 4 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.
  ☆55Updated last week
• unisonweb / unison-local-ui
  The Codebase UI that ships with UCM
  ☆14Updated 2 weeks ago
• DmitrySoshnikov / letter-source
  Parsing Algorithms course and Letter programming language
  ☆20Updated 4 years ago
• imteekay / mini-typescript
  A miniature model of the Typescript compiler
  ☆35Updated 8 months ago
• formal-land / coq-of-ts
  Formal verification for TypeScript
  ☆15Updated 2 years ago
• ayazhafiz / plts
  A collection of programming languages and type systems.
  ☆33Updated 6 months ago
• ocamllabs / focs-notebooks
  Foundations of Computer Science notebooks
  ☆16Updated 4 months ago
• sgillespie / lambda-calculus
  An introduction to the Lambda Calculus
  ☆89Updated 2 years ago
• cmaes / miniml
  Compiler for a subset of the ML (really OCaml) language. LLVM is used as a backend.
  ☆32Updated 4 years ago
• bobzhang / rescript-react-demo
  A demo to show ReScript with React under 1K
  ☆42Updated 3 years ago
• kayceesrk / cs3100_m20
  CS3100: Paradigms of Programming at CSE IITM (Monsoon 2020)
  ☆44Updated last month
• matijapretnar / millet
  A ML-like pure functional language that can be used as a template for creating your own language
  ☆28Updated last month
• rescript-lang / std
  Light weight runtime for ReScript
  ☆15Updated last year
• matheusgirola / Halmos-Naive-Set-Theory-OCR-LaTeX-Reedition
  Rewriting the digitilized version of the book "Naive Set Theory" by Paul Halmos in LaTeX
  ☆50Updated 2 months ago
• alhassy / HaskellCheatSheet
  A reference sheet for the basics of the mind-expanding Haskell language ^_^
  ☆30Updated 4 years ago