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
- 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
- Opa port of the TodoMVC app☆24Mar 11, 2012Updated 14 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- 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
- LaTeX compilation framework & LaTeX source library for 15-150 M23 lecture slides☆10Jun 2, 2026Updated last week
- Library classes for the Twelf Proof System☆22Jun 16, 2020Updated 5 years ago
- The implementation of an SMTLib dialect for xDSL☆18Apr 16, 2026Updated last month
- Experimental project inspired by Google's ADK, built in Java with Spring☆13Apr 20, 2025Updated last year
- Provide functionality to build statistical models to repair dirty tabular data in Spark☆12Apr 21, 2023Updated 3 years ago
- ☆32Updated this week
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Meta-programming utilities for Agda.☆20Updated this week
- Tracing-based reverse mode automatic differentiation (like autograd!)☆28Feb 2, 2025Updated last year
- Machine Learning Quick Reference, published by Packt☆17Jan 30, 2023Updated 3 years ago
- Scala embedded universal probabilistic programming language☆11Apr 15, 2021Updated 5 years ago
- An agda2hs-compatible library for well-scoped syntax☆11Apr 15, 2026Updated last month
- Assessing Disparate Impacts of Personalized Interventions: Identifiability and Bounds☆11Oct 28, 2019Updated 6 years ago
- A simple and fast text editor☆13Jun 3, 2026Updated last week
- Unison base libraries☆25Sep 25, 2025Updated 8 months ago
- ☆104Apr 30, 2026Updated last month
- 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.
- **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 2 months ago
- A Galilean revolution for computing: Unboundedly scalable reliability and efficiency☆17Aug 6, 2023Updated 2 years ago
- A number guessing game with a p-adic twist.☆12Oct 13, 2023Updated 2 years ago
- Javascript runtime built in VSCode text editor.☆14Dec 9, 2022Updated 3 years ago
- ☆72Jan 30, 2022Updated 4 years ago
- Spring Petclinic application with a chatbot powered by OpenAI's Generative AI and the LangChain4j project☆21May 16, 2026Updated 3 weeks ago
- ☆12Feb 13, 2022Updated 4 years ago
- A fine push-down parquet scanner in Rust.☆40May 29, 2026Updated last week
- Enterprise Architecture Bootcamp - Building a digital transformation technology road map☆16Sep 1, 2023Updated 2 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- ACSets: Algebraic databases as in-memory data structures☆30Updated this week
- implementation of bk-tree for golang☆12Jan 25, 2021Updated 5 years ago
- A Haskell monad transformer library for data validation☆38Aug 17, 2023Updated 2 years ago
- Experimental JS bindings for idris2-rhone☆21Oct 22, 2023Updated 2 years ago
- A tool for running presentations without fluff. Effectively a spiritual fork of the `suckless` tool, `sent`. 🍃☆10Nov 5, 2025Updated 7 months ago
- formalization of an equivariant cartesian cubical set model of type theory☆21Jan 3, 2025Updated last year
- l3 network tunneling software☆24Sep 22, 2022Updated 3 years ago