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
• fizzbee-io / fizzbee
  Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications
  ☆277Updated this week
• IUCompilerCourse / python-student-support-code
  Support for for students (Python)
  ☆70Updated 3 months ago
• alpha-convert / minikv
  A little KV store implementation in OCaml to practice DB systems things
  ☆33Updated 2 weeks ago
• ept / ddia2-feedback
  Reader feedback on the early release of Designing Data-Intensive Applications, second edition
  ☆158Updated last year
• will62794 / spectacle
  Interactive playground for exploring and sharing TLA+ specifications in the browser.
  ☆185Updated 2 weeks ago
• hydromatic / morel-rust
  A functional query language, implemented in Rust
  ☆37Updated 2 months ago
• cs3110 / textbook-solutions
  Solutions to OCaml Programming
  ☆93Updated last month
• mzinsmeister / OxidSQL
  OxidSQL (Toy) SQL Database in Rust
  ☆80Updated 6 months ago
• matklad / matklad.github.io
  My coding related blog
  ☆155Updated last week
• yywe / yoursql
  Your SQL database for learning purpose
  ☆78Updated 4 months ago
• aqua-language / aqua
  A programming language for data stream analytics.
  ☆23Updated 4 months ago
• Vanlightly / kafka-tlaplus
  TLA+ specifications for Kafka related algorithms
  ☆86Updated last year
• hwayne / learntla-v2
  Learn TLA+ for free! No prior experience necessary!
  ☆236Updated last month
• Sudha247 / learn-ocaml-workshop
  Exercises and projects for Jane Street's OCaml Workshop
  ☆10Updated 2 years ago
• veyselusta / programming-language-research
  Research on theory of programming languages λ, compilers, interpreters, functional programming, formal methods, logic etc.
  ☆258Updated last year
• penberg / librescholar
  Open source scholarly literature search
  ☆16Updated last year
• uds-psl / Prog
  ☆91Updated 4 years ago
• pdm-book / community
  ☆89Updated 3 years ago
• brurucy / pydbsp
  This library provides an implementation of the DBSP language for incremental streaming computations.
  ☆149Updated 3 weeks ago
• neumannt / saneql
  Prototype compiler from SaneQL to SQL
  ☆88Updated 2 years ago
• avsm / httpz
  Zero heap allocation HTTP server using OxCaml. v experimental!
  ☆117Updated 2 weeks ago
• hellas-ai / awesome-consensus
  A bibliography for protocol design
  ☆47Updated 9 months ago
• sdiehl / typechecker-zoo
  A menagerie of cute implementations of modern typechecking algorithms
  ☆381Updated last week
• eatonphil / raft-rs
  Another minimal Raft implementation in Rust.
  ☆186Updated 2 years ago
• tlaplus / awesome-tlaplus
  A curated list of TLA+ resources.
  ☆164Updated last week
• scynthiadunlop / WritingForDevelopersBook
  About the book "Writing for Developers: Blogs That Get Read," which is all about writing more compelling engineering blog posts. By Piotr…
  ☆299Updated 2 weeks ago
• tidwall / bgen
  B-tree generator for C
  ☆145Updated 3 months ago
• tnelson / Forge
  Forge: A Tool and Language for Teaching Formal Methods
  ☆95Updated this week
• chshersh / ccl
  📜 CCL: Categorical Configuration Language, The most elegant configuration language
  ☆250Updated 6 months ago