This repository contains code snippets discussed in 15-440, lecture 4 (given on 1/23/2014).
☆30Jan 24, 2014Updated 12 years ago
Alternatives and similar repositories for intro-to-go
Users that are interested in intro-to-go are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- This repository contains code snippets discussed in 15-440, lecture 5 (given on 1/28/2014).☆11Jan 30, 2014Updated 12 years ago
- Project 0: Implementing a multi-client echo server☆59Jan 25, 2014Updated 12 years ago
- Project 1: LSP & Distributed Bitcoin Miner☆44Mar 10, 2014Updated 12 years ago
- Programming assignments for Introduction to Recommendation Systems course on Coursera.org☆14Jun 7, 2021Updated 5 years ago
- ☆11Oct 7, 2022Updated 3 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- A graphics demo written in C++ that demonstrates a simple line drawing algorithm.☆11Dec 28, 2018Updated 7 years ago
- ACeD: Scalable Data Availability Oracle☆14Oct 29, 2020Updated 5 years ago
- ☆13Oct 29, 2019Updated 6 years ago
- The source for "Compiling with Dependent Types" (my dissertation)☆30May 10, 2022Updated 4 years ago
- smallpt: Global Illumination in 99 lines of C++ (for Visual Studio 2012)☆19Mar 26, 2013Updated 13 years ago
- TLA+ specification of Fast Flexible Paxos☆17Oct 9, 2020Updated 5 years ago
- Kubernetes with kubevirt and kata-containers inside Vagrant (with libvirt/kvm)☆11May 15, 2019Updated 7 years ago
- TU Delft Blockchain Engineering course project on scale-out distributed ledger☆13Mar 4, 2018Updated 8 years ago
- an ultra tiny db☆17Nov 30, 2009Updated 16 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- BFT-Store is a Byzantine fault-tolerant storage engine☆14Sep 9, 2022Updated 3 years ago
- Papers I (+ collaborators) have written or am currently writing☆19Jan 15, 2018Updated 8 years ago
- Visualize structural code changes and trace issue origins across commits.☆26Jul 21, 2026Updated 3 weeks ago
- CS 61 problem sets for 2020☆12Dec 1, 2020Updated 5 years ago
- Source code for our course DevOps Deployment Automation with Terraform, AWS and Docker: https://londonapp.dev/c3☆12Nov 22, 2024Updated last year
- Trilogy: The database logic testing framework by Pivotal Labs☆12Sep 21, 2020Updated 5 years ago
- Solinea's open infrastructure management and monitoring server component☆12Sep 13, 2022Updated 3 years ago
- ☆24Mar 3, 2018Updated 8 years ago
- Group project for 6.035 at MIT. Compiles "Decaf" (simple C-like language without classes) to x86-64 assembly.☆10Feb 18, 2018Updated 8 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- 带有详细注释的XV6源码☆10Dec 8, 2019Updated 6 years ago
- High-performance, high-scalability distributed computing with Erlang and Elixir.☆20Feb 8, 2023Updated 3 years ago
- TLA+ model checking guided testing for distributed systems☆20Feb 12, 2024Updated 2 years ago
- a tiny database☆11Feb 16, 2016Updated 10 years ago
- Mixnet and Anonymous Communication Networks (ACN) research☆23Oct 7, 2019Updated 6 years ago
- The ultimate training toolkit for finetuning diffusion models (For Apple Silicon)☆17Dec 30, 2025Updated 7 months ago
- Solved exercises of some chapters of the book "Introduction to 64 bit Assembly Programming for Linux and OS X", Ray Seyfarth☆10Feb 16, 2017Updated 9 years ago
- CMU 15-440/640 Distributed Systems☆15Oct 2, 2014Updated 11 years ago
- Examples from Rust Intermediate Tutorial on YouTube!☆15Nov 8, 2024Updated last year
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Project 2: Tribbler☆33Apr 2, 2014Updated 12 years ago
- Lab assignments for 6.826☆18Oct 20, 2020Updated 5 years ago
- ☆16Apr 12, 2021Updated 5 years ago
- Web 开发相关资源、网站、工具推荐☆23Sep 7, 2015Updated 10 years ago
- Packet-level simulation code to model Opera and other networks from the 2020 NSDI paper "Expanding across time to deliver bandwidth effic…☆15Jun 10, 2020Updated 6 years ago
- Query Analytics Agent for PMM☆23May 7, 2021Updated 5 years ago
- Apache Geode (incubating) Dockerfile☆23Sep 2, 2018Updated 7 years ago