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
- Collection of shell/Bash scripts for various using cases | #SE☆11Sep 17, 2026Updated 3 weeks ago
- ☆48Feb 23, 2026Updated 7 months 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.
- Material for the Berlin Bayesian reading group covering Statistical Rethinking by Richard McElreath☆10May 7, 2020Updated 6 years ago
- Solutions to Advent of Code 2021 in APL☆11Dec 1, 2022Updated 3 years ago
- Provide functionality to build statistical models to repair dirty tabular data in Spark☆11Apr 21, 2023Updated 3 years ago
- Learning summary and examples about data systems.☆43Jun 9, 2024Updated 2 years ago
- Machine Learning Quick Reference, published by Packt☆17Jan 30, 2023Updated 3 years ago
- An agda2hs-compatible library for well-scoped syntax☆11Aug 26, 2026Updated last month
- A simple and fast text editor☆16Jun 3, 2026Updated 4 months ago
- Unison base libraries☆25Sep 25, 2025Updated last year
- lucid + htmx = lucid-htmx☆19Jul 31, 2024Updated 2 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.
- 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 3 months ago
- A Galilean revolution for computing: Unboundedly scalable reliability and efficiency☆17Aug 6, 2023Updated 3 years ago
- Javascript runtime built in VSCode text editor.☆14Dec 9, 2022Updated 3 years ago
- CIS 7000-01 Fall 2025 Course materials☆16Jan 20, 2026Updated 8 months 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
- An implementation of scoped algebraic effects and handlers in Agda.☆18Mar 11, 2021Updated 5 years ago
- PyTest plugin to run tests concurrently, each `yield` switch context to other test☆16Jan 23, 2019Updated 7 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- The implementation of an SMTLib dialect for xDSL☆19Apr 16, 2026Updated 5 months ago
- 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☆15Apr 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
- ☆14Sep 25, 2024Updated 2 years ago
- Public source code for the Batch Processing with Apache Beam (Python) online course☆18Sep 29, 2020Updated 6 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- Lean specification of neural architectures with verified GPU codegen.☆34Updated this week
- 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.☆25Sep 1, 2026Updated last month
- A tool for running presentations without fluff. Effectively a spiritual fork of the `suckless` tool, `sent`. 🍃☆10Nov 5, 2025Updated 11 months ago
- 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