Demo code for Concurrent and Distributed Systems course
☆21Nov 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:
- ☆11Dec 5, 2022Updated 3 years ago
- ☆17Jan 3, 2025Updated last year
- Lean proof that a normed vector space with compact unit ball is finite dimensional☆11Dec 7, 2019Updated 6 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
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- a very simple C project starter for all my tiny projects.☆18Mar 22, 2025Updated last year
- Library for proving propositions quantified over finite sets☆14Sep 21, 2022Updated 3 years ago
- LaTeX compilation framework & LaTeX source library for 15-150 M23 lecture slides☆10Apr 2, 2025Updated last year
- Solutions to Advent of Code 2021 in APL☆11Dec 1, 2022Updated 3 years ago
- ☆14Oct 26, 2025Updated 5 months ago
- ☆48Feb 23, 2026Updated last month
- The implementation of an SMTLib dialect for xDSL☆17Updated this week
- Meta-programming utilities for Agda.☆20Aug 5, 2025Updated 8 months ago
- Tracing-based reverse mode automatic differentiation (like autograd!)☆28Feb 2, 2025Updated last year
- Wordpress hosting with auto-scaling on Cloudways • AdFully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
- An agda2hs-compatible library for well-scoped syntax☆11Nov 6, 2025Updated 5 months ago
- Library of common cryptographic algorithms and functions for Pony☆12Jul 16, 2025Updated 8 months ago
- Unison base libraries☆24Sep 25, 2025Updated 6 months ago
- data structure and algorithms (DSA) exercises and codes☆12Apr 22, 2014Updated 11 years ago
- A Galilean revolution for computing: Unboundedly scalable reliability and efficiency☆15Aug 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
- lucid + htmx = lucid-htmx☆19Jul 31, 2024Updated last year
- PyTest plugin to run tests concurrently, each `yield` switch context to other test☆16Jan 23, 2019Updated 7 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- ☆52Mar 27, 2026Updated 2 weeks ago
- Exemplary real world application built with Imba☆16Jul 6, 2024Updated last year
- ACSets: Algebraic databases as in-memory data structures☆30Mar 24, 2026Updated 2 weeks ago
- Python package for extractive NLP using the OpenAI API☆17Aug 28, 2024Updated last year
- A Haskell monad transformer library for data validation☆38Aug 17, 2023Updated 2 years ago
- an alternative for comlpex Django`s templatetags, based on http://code.google.com/p/django-widgets/☆30Nov 8, 2011Updated 14 years ago
- A stepping debugger for Standard ML (SML)☆27Feb 20, 2024Updated 2 years ago
- A tool for running presentations without fluff. Effectively a spiritual fork of the `suckless` tool, `sent`. 🍃☆10Nov 5, 2025Updated 5 months ago
- formalization of an equivariant cartesian cubical set model of type theory☆21Jan 3, 2025Updated last year
- Wordpress hosting with auto-scaling on Cloudways • AdFully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
- Pure-python fzf-inspired element picker☆17Feb 14, 2026Updated last month
- l3 network tunneling software☆23Sep 22, 2022Updated 3 years ago
- ☆12Nov 18, 2025Updated 4 months ago
- Lean tokio-based Postgres wire-protocol logical replication client (pgoutput) with TLS and SCRAM.☆75Mar 28, 2026Updated last week
- A variable display/sans-serif typeface☆13Jan 8, 2024Updated 2 years ago
- A toy app showing SSR for Elm☆23Dec 10, 2022Updated 3 years ago
- A powerful and user-friendly Typst package for drawing physics diagrams.☆18Dec 24, 2025Updated 3 months ago