limone-eth / distributed_systemsLinks
Notes about Distributed Systems course at Politecnico di Milano - Computer Science & Engineering
☆9Updated 5 years ago
Alternatives and similar repositories for distributed_systems
Users that are interested in distributed_systems are comparing it to the libraries listed below
Sorting:
- Successor to PolyBoRi☆20Updated last month
- Open-source number theory textbook☆60Updated 11 months ago
- Software Engineering lecture materials☆13Updated 2 years ago
- Examples and exercises used during Software Engineering course☆27Updated last year
- A Coq library for reasoning (co)inductively on infinite sequences using LTL-like modal operators☆17Updated 2 years ago
- Latex notes on papers, courses, ideas: Pure math and computer science.☆61Updated last year
- Public notes, etc. for CMPSCI 630, the UMass CS graduate systems course.☆21Updated 2 years ago
- A simple python application to simulate and packet loss and test solutions.☆8Updated 7 years ago
- Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2020☆19Updated 5 years ago
- PlusCal Cheat Sheet by Stephan Merz☆22Updated 9 months ago
- lean-related presentations☆16Updated last year
- A list of awesome resources I used to study Physics.☆46Updated 9 years ago
- A Haskell-embedded computer algebra system that knows nothing about algebra, at the core.☆17Updated last year
- A system for computational category theory and applications☆38Updated 9 years ago
- Tips and resources to easily pass the "Computer Networks" practical exam ("Reti di calcolatori") in Padua☆37Updated 6 years ago
- https://code.google.com/p/graph-theory-algorithms-book/☆20Updated 9 years ago
- Resources for Competitive Programming☆19Updated last year
- A faster Java heap analysis tool☆21Updated 8 years ago
- EPFL summaries & cheatsheets over 5 years (computer science, communication systems, data science and computational neuroscience).☆170Updated 3 years ago
- Machine Learning summary for engineers☆22Updated last year
- Different TLA+ specifications, mostly for learning purposes☆32Updated last year
- a small C++ lattice library☆15Updated 5 years ago
- Unassorted scribbles on formal methods, type theory, category theory, and so on, and so on☆22Updated last year
- Lectures in MIPT: intro to engineering software using model-checking.☆17Updated 4 years ago
- A curated list of resources for OSGi Starters☆9Updated 7 years ago
- A complete daily plan for studying to become a Google software engineer.☆36Updated 8 years ago
- Isabelle LLVM Code Generator and Refinement☆28Updated 3 weeks ago
- RelaX - a relational algebra calculator☆305Updated 3 weeks ago
- Save WebEx videos uploaded by Politecnico di Milano.☆36Updated 2 years ago
- CoMingle: Distributed Logic Programming for Decentralized Mobile Ensembles☆33Updated 8 years ago