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:
- Lean proof that a normed vector space with compact unit ball is finite dimensional☆11Dec 7, 2019Updated 6 years ago
- Unison syntax highlighting for VS code☆10Jul 13, 2022Updated 4 years ago
- Document parameters using comments☆10Aug 6, 2021Updated 5 years ago
- A work-in-progress book on Dask☆12Jul 15, 2023Updated 3 years ago
- Collection of shell/Bash scripts for various using cases | #SE☆11Updated this week
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Library for proving propositions quantified over finite sets☆15Sep 21, 2022Updated 3 years ago
- Theo dõi biến động giá sản phẩm TIKI với Github Actions☆14Jan 16, 2022Updated 4 years ago
- Provide functionality to build statistical models to repair dirty tabular data in Spark☆11Apr 21, 2023Updated 3 years ago
- Scala embedded universal probabilistic programming language☆11Apr 15, 2021Updated 5 years ago
- An agda2hs-compatible library for well-scoped syntax☆11Aug 26, 2026Updated 3 weeks ago
- Assessing Disparate Impacts of Personalized Interventions: Identifiability and Bounds☆11Oct 28, 2019Updated 6 years ago
- A simple and fast text editor☆16Jun 3, 2026Updated 3 months ago
- Unison base libraries☆25Sep 25, 2025Updated 11 months ago
- lucid + htmx = lucid-htmx☆19Jul 31, 2024Updated 2 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.
- Performance metrics, based on Coda Hale's Yammer metrics☆14Jun 23, 2026Updated 2 months ago
- ☆16Jan 3, 2025Updated last year
- A domain specific language to build complex workflows☆15Jun 26, 2026Updated 2 months ago
- A Galilean revolution for computing: Unboundedly scalable reliability and efficiency☆17Aug 6, 2023Updated 3 years ago
- Lucene-based search engine for your source code☆14Feb 4, 2023Updated 3 years ago
- Javascript runtime built in VSCode text editor.☆14Dec 9, 2022Updated 3 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
- DEPRECATED repo for Manning book Deep Learning with Structured Data - please see https://github.com/ryanmark1867/deep_learning_for_struct…☆12May 17, 2020Updated 6 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.
- The implementation of an SMTLib dialect for xDSL☆19Apr 16, 2026Updated 5 months ago
- Neovim plugin for forester☆20Nov 18, 2024Updated last year
- Python package for extractive NLP using the OpenAI API☆17Aug 28, 2024Updated 2 years ago
- Use a variable pitch, keeping fixed pitch where it's sensible☆13Apr 7, 2021Updated 5 years ago
- A toy app showing SSR for Elm☆23Dec 10, 2022Updated 3 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
- Lean specification of neural architectures with verified GPU codegen.☆32Updated this week
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Experimental JS bindings for idris2-rhone☆21Oct 22, 2023Updated 2 years ago
- Meta-programming utilities for Agda.☆25Sep 1, 2026Updated 2 weeks 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 10 months ago
- Automatically sync your pre-commit hooks version from your PDM, Poetry or UV lockfile, and install them automatically.☆29Sep 12, 2026Updated last week
- mail queuing and management for the Django web framework☆11Mar 2, 2011Updated 15 years ago
- ☆11Nov 18, 2025Updated 10 months ago