ept / ConcDistSys-demos
Demo code for Concurrent and Distributed Systems course
☆13Updated 6 months ago
Alternatives and similar repositories for ConcDistSys-demos
Users that are interested in ConcDistSys-demos are comparing it to the libraries listed below
Sorting:
- ☆21Updated last year
- a minimalistic implementation of RAFT algorithm☆25Updated last year
- Small KVM-based hypervisor, boots Linux (WIP)☆12Updated last year
- Rust & WebAssembly Workshop☆31Updated 2 years ago
- List of great merge drivers for git and other version control tools☆27Updated 6 months ago
- Advent of Code 2023 in 25 interesting language specimens, A-Z☆33Updated last year
- A JS devtool orchestrator☆43Updated 2 months ago
- Minimal Prolog implemented in Rust☆44Updated 7 months ago
- Educational implementation of a subset of the JVM bytecode to illustrate imperative and object-oriented programming.☆54Updated 9 months ago
- Open source scholarly literature search☆16Updated 7 months ago
- ☆13Updated 11 months ago
- A bibliography for protocol design☆36Updated 3 weeks ago
- ☆17Updated this week
- Antithesis SDK for Rust☆19Updated 3 months ago
- 🪄 Tiny challenges for learning WebAssembly☆69Updated 4 months ago
- ☆34Updated last month
- Your SQL database for learning purpose☆78Updated 11 months ago
- Paced web reader. An esoteric feed reader and workflow for keeping up to date online.☆23Updated 4 months ago
- Databases are awesome! 🕶☆58Updated 2 years ago
- Another minimal Raft implementation in Rust.☆185Updated last year
- An example async executor that uses mio to respond to OS events☆11Updated 11 months ago
- Verified and Efficient Matching of Regular Expressions with Lookaround☆23Updated 4 months ago
- Type-level interfaces for type-level design in Rust☆25Updated 3 months ago
- ☆33Updated 5 months ago
- A basic log-structured flash datastore☆20Updated 2 years ago
- A tree-sitter grammar for TLA⁺ and PlusCal☆63Updated 2 months ago
- an immutable database for zig☆23Updated this week
- Prototyping the performance of various components of a theoretical faster Twitter☆66Updated 2 years ago
- TLA+ specifications for Kafka related algorithms☆66Updated 3 months ago
- An implementation of strace in Rust, and a library interface☆22Updated 6 years ago