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
- A work-in-progress book on Dask☆12Jul 15, 2023Updated 3 years ago
- For legal reasons this is a joke☆10Jun 7, 2023Updated 3 years ago
- ☆48Feb 23, 2026Updated 6 months ago
- Theo dõi biến động giá sản phẩm TIKI với Github Actions☆14Jan 16, 2022Updated 4 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Website for the "Semana de Informática" (SINF) conference☆12Jul 27, 2026Updated last month
- Machine Learning Quick Reference, published by Packt☆17Jan 30, 2023Updated 3 years ago
- Assessing Disparate Impacts of Personalized Interventions: Identifiability and Bounds☆11Oct 28, 2019Updated 6 years ago
- Unison base libraries☆25Sep 25, 2025Updated 11 months ago
- lucid + htmx = lucid-htmx☆19Jul 31, 2024Updated 2 years ago
- Library of common cryptographic algorithms and functions for Pony☆12Jul 16, 2025Updated last year
- A tool made to help students understand the steps taken by a compiler to transform source code into a final executable.☆12Feb 1, 2026Updated 6 months ago
- This is the repo for the newmap.ai project: language and interpreter☆12Aug 4, 2024Updated 2 years ago
- Performance metrics, based on Coda Hale's Yammer metrics☆14Jun 23, 2026Updated 2 months ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- A domain specific language to build complex workflows☆15Jun 26, 2026Updated 2 months ago
- Get started with Battlesnake and Rust☆16Jun 1, 2025Updated last year
- Lucene-based search engine for your source code☆14Feb 4, 2023Updated 3 years ago
- CIS 7000-01 Fall 2025 Course materials☆16Jan 20, 2026Updated 7 months 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
- Data analityics and dashboards about your perfomance inside neovim?☆12May 22, 2024Updated 2 years ago
- Python implementation of plot from Kay, Kola, Hullman, Munson "When (ish) is My Bus?" (2016)☆18Dec 19, 2019Updated 6 years ago
- PyTest plugin to run tests concurrently, each `yield` switch context to other test☆16Jan 23, 2019Updated 7 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.
- The implementation of an SMTLib dialect for xDSL☆19Apr 16, 2026Updated 4 months ago
- Exemplary real world application built with Imba☆16Jul 6, 2024Updated 2 years ago
- Neovim plugin for forester☆20Nov 18, 2024Updated last year
- A toy app showing SSR for Elm☆23Dec 10, 2022Updated 3 years ago
- A reimplementation of the recent work "Multimodal Object Detection by Channel Switching and Spatial Attention" to verify core results. Th…☆21Apr 30, 2024Updated 2 years ago
- Experiments with Realizability in Univalent Type Theory☆20Oct 21, 2024Updated last year
- A Haskell monad transformer library for data validation☆38Aug 17, 2023Updated 3 years ago
- ☆11Feb 13, 2022Updated 4 years ago
- ☆14Sep 25, 2024Updated last year
- 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.
- Public source code for the Batch Processing with Apache Beam (Python) online course☆18Sep 29, 2020Updated 5 years ago
- Experimental JS bindings for idris2-rhone☆21Oct 22, 2023Updated 2 years ago
- formalization of an equivariant cartesian cubical set model of type theory☆21Jan 3, 2025Updated last year
- A tool for running presentations without fluff. Effectively a spiritual fork of the `suckless` tool, `sent`. 🍃☆10Nov 5, 2025Updated 9 months ago
- Automatically sync your pre-commit hooks version from your PDM, Poetry or UV lockfile, and install them automatically.☆29Aug 22, 2026Updated last week
- mail queuing and management for the Django web framework☆11Mar 2, 2011Updated 15 years ago
- ☆11Nov 18, 2025Updated 9 months ago