Alternatives and similar repositories for ConcDistSys-demos

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

• eatonphil / btree-rs
  ☆21Updated last year
• cognitive-engineering-lab / depot
  A JS devtool orchestrator
  ☆44Updated 2 months ago
• twolodzko / prolog-rs
  Minimal Prolog implemented in Rust
  ☆44Updated 8 months ago
• Agnishom / lregex
  Verified and Efficient Matching of Regular Expressions with Lookaround
  ☆23Updated 5 months ago
• mrnugget / data_structures
  Implementations of common data structures in C
  ☆15Updated 2 years ago
• penberg / librescholar
  Open source scholarly literature search
  ☆16Updated 8 months ago
• mrsuh / sqlite-index
  ☆11Updated 6 months ago
• justinj / nulldb
  ☆13Updated 11 months ago
• git-bruh / vmm
  Small KVM-based hypervisor, boots Linux (WIP)
  ☆12Updated last year
• hellas-ai / awesome-consensus
  A bibliography for protocol design
  ☆36Updated last month
• oxidecomputer / lethe
  A basic log-structured flash datastore
  ☆20Updated 2 years ago
• jamesma100 / randomart
  random art generator for cryptographic keys
  ☆24Updated 3 weeks ago
• rtheunissen / bst
  Binary search trees
  ☆45Updated last week
• ElliotSwart / pragmaticformalmodeling
  An instructional website with progressively worked examples of TLA+ specifications and model checking.
  ☆44Updated 2 years ago
• shwestrick / mpl-1brc
  Solving the 1 Billion Row Challenge in MPL
  ☆17Updated last year
• se-tuebingen / mini-jvm
  Educational implementation of a subset of the JVM bytecode to illustrate imperative and object-oriented programming.
  ☆54Updated 10 months ago
• elijah-potter / thrax-language
  A toy programming language I wrote in late 2022
  ☆23Updated last year
• kayceesrk / cs6225_s25_iitm
  Programs and Proofs -- Spring 2025 -- IITM
  ☆16Updated 3 weeks ago
• tlaplus-community / tree-sitter-tlaplus
  A tree-sitter grammar for TLA⁺ and PlusCal
  ☆64Updated 2 weeks ago
• tosc-rs / mgnp
  MnemOS Global Networking Protocol
  ☆15Updated last year
• ThetaLang / Theta
  θ A statically typed, functional programming language that compiles to WebAssembly
  ☆39Updated 7 months ago
• TheDhejavu / gossipod
  Asynchronous Scalable Weakly-consistent Infection-style Process Group Membership Protocol(SWIM) implementation written in Rust.
  ☆18Updated 5 months ago
• markshannon / JIT_graveyard
  A list of dead JIT compiler projects for CPython.
  ☆16Updated 2 years ago
• clflushopt / coldbrew
  Tracing JIT compiler and runtime for a subset of the JVM
  ☆24Updated last year
• antithesishq / antithesis-sdk-rust
  Antithesis SDK for Rust
  ☆20Updated 4 months ago
• reitzensteinm / temper
  Deterministic simulation of concurrency and failure in distributed systems
  ☆39Updated last week
• IUCompilerCourse / python-student-support-code
  Support for for students (Python)
  ☆63Updated 2 weeks ago
• ajeetdsouza / brainfuck
  An optimizing Brainfuck interpreter.
  ☆13Updated 6 years ago
• jelmer / awesome-merge-drivers
  List of great merge drivers for git and other version control tools
  ☆27Updated 7 months ago
• LAC-Tech / interlog
  A local first persistent log
  ☆36Updated last week