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
- 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
- Library for proving propositions quantified over finite sets☆14Sep 21, 2022Updated 3 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.
- ☆48Feb 23, 2026Updated 5 months ago
- Solutions to Advent of Code 2021 in APL☆11Dec 1, 2022Updated 3 years ago
- A simple and fast text editor☆15Jun 3, 2026Updated 2 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
- Performance metrics, based on Coda Hale's Yammer metrics☆14Jun 23, 2026Updated last month
- ☆16Jan 3, 2025Updated last year
- A domain specific language to build complex workflows☆15Jun 26, 2026Updated last month
- Lucene-based search engine for your source code☆14Feb 4, 2023Updated 3 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- CIS 7000-01 Fall 2025 Course materials☆16Jan 20, 2026Updated 6 months ago
- Javascript runtime built in VSCode text editor.☆14Dec 9, 2022Updated 3 years ago
- A number guessing game with a p-adic twist.☆12Oct 13, 2023Updated 2 years ago
- Data analityics and dashboards about your perfomance inside neovim?☆13May 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
- An implementation of scoped algebraic effects and handlers in Agda.☆18Mar 11, 2021Updated 5 years ago
- 🐍 Yet Another Plagiarism, plagiarism detector for ARM64 source code with Lark☆13Jun 10, 2021Updated 5 years ago
- The implementation of an SMTLib dialect for xDSL☆19Apr 16, 2026Updated 3 months ago
- Exemplary real world application built with Imba☆16Jul 6, 2024Updated 2 years ago
- 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.
- Neovim plugin for forester☆20Nov 18, 2024Updated last year
- Python package for extractive NLP using the OpenAI API☆17Aug 28, 2024Updated last year
- 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
- Experimental JS bindings for idris2-rhone☆21Oct 22, 2023Updated 2 years ago
- A port of ping crm demo to Imba, node and edgedb using imba and node inertia adapters☆22Apr 13, 2023Updated 3 years ago
- Meta-programming utilities for Agda.☆23Jul 14, 2026Updated 3 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 9 months 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.
- Automatically sync your pre-commit hooks version from your PDM, Poetry or UV lockfile, and install them automatically.☆29Updated this week
- mail queuing and management for the Django web framework☆11Mar 2, 2011Updated 15 years ago
- Pure-python fzf-inspired element picker☆19Feb 14, 2026Updated 5 months ago
- ☆12Nov 18, 2025Updated 8 months ago
- Add `which-function` as hint for `rg` & `xref` results.☆15Jan 3, 2026Updated 7 months ago
- My Advent of Code solutions☆23Mar 31, 2026Updated 4 months ago
- ☆21Apr 6, 2026Updated 4 months ago