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:
- Educational implementation of a subset of the JVM bytecode to illustrate imperative and object-oriented programming.☆56Updated last year
- Support for for students (Python)☆65Updated 3 months ago
- Exercises and projects for Jane Street's OCaml Workshop☆10Updated last year
- ☆21Updated last year
- ☆81Updated 2 years ago
- Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications☆245Updated last week
- Your SQL database for learning purpose☆78Updated 2 weeks ago
- OxidSQL (Toy) SQL Database in Rust☆77Updated last month
- eatonphil.com☆24Updated 2 weeks ago
- About the book "Writing for Developers: Blogs That Get Read," which is all about writing more compelling engineering blog posts. By Piotr…☆237Updated last week
- ☆20Updated last year
- TLA+ specifications for Kafka related algorithms☆72Updated 7 months ago
- Reader feedback on the early release of Designing Data-Intensive Applications, second edition☆111Updated last year
- A programming language for data stream analytics.☆22Updated 7 months ago
- ☆85Updated 3 years ago
- Open source scholarly literature search☆16Updated 11 months ago
- Related resources for "Database Performance at Scale: A Practical Guide (Apress, 2023)," by Felipe Cardeneti Mendes, Piotr Sarna, Pavel E…☆122Updated last month
- 🪄 Tiny challenges for learning WebAssembly☆68Updated 7 months ago
- Advent of Code 2023 in 25 interesting language specimens, A-Z☆34Updated last year
- Log-Structured Merge Tree Java implementation☆101Updated last year
- a simple concurrent/parallel sat solver implementation in rust☆18Updated last year
- A tree-sitter grammar for TLA⁺ and PlusCal☆67Updated 3 months ago
- Juho Hirvonen and Jukka Suomela: Distributed Algorithms 2020☆71Updated 8 months ago
- Distributed systems lecture notes☆64Updated 10 months ago
- Another minimal Raft implementation in Rust.☆184Updated last year
- an interactive programming language☆48Updated this week
- A byte code specification and a JIT-compiler written in Assembly.☆14Updated 7 months ago
- Pragmatic Category Theory for Beginners in OCaml with lots of real-world examples☆122Updated 8 months ago
- ☆45Updated 6 months ago
- GitHub repo backing Programming Language Ranking website ⬇️☆33Updated 3 weeks ago