☆17May 15, 2024Updated last year
Alternatives and similar repositories for MIT-6.5840-Distributed-Systems
Users that are interested in MIT-6.5840-Distributed-Systems are comparing it to the libraries listed below
Sorting:
- Solution Manual for Roman Vershynin's High-Dimensional Probability☆26Jul 26, 2024Updated last year
- A scanner web-app which will scan the document and create a table data in csv file. It is very useful for exam cell. Exam cell can easily…☆10Jan 7, 2026Updated last month
- Manage your flutter/dart packages directly from the editor. Find, install, update, or remove packages without touching the command line.☆39Aug 31, 2024Updated last year
- ☆12Dec 19, 2023Updated 2 years ago
- Solidity contracts for Aave leveraged swap☆11Feb 28, 2022Updated 4 years ago
- Frida scripts to directly MitM all HTTPS traffic from a target mobile application☆10Jan 9, 2024Updated 2 years ago
- Toy distributed PostgreSQL by implementing SQL over KV☆11Jan 14, 2026Updated last month
- ☆10Jul 1, 2025Updated 8 months ago
- Context Logger for Golang☆23Oct 31, 2025Updated 4 months ago
- A sandbox repo for testing Liveblocks with Clerk☆11May 31, 2023Updated 2 years ago
- IITM Paradigms of Programming -- Monsoon 2025☆18Nov 17, 2025Updated 3 months ago
- Simple project to test Elasticsearch with Django, build on docker.☆10Aug 16, 2020Updated 5 years ago
- ☆16Nov 20, 2024Updated last year
- ☆14Jun 9, 2022Updated 3 years ago
- ☆13Jul 10, 2024Updated last year
- Sample Ansible RPC playbook☆11Oct 30, 2021Updated 4 years ago
- This repository contains my academic marketing and customer data analytics related projects using R and SQL.☆10Dec 20, 2019Updated 6 years ago
- ☆13Aug 17, 2024Updated last year
- ☆12Nov 22, 2020Updated 5 years ago
- contains study notes and assignments solutions.☆12Mar 27, 2021Updated 4 years ago
- ☆14Updated this week
- 🌀 A minimal C library offering generic, contiguous dynamic arrays with O(1) amortized push.☆19Sep 22, 2025Updated 5 months ago
- Easy link Laravel Models with external references for seamless integration and enhanced functionality.☆12Jan 13, 2026Updated last month
- A Model Context Protocol (MCP) server for accessing Central Bank of Nigeria (CBN) data and circulars. Connect this server to Cursor, Clau…☆18Sep 22, 2025Updated 5 months ago
- Survey on materials that touch on the history of Lambda Calculus☆12Sep 13, 2020Updated 5 years ago
- PHP Fundamentals Final Project - Weather App☆16Sep 16, 2025Updated 5 months ago
- LLM-based mutation testing☆14Feb 3, 2025Updated last year
- Objectify your Python objects.☆36Jul 24, 2015Updated 10 years ago
- ☆14Oct 29, 2025Updated 4 months ago
- Code execution runtime for the STAC Overflow: Map Floodwater from Radar Imagery competition☆12Sep 29, 2021Updated 4 years ago
- ☆29Dec 15, 2025Updated 2 months ago
- ☆13Jan 16, 2026Updated last month
- Dast tool☆13Jul 28, 2023Updated 2 years ago
- 🎨 All you need to hook-up UI components directly to your AWS Lambda functions. Just install Buttonize and deploy your CDK. That's it.☆14May 23, 2024Updated last year
- AI for Mathematics Paper List☆17Jan 14, 2025Updated last year
- A gentle introduction to Isabelle and Isabelle/HOL☆17Mar 27, 2025Updated 11 months ago
- An example of using Octave on mybinder.org☆15Apr 25, 2025Updated 10 months ago
- A locally trained model of Stoney Nakoda has been developed and released. You can access the working model here or train your own instanc…☆10Oct 29, 2025Updated 4 months ago
- Integration of opentelemetry with the tracing crate☆24Feb 1, 2026Updated last month