suomela/da external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

suomela/da

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/suomela/da)

Close

suomela / daView on GitHubMore

• External links
• Readme badge

Distributed Algorithms — Online Textbook

☆18Jan 2, 2021Updated 5 years ago

Alternatives and similar repositories for da

Users that are interested in da are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.

• Tipoca / intuitionistic

  View on GitHub
  Intuitionistic Programming Language
  ☆12Dec 28, 2013Updated 12 years ago
• kul / pool

  View on GitHub
  Pooling Library for Clojure
  ☆13Nov 15, 2022Updated 3 years ago
• compassus / omify

  View on GitHub
  om.next-ify plain React components.
  ☆12Sep 12, 2016Updated 9 years ago
• gered / views

  View on GitHub
  Eventually consistent external materialized views.
  ☆14Jan 12, 2022Updated 4 years ago
• onyx-platform / onyx-elasticsearch

  View on GitHub
  Onyx plugin for ElasticSearch
  ☆17Feb 13, 2018Updated 8 years ago
• datodev / datodomvc

  View on GitHub
  Implementation of TodoMVC in Dato
  ☆14Oct 18, 2015Updated 10 years ago
• arohner / datomic-compound-index

  View on GitHub
  A library for compound indices in Datomic
  ☆18Jan 5, 2017Updated 9 years ago
• kevinsullivan / TLAPlusDocker

  View on GitHub
  ☆10Oct 11, 2022Updated 3 years ago
• LighghtEeloo / data-types-a-la-carte

  View on GitHub
  A quick tour to *Data types à la carte* for reading group presentation.
  ☆16Feb 7, 2023Updated 3 years ago
• zeroem / monitorcraft

  View on GitHub
  The way production should look.
  ☆16Dec 31, 2013Updated 12 years ago
• copilot-example-voting-app / cdk-workshop

  View on GitHub
  ☆15Dec 1, 2021Updated 4 years ago
• totakke / jungerer

  View on GitHub
  Clojure network/graph library wrapping JUNG
  ☆25Jun 14, 2019Updated 6 years ago
• flyingmachine / liberator-unbound

  View on GitHub
  ☆21Jun 4, 2019Updated 6 years ago
• ajwijs / GPUexplore

  View on GitHub
  GPU model checker
  ☆13Apr 17, 2019Updated 6 years ago
• NikolajBjorner / ShonanArtOfSAT

  View on GitHub
  Schedule for ArtOfSAT
  ☆10Oct 11, 2023Updated 2 years ago
• sanjoy / echoes

  View on GitHub
  ☆21Mar 5, 2017Updated 9 years ago
• orgspaceio / pairing-exercise

  View on GitHub
  Orgspace lightweight code challenge.
  ☆13Mar 7, 2023Updated 3 years ago
• will62794 / logless-reconfig

  View on GitHub
  TLA+ specifications and proofs of Logless Dynamic Reconfiguration in MongoDB Replication.
  ☆15Dec 16, 2024Updated last year
• AWSCookbook / ArtificialIntelligence

  View on GitHub
  Chapter 8 of the AWS Cookbook
  ☆12Apr 20, 2023Updated 2 years ago
• konnov / fault-tolerant-benchmarks

  View on GitHub
  Fault-tolerant distributed algorithms encoded in a formal language
  ☆14Nov 30, 2020Updated 5 years ago
• igd-geo / mongomvcc

  View on GitHub
  Multiversion concurrency control (MVCC) on top of MongoDB. It supports lock-free ACID transactions, versioning, and more.
  ☆94Jan 24, 2015Updated 11 years ago
• pingcap / website

  View on GitHub
  The website of PingCAP. Powered by Gatsby ⚛️ and Rocket 🚀.
  ☆11May 31, 2023Updated 2 years ago
• JunguangJiang / TinyCCompiler

  View on GitHub
  A tiny C compiler based on LLVM and ANTLR4
  ☆10Jan 13, 2019Updated 7 years ago
• DistributedClocks / tsviz

  View on GitHub
  Tool to visualize executions of multi-threaded systems
  ☆13Jun 1, 2020Updated 5 years ago
• AWSCookbook / Serverless

  View on GitHub
  Chapter 5 of the AWS Cookbook
  ☆14Mar 13, 2022Updated 4 years ago
• jdegoes / sbtb-2016

  View on GitHub
  Streams for (Co)Free! — The supporting repository for a 2016 Scala By The Bay presentation
  ☆14Nov 11, 2016Updated 9 years ago
• slasser / CoStar

  View on GitHub
  A parser based on the ALL(*) algorithm, implemented and verified in Coq.
  ☆13Feb 14, 2023Updated 3 years ago
• antlr / website-antlr4

  View on GitHub
  The ANTLR 4 Website
  ☆16Aug 3, 2024Updated last year
• AWSCookbook / Databases

  View on GitHub
  Chapter 4 of the AWS Cookbook
  ☆14Mar 13, 2022Updated 4 years ago
• nmdp-bioinformatics / ngs

  View on GitHub
  Next generation sequencing (NGS/HTS) tools.
  ☆19Jan 25, 2024Updated 2 years ago
• rystsov / fast-jepsen

  View on GitHub
  Using "Testing Shared Memories" paper to make Jepsen check linearizability in linear time
  ☆20Dec 4, 2018Updated 7 years ago
• martintrojer / datalog

  View on GitHub
  contrib.datalog brought back to life
  ☆56Apr 25, 2014Updated 11 years ago
• AWSCookbook / Storage

  View on GitHub
  Chapter 3 of the AWS Cookbook
  ☆15Mar 13, 2022Updated 4 years ago
• lambdaisland / pennon

  View on GitHub
  A feature flag library for Clojure
  ☆32Apr 2, 2016Updated 9 years ago
• giltene / DeveloperJMMCookbook

  View on GitHub
  A JMM Cookbook for Java Developers(as opposed to a cookbook for Compiler Writers)
  ☆12Jun 13, 2014Updated 11 years ago
• driftingruby / template

  View on GitHub
  Base template for "all" Drifting Ruby episodes
  ☆18Nov 4, 2025Updated 4 months ago
• tangruize / tlc-cmd

  View on GitHub
  Run TLC in cmd
  ☆15Jan 20, 2026Updated 2 months ago
• simonlehmann / logic-pro-articulation-sets-for-bbc-symphony-orchestra

  View on GitHub
  Logic Pro articulation sets for Spitfire Audio's BBC Symphony Orchestra.
  ☆18Jan 15, 2026Updated 2 months ago
• subpath / Markov_chain_for_music_generation

  View on GitHub
  Markov chain-based approach for the music generation
  ☆14Jul 6, 2019Updated 6 years ago