Andreshk / AdvancedDataStructuresLinks
A collection of exotic & advanced data structures in C++ and Haskell.
☆20Updated 2 years ago
Alternatives and similar repositories for AdvancedDataStructures
Users that are interested in AdvancedDataStructures are comparing it to the libraries listed below
Sorting:
- Samples in C++ for data structures☆32Updated 3 years ago
- Adding a table of contents to Specifying Systems, TLA+.pdf☆66Updated 7 years ago
- LA, LCA, Perfect Hash, RMQ, Segment Tree, Sparse Table, Treap, vEB Tree, x-fast Tree (Willard), Suffix Automaton (Blumer et al.), Suffix …☆22Updated 10 months ago
- C++ implementation of CLRS 4/e example codes and exercise for studying purpose. Non-coding involved exercises will not be shared.☆27Updated 2 years ago
- In-place Parallel Super Scalar Samplesort (IPS⁴o)☆123Updated 6 months ago
- Swing, divide and conquer the factorial!☆81Updated 3 years ago
- Код към лекциите и упражненията на курса по Функционално програмиране на спец. Информатика, спец. Компютърни науки (2 поток) и избираема …☆16Updated last year
- Composable monadic STM for C++ on Free monads☆77Updated 5 years ago
- Links, slide decks and other material for conference & meetup talks, podcast appearances and publications.☆221Updated 3 months ago
- ☆22Updated 2 months ago
- Repository for material related to Programming Languages Virtual Meetup coverage of the Structure and Interpretation of Computer Programs…☆160Updated last year
- C/C++ Implementation of the HyperLogLog++ cardinality estimation algorithm.☆28Updated 2 years ago
- Repository for material related to the Programming Languages Virtual Meetup coverage of the Category Theory for Programmers book.☆135Updated 2 years ago
- Implementation of the JSON semi-index described in the paper "Semi-Indexing Semi-Structured Data in Tiny Space"☆57Updated 12 years ago
- Resources for Learning PLT Redex☆11Updated 4 years ago
- A Turing complete language 😉☆42Updated 4 years ago
- An advanced benchmarking tool☆182Updated 2 weeks ago
- C++ library for semigroups and monoids☆62Updated last week
- CMSC 430 Design and Implementation of Programming Languages☆51Updated 7 months ago
- BitMagic Library☆426Updated 4 months ago
- Site for the Advanced C++ course at FMI☆33Updated 3 years ago
- Example implementations of spinlocks☆19Updated 4 years ago
- In-place Parallel Super Scalar Samplesort (IPS⁴o)☆163Updated 6 months ago
- Victor B. F. Gomes, Martin Kleppmann, Dominic P. Mulligan, and Alastair R. Beresford. Verifying Strong Eventual Consistency in Distribute…☆73Updated 2 years ago
- A formalization of first-order logic and Peano's axioms in Python☆20Updated last month
- A library to help writing wrappers around ocaml code for python☆99Updated last year
- Functional data structures in C++☆567Updated 5 years ago
- Bumped Ribbon Retrieval and Approximate Membership Query☆46Updated last month
- Mathematical Components (the Book)☆146Updated last year
- Book: Introduction to Dependent Types with Idris☆78Updated 2 years ago