Andreshk / AdvancedDataStructuresLinks
A collection of exotic & advanced data structures in C++ and Haskell.
☆22Updated 2 years ago
Alternatives and similar repositories for AdvancedDataStructures
Users that are interested in AdvancedDataStructures are comparing it to the libraries listed below
Sorting:
- Clean minimalist implementations of popular competitive programming algorithms☆225Updated 5 years ago
- Repository for material related to Programming Languages Virtual Meetup coverage of the Structure and Interpretation of Computer Programs…☆166Updated last year
- A visual catalogue + story of morphisms displayed across computational structures.☆129Updated 3 years ago
- CMSC 430 Design and Implementation of Programming Languages☆52Updated 2 months ago
- Repository for material related to the Programming Languages Virtual Meetup coverage of the Category Theory for Programmers book.☆137Updated 3 years ago
- Data Structure and Algorithm explanations with Implementations by Java☆19Updated 8 years ago
- C++ implementation of CLRS 4/e example codes and exercise for studying purpose. Non-coding involved exercises will not be shared.☆30Updated 3 years ago
- Juho Hirvonen and Jukka Suomela: Distributed Algorithms 2020☆76Updated 2 months ago
- My curated collection of great sources of information for programming☆107Updated 2 months ago
- Study of language design and implementation.☆66Updated 5 years ago
- A commented list of Modern C++ resources☆60Updated 2 months ago
- Pearls of Functional Algorithm Design by Richard Bird - Haskell Code☆191Updated 9 years ago
- Links, slide decks and other material for conference & meetup talks, podcast appearances and publications.☆228Updated 3 weeks ago
- Swing, divide and conquer the factorial!☆81Updated 3 years ago
- Advanced algorithm and data structure library in C++☆65Updated 5 years ago
- Jane Street Capital's asynchronous execution library☆232Updated 3 weeks ago
- A language for time-series analysis☆173Updated 4 years ago
- A visualization of key structures in abstract algebra.☆157Updated 5 years ago
- Spartan type theory☆273Updated 4 months ago
- List of materials about functional programming in C++☆695Updated 5 years ago
- Mathematical Components (the Book)☆149Updated 3 months ago
- Write my own database from scratch☆18Updated 4 years ago
- Tutorial on Multicore OCaml parallel programming with domainslib☆293Updated last year
- Reading schedule and our library of pdfs☆24Updated 6 years ago
- C++ framework for realtime machine learning.☆99Updated 2 months ago
- Sample Code for “Sequential and Parallel Algorithms and Data Structures -- The Basic Toolbox” Book☆25Updated 8 years ago
- Readings on computational logic, interactive theorem proving and functional programming.☆86Updated this week
- Pragmatic Category Theory for Beginners in OCaml with lots of real-world examples☆132Updated last year
- History of Programming Languages, Spring 2017☆137Updated 8 years ago
- Proof-of-concept formal verification using Hoare logic☆21Updated 5 years ago