https://github.com/eratio08/ads_ocaml

Algorithms & Data Structuress in OCaml
https://github.com/eratio08/ads_ocaml

ads ocaml

Last synced: 16 days ago
JSON representation

Algorithms & Data Structuress in OCaml

• Host: GitHub
• URL: https://github.com/eratio08/ads_ocaml
• Owner: eratio08
• Created: 2024-01-06T20:45:30.000Z (about 1 year ago)
• Default Branch: main
• Last Pushed: 2024-03-02T19:46:10.000Z (11 months ago)
• Last Synced: 2024-11-20T22:58:49.626Z (3 months ago)
• Topics: ads, ocaml
• Language: OCaml
• Homepage:
• Size: 81.1 KB
• Stars: 0
• Watchers: 0
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        
# 🐫 Algorithms & Data Structures in OCaml

Implementing Algorithms and Data Structures in OCaml for learning.

## 🗄️ Data Structures

* Stack | *List*, *ADT*

* Set | *UnbalancedTreeSet*

* Map | *UnbalancedTreeMap*

* Heap | *LeftistHeap*, *BinomialHeap*, *SplayHeap*, *ExplicitMin*, *LazyBinomialHeap*

* Queue | *FiFOQueue*, *FiFoDequeue*, *LazyQueue*

* Sort | *BottomUpMergeSort*

* *...todo*

## 🔢 Algorithms

* *...todo*

## 📚 References

* [Real World OCaml](https://dev.realworldocaml.org/toc.html)

* [OCaml API](https://v2.ocaml.org/api/index.html)

* [Purely Functional Data Structures](https://www.cambridge.org/de/universitypress/subjects/computer-science/programming-languages-and-applied-logic/purely-functional-data-structures?format=AR)

* [Introduction to Functional Programming and the Structure of Programming Languages using OCaml](https://www.ps.uni-saarland.de/~smolka/drafts/prog2021.pdf)

* [OCaml Programming: Correct + Efficient + Beautiful](https://cs3110.github.io/textbook/cover.html)

* [Alcotest](https://github.com/mirage/alcotest)

* [Mirage Functioria Tests](https://github.com/mirage/mirage/blob/main/test/functoria/test.ml)

* [ppx_deriving](https://github.com/ocaml-ppx/ppx_deriving)