ept / ConcDistSys-demosLinks
Demo code for Concurrent and Distributed Systems course
☆16Updated 9 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:
- Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications☆242Updated 2 weeks ago
- Educational implementation of a subset of the JVM bytecode to illustrate imperative and object-oriented programming.☆56Updated last year
- Open source scholarly literature search☆16Updated 10 months ago
- Support for for students (Python)☆65Updated 2 months ago
- eatonphil.com☆24Updated this week
- Exercises and projects for Jane Street's OCaml Workshop☆10Updated last year
- A programming language for data stream analytics.☆22Updated 6 months ago
- My coding related blog☆134Updated this week
- ☆21Updated last year
- Reader feedback on the early release of Designing Data-Intensive Applications, second edition☆96Updated 11 months ago
- Log-Structured Merge Tree Java implementation☆99Updated last year
- ☆44Updated 6 months ago
- Python packaging scenarios☆125Updated this week
- Small KVM-based hypervisor, boots Linux (WIP)☆12Updated last year
- About the book "Writing for Developers: Blogs That Get Read," which is all about writing more compelling engineering blog posts. By Piotr…☆223Updated 2 months ago
- OxidSQL (Toy) SQL Database in Rust☆77Updated 2 weeks ago
- A little, pedagogical implementation of mvcc and transaction isolation levels.☆61Updated 9 months ago
- Binary search trees☆47Updated 2 months ago
- Your SQL database for learning purpose☆78Updated last week
- B-tree generator for C☆139Updated 3 months ago
- A curated list of resources on operating system design and implementation.☆160Updated last year
- Terminal flame graph☆110Updated 5 years ago
- Related resources for "Database Performance at Scale: A Practical Guide (Apress, 2023)," by Felipe Cardeneti Mendes, Piotr Sarna, Pavel E…☆122Updated last month
- Verified and Efficient Matching of Regular Expressions with Lookaround☆24Updated 7 months ago
- A bibliography for protocol design☆39Updated 3 months ago
- A bogus CPU emulator written in Rust.☆52Updated 11 months ago
- generate art from a hash☆24Updated last month
- 🪄 Tiny challenges for learning WebAssembly☆68Updated 7 months ago
- Another minimal Raft implementation in Rust.☆184Updated last year
- ☆74Updated last month