Alternatives and similar repositories for da2020

Users that are interested in da2020 are comparing it to the libraries listed below

• ept / dist-sys
  Distributed systems lecture notes
  ☆61Updated 6 months ago
• basic-toolbox-sample-code / basic-toolbox-sample-code
  Sample Code for “Sequential and Parallel Algorithms and Data Structures -- The Basic Toolbox” Book
  ☆25Updated 7 years ago
• hwayne / tla-graphing-demo
  A demo of analyzing a TLA+ state graph
  ☆29Updated 2 years ago
• codereport / CTfP-2021
  Repository for material related to the Programming Languages Virtual Meetup coverage of the Category Theory for Programmers book.
  ☆133Updated 2 years ago
• boazbk / tcscode
  Supplementary code for Introduction to Theoretical Computer Science book.
  ☆65Updated last year
• embryo-labs / EvaluationOfColumnarFormats
  Code repo for "An Empirical Evaluation of Columnar Storage Formats" VLDB Vol 17
  ☆54Updated last year
• mwhittaker / consistency_in_distributed_systems
  Distributed Systems Consistency Reading Group
  ☆41Updated 4 years ago
• hwayne / learntla-v2
  Learn TLA+ for free! No prior experience necessary!
  ☆210Updated 2 months ago
• rtheunissen / bst
  Exploring the design space of binary search trees
  ☆45Updated 2 months ago
• tlaplus / awesome-tlaplus
  A curated list of TLA+ resources.
  ☆141Updated 10 months ago
• mbrooker / simulator_example
  Small numerical simulator example
  ☆54Updated last year
• Vanlightly / kafka-tlaplus
  TLA+ specifications for Kafka related algorithms
  ☆66Updated 3 months ago
• hellas-ai / awesome-consensus
  A bibliography for protocol design
  ☆36Updated last month
• lorenzhs / BuRR
  Bumped Ribbon Retrieval and Approximate Membership Query
  ☆44Updated this week
• ElliotSwart / pragmaticformalmodeling
  An instructional website with progressively worked examples of TLA+ specifications and model checking.
  ☆44Updated 2 years ago
• verse-lab / obatcher_ds
  ☆19Updated 8 months ago
• jackfoxy / SpecifyingSystemsWithContents
  Adding a table of contents to Specifying Systems, TLA+.pdf
  ☆66Updated 7 years ago
• Cjen1 / consensus-tlaplus
  ☆11Updated 6 months ago
• logicforprogrammers / book-assets
  Assets for the book "Logic for Programmers"
  ☆16Updated 2 weeks ago
• Sudha247 / learn-ocaml-workshop
  Exercises and projects for Jane Street's OCaml Workshop
  ☆10Updated last year
• muratdem / PlusCal-examples
  Pluscal/TLA+ modeling of distributed systems/protocols
  ☆78Updated last year
• nevingeorge / Negative-Weight-SSSP
  Yale Fall 2022 CPSC 490 senior project advised by Prof. Daniel A. Spielman.
  ☆31Updated 2 years ago
• redixhumayun / dst
  ☆16Updated 5 months ago
• mpmilano / MixT
  Prototype Mixed-consistency transaction implementation
  ☆61Updated 6 years ago
• quux00 / PlusCal-Examples
  Algorithm examples in PlusCal, the algorithm language of Lamport's TLA+
  ☆61Updated 10 years ago
• aleksandarmilicevic / hola
  Alloy*---Higher Order Logic for Alloy
  ☆37Updated 5 years ago
• graninas / Pragmatic-Type-Level-Design
  Code and materials for my book "Pragmatic Type Level Design"
  ☆129Updated last month
• s-hironobu / guide2dl
  The Engineer's Guide to Deep-Learning
  ☆37Updated 4 months ago
• BenJoyenConseil / rmi
  A learned index structure
  ☆53Updated 4 years ago
• meelgroup / pepin
  A probabilistic approximate DNF counter
  ☆37Updated 3 weeks ago