Alternatives and similar repositories for ConcDistSys-demos

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

• se-tuebingen / mini-jvm
  Educational implementation of a subset of the JVM bytecode to illustrate imperative and object-oriented programming.
  ☆58Updated last year
• IUCompilerCourse / python-student-support-code
  Support for for students (Python)
  ☆70Updated 2 months ago
• cs3110 / textbook-solutions
  Solutions to OCaml Programming
  ☆91Updated 2 weeks ago
• Sudha247 / learn-ocaml-workshop
  Exercises and projects for Jane Street's OCaml Workshop
  ☆10Updated 2 years ago
• will62794 / spectacle
  Interactive playground for exploring and sharing TLA+ specifications in the browser.
  ☆184Updated this week
• pdm-book / community
  ☆88Updated 3 years ago
• veyselusta / programming-language-research
  Research on theory of programming languages λ, compilers, interpreters, functional programming, formal methods, logic etc.
  ☆256Updated last year
• verse-lab / obatcher_ds
  ☆20Updated last year
• fizzbee-io / fizzbee
  Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications
  ☆275Updated last week
• tnelson / Forge
  Forge: A Tool and Language for Teaching Formal Methods
  ☆94Updated this week
• hydromatic / morel-rust
  A functional query language, implemented in Rust
  ☆36Updated 2 months ago
• uds-psl / Prog
  ☆90Updated 3 years ago
• alpha-convert / minikv
  A little KV store implementation in OCaml to practice DB systems things
  ☆32Updated 2 weeks ago
• Vanlightly / kafka-tlaplus
  TLA+ specifications for Kafka related algorithms
  ☆86Updated last year
• chshersh / pragmatic-category-theory
  Pragmatic Category Theory for Beginners in OCaml with lots of real-world examples
  ☆132Updated last year
• ept / ddia2-feedback
  Reader feedback on the early release of Designing Data-Intensive Applications, second edition
  ☆148Updated last year
• sdiehl / zero-to-qed
  From Zero to QED: An informal introduction to formality with Lean 4
  ☆82Updated last week
• sdiehl / typechecker-zoo
  A menagerie of cute implementations of modern typechecking algorithms
  ☆377Updated last month
• brownsys / paralegal
  Paralegal is a static analyzer for Rust code that enforces privacy and security policies on programs.
  ☆43Updated 2 weeks ago
• hwayne / learntla-v2
  Learn TLA+ for free! No prior experience necessary!
  ☆235Updated last month
• jamesma100 / randomart
  generate art from a hash
  ☆23Updated 6 months ago
• Agnishom / lregex
  Verified and Efficient Matching of Regular Expressions with Lookaround
  ☆24Updated last year
• hellas-ai / awesome-consensus
  A bibliography for protocol design
  ☆46Updated 9 months ago
• mzinsmeister / OxidSQL
  OxidSQL (Toy) SQL Database in Rust
  ☆79Updated 6 months ago
• suomela / da2020
  Juho Hirvonen and Jukka Suomela: Distributed Algorithms 2020
  ☆76Updated last month
• blanchette / logical_verification_2023
  Hitchhiker's Guide to Logical Verification (2023 Edition)
  ☆115Updated 2 years ago
• graninas / Pragmatic-Type-Level-Design
  Code and materials for my book "Pragmatic Type Level Design"
  ☆149Updated 9 months ago
• Apress / db-performance-at-scale
  Related resources for "Database Performance at Scale: A Practical Guide (Apress, 2023)," by Felipe Cardeneti Mendes, Piotr Sarna, Pavel E…
  ☆124Updated 6 months ago
• penberg / librescholar
  Open source scholarly literature search
  ☆16Updated last year
• yywe / yoursql
  Your SQL database for learning purpose
  ☆78Updated 4 months ago