Alternatives and similar repositories for ConcDistSys-demos

Users that are interested in ConcDistSys-demos are comparing it to the libraries listed below

• IUCompilerCourse / python-student-support-code
  Support for for students (Python)
  ☆69Updated last month
• se-tuebingen / mini-jvm
  Educational implementation of a subset of the JVM bytecode to illustrate imperative and object-oriented programming.
  ☆57Updated last year
• fizzbee-io / fizzbee
  Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications
  ☆262Updated this week
• cs3110 / textbook-solutions
  Solutions to OCaml Programming
  ☆90Updated last month
• ept / ddia2-feedback
  Reader feedback on the early release of Designing Data-Intensive Applications, second edition
  ☆124Updated last year
• uds-psl / Prog
  ☆87Updated 3 years ago
• pdm-book / community
  ☆84Updated 3 years ago
• veyselusta / programming-language-research
  Research on theory of programming languages λ, compilers, interpreters, functional programming, formal methods, logic etc.
  ☆250Updated last year
• Sudha247 / learn-ocaml-workshop
  Exercises and projects for Jane Street's OCaml Workshop
  ☆10Updated 2 years ago
• verse-lab / obatcher_ds
  ☆20Updated last year
• vaibhawvipul / concurrent-sat-solver-rs
  a simple concurrent/parallel sat solver implementation in rust
  ☆20Updated last year
• will62794 / spectacle
  Interactive playground for exploring and sharing TLA+ specifications in the browser.
  ☆158Updated this week
• kayceesrk / cs6225_s25_iitm
  Programs and Proofs -- Spring 2025 -- IITM
  ☆19Updated 5 months ago
• hwayne / learntla-v2
  Learn TLA+ for free! No prior experience necessary!
  ☆228Updated 7 months ago
• Vanlightly / kafka-tlaplus
  TLA+ specifications for Kafka related algorithms
  ☆84Updated 9 months ago
• penberg / awesome-os
  A curated list of resources on operating system design and implementation.
  ☆173Updated last year
• tlaplus-community / tree-sitter-tlaplus
  A tree-sitter grammar for TLA⁺ and PlusCal
  ☆70Updated 5 months ago
• scynthiadunlop / WritingForDevelopersBook
  About the book "Writing for Developers: Blogs That Get Read," which is all about writing more compelling engineering blog posts. By Piotr…
  ☆257Updated last week
• pveentjer / Rust-based-ARM-emulator
  A bogus CPU emulator written in Rust.
  ☆53Updated last year
• ivanyu / awesome-deterministic-simulation-testing
  A curated list of awesome deterministic simulation testing resources 😎
  ☆260Updated 4 months ago
• graninas / Pragmatic-Type-Level-Design
  Code and materials for my book "Pragmatic Type Level Design"
  ☆146Updated 7 months ago
• tomfran / LSM-Tree
  Log-Structured Merge Tree Java implementation
  ☆105Updated last year
• tnelson / Forge
  Forge: A Tool and Language for Teaching Formal Methods
  ☆91Updated this week
• spacewalkhq / raft-rs
  An understandable, fast and scalable Raft Consensus implementation
  ☆147Updated last year
• suomela / da2020
  Juho Hirvonen and Jukka Suomela: Distributed Algorithms 2020
  ☆75Updated last month
• aqua-language / aqua
  A programming language for data stream analytics.
  ☆22Updated last month
• chshersh / pragmatic-category-theory
  Pragmatic Category Theory for Beginners in OCaml with lots of real-world examples
  ☆126Updated 10 months ago
• marvinborner / interaction-net-resources
  Interaction net resources
  ☆34Updated 3 weeks ago
• chshersh / ccl
  📜 CCL: Categorical Configuration Language, The most elegant configuration language
  ☆239Updated 3 months ago
• penberg / librescholar
  Open source scholarly literature search
  ☆16Updated last year