SkienaBook / Algorithm-Design-Manual-Programs-V2
Programs for the second edition of the Algorithm Design Manual
☆18Updated 4 years ago
Related projects ⓘ
Alternatives and complementary repositories for Algorithm-Design-Manual-Programs-V2
- A collection of programs found in `The Algorithm Design Manual (2nd Edition) by Steven Skiena`☆46Updated 6 years ago
- Learning Functional Data Structures and Algorithms published by Packt☆37Updated last year
- Programs for the third edition of the Algorithm Design Manual☆126Updated 2 years ago
- Supplementary code for Introduction to Theoretical Computer Science book.☆62Updated 11 months ago
- Adding a table of contents to Specifying Systems, TLA+.pdf☆63Updated 7 years ago
- A curated list of TLA+ resources.☆66Updated 5 years ago
- System Programming Project Ideas and Information for honors students☆19Updated 9 years ago
- Source Code for 'Exploring C++20' by Ray Lischner☆24Updated 3 years ago
- Hit the ground running with C++☆23Updated 3 years ago
- ☆41Updated 8 years ago
- ☆26Updated 2 years ago
- Pluscal/TLA+ modeling of distributed systems/protocols☆78Updated last year
- Distributed systems lecture notes☆57Updated 3 weeks ago
- High level overview of Rust☆18Updated 3 years ago
- Lecture notes on Distributed Computing that are publicly accessible.☆56Updated 3 years ago
- Time, Clocks, and the Ordering of Events☆41Updated 3 years ago
- Course assignments☆10Updated 6 years ago
- Command-line utilities for Real World OCaml☆16Updated 6 years ago
- CS510 Advanced Topics in Concurrency Project☆15Updated 4 years ago
- Materials and accompanying references for all things pwlconf related☆58Updated 5 years ago
- How to write interpreters or dynamic compilers for dynamically typed languages on top of the JVM☆13Updated this week
- This is the example model described in the paper S. Resch and M. Paulitsch, "Using TLA+ in the Development of a Safety-Critical Fault-Tol…☆17Updated 6 years ago
- Synchronous fault-tolerant distributed algorithms encoded in TLA+☆32Updated 3 years ago
- Lab assignments for 6.826☆10Updated 5 years ago
- Example code for compilers textbook.☆169Updated last year
- A lease based distributed locking library☆10Updated 6 years ago
- ☆30Updated 6 years ago
- ☆33Updated 6 months ago