Demo code for Concurrent and Distributed Systems course
☆20Nov 7, 2024Updated last year
Alternatives and similar repositories for ConcDistSys-demos
Users that are interested in ConcDistSys-demos are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A complete collection of my undergraduate notes☆36Jun 13, 2022Updated 4 years ago
- ☆11Dec 5, 2022Updated 3 years ago
- ☆16Jan 3, 2025Updated last year
- An implementation of scoped algebraic effects and handlers in Agda.☆17Mar 11, 2021Updated 5 years ago
- Lean proof that a normed vector space with compact unit ball is finite dimensional☆11Dec 7, 2019Updated 6 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Opa port of the TodoMVC app☆24Mar 11, 2012Updated 14 years ago
- Simple merge for ActiveRecord objects and their associations.☆23Mar 8, 2016Updated 10 years ago
- Unison syntax highlighting for VS code☆10Jul 13, 2022Updated 3 years ago
- a very simple C project starter for all my tiny projects.☆18Mar 22, 2025Updated last year
- A work-in-progress book on Dask☆12Jul 15, 2023Updated 2 years ago
- Library classes for the Twelf Proof System☆22Jun 16, 2020Updated 6 years ago
- ☆48Feb 23, 2026Updated 4 months ago
- Material for the Berlin Bayesian reading group covering Statistical Rethinking by Richard McElreath☆10May 7, 2020Updated 6 years ago
- The implementation of an SMTLib dialect for xDSL☆19Apr 16, 2026Updated 2 months ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- ☆33Updated this week
- Meta-programming utilities for Agda.☆20Jun 15, 2026Updated 2 weeks ago
- Tracing-based reverse mode automatic differentiation (like autograd!)☆28Feb 2, 2025Updated last year
- Scala embedded universal probabilistic programming language☆11Apr 15, 2021Updated 5 years ago
- An agda2hs-compatible library for well-scoped syntax☆11Apr 15, 2026Updated 2 months ago
- Assessing Disparate Impacts of Personalized Interventions: Identifiability and Bounds☆11Oct 28, 2019Updated 6 years ago
- A simple and fast text editor☆14Jun 3, 2026Updated 3 weeks ago
- Unison base libraries☆25Sep 25, 2025Updated 9 months ago
- Theo dõi biến động giá sản phẩm TIKI với Github Actions☆14Jan 16, 2022Updated 4 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- data structure and algorithms (DSA) exercises and codes☆12Apr 22, 2014Updated 12 years ago
- Frontend Coding Challenge☆15Jun 27, 2023Updated 3 years ago
- **This package has moved to honnef.co/go/stuff/curve** Primitives and routines for 2D shapes, curves, and paths. A port of kurbo.☆11Mar 21, 2026Updated 3 months ago
- A Galilean revolution for computing: Unboundedly scalable reliability and efficiency☆17Aug 6, 2023Updated 2 years ago
- Lucene-based search engine for your source code☆14Feb 4, 2023Updated 3 years ago
- A number guessing game with a p-adic twist.☆12Oct 13, 2023Updated 2 years ago
- This repository contains notebooks with different probability density function estimators.☆13Jun 4, 2020Updated 6 years ago
- lucid + htmx = lucid-htmx☆19Jul 31, 2024Updated last year
- ☆12Feb 13, 2022Updated 4 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Exemplary real world application built with Imba☆16Jul 6, 2024Updated last year
- implementation of bk-tree for golang☆12Jan 25, 2021Updated 5 years ago
- A tool for running presentations without fluff. Effectively a spiritual fork of the `suckless` tool, `sent`. 🍃☆10Nov 5, 2025Updated 7 months ago
- Pure-python fzf-inspired element picker☆19Feb 14, 2026Updated 4 months ago
- l3 network tunneling software☆24Sep 22, 2022Updated 3 years ago
- ☆12Nov 18, 2025Updated 7 months ago
- Lean tokio-based Postgres wire-protocol logical replication client (pgoutput) with TLS and SCRAM.☆85May 8, 2026Updated last month