DCtheTall / purely-functional-data-structures
TypeScript implementations and exercises from Chris Okasaki's book, Purely Functional Data Structures
☆10Updated 6 years ago
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
Sorting:
- Published by Packt☆15Updated 2 years ago
- Toy database project in C☆16Updated last year
- Code and demos for Reconstructing TypeScript blog posts.☆35Updated 2 years ago
- Idris web site☆17Updated last year
- A ML-like pure functional language that can be used as a template for creating your own language☆28Updated 4 months ago
- The Codebase UI that ships with UCM☆16Updated last week
- Writing a Scheme to x86 compiler by following Abdulaziz Ghuloum's "An Incremental Approach to Compiler Construction"☆72Updated 5 years ago
- algebraic typechecking and elaboration of type systems☆12Updated 3 months ago
- An implementation of Scheme R7RS-small in 48 working hours.☆19Updated 5 years ago
- Light weight runtime for ReScript☆15Updated last year
- Formal verification for TypeScript☆18Updated 2 years ago
- "No technology that's connected to the internet is unhackable." ― Abhijit Naskar☆19Updated 5 years ago
- A reference sheet for the basics of the mind-expanding Haskell language ^_^☆30Updated 5 years ago
- A collection of awesome Haskell videos. Inspired by awesome projects line.☆44Updated last year
- Parser Combinators of Monad☆36Updated 4 years ago
- An implementation of the Lox language in Racket.☆33Updated last year
- A miniature model of the Typescript compiler☆35Updated 10 months ago
- This VS code extension supports language features for Common Lisp.☆26Updated 11 months ago
- Implementations of common data structures in C☆15Updated 2 years ago
- McLulang: The message is the language☆10Updated 8 months ago
- A roadmap for learning functional programming with Haskell - and beyond.☆13Updated 9 years ago
- 👾 A Lisp interpreter in Gleam!☆37Updated last month
- Foundations of Computer Science notebooks☆16Updated 7 months ago
- An interpreter for the (made up) k programming language all done in Haskell☆8Updated last year
- Examples and Exercises for the book "More OCaml"☆63Updated 2 years ago
- "Mathematics is less related to accounting than it is to philosophy." - Leonard Adleman☆31Updated 6 years ago
- A very small implementation of the Calculus of Constructions for experimentation purposes☆15Updated 6 years ago
- Madlib language compiler☆27Updated 4 months ago
- A repo that keeps track of the history of logic. It chronicles the eminent personalities, schools of thought, ideas of each epoch.☆55Updated 2 months ago
- ☆16Updated 5 months ago