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
- Example project showing the project structure of a simple chat app built with IHP☆10Aug 30, 2022Updated 4 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
- Solutions to Advent of Code 2021 in APL☆11Dec 1, 2022Updated 3 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Lean 4 kernel with NbE☆17Updated this week
- Simple express inspired router☆10Jun 19, 2026Updated 4 months ago
- ☆10Apr 18, 2026Updated 6 months ago
- Learning summary and examples about data systems.☆43Jun 9, 2024Updated 2 years ago
- Notes from Database Internals book reading club☆12Jan 8, 2024Updated 2 years ago
- LaTeX compilation framework & LaTeX source library for 15-150 M23 lecture slides☆10Aug 21, 2026Updated 2 months ago
- Scala embedded universal probabilistic programming language☆11Apr 15, 2021Updated 5 years ago
- An agda2hs-compatible library for well-scoped syntax☆11Aug 26, 2026Updated 2 months ago
- This is the repo for the newmap.ai project: language and interpreter☆12Aug 4, 2024Updated 2 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.
- A Java client library for the Hugging Face Inference API☆12May 20, 2023Updated 3 years ago
- An implementation of Vector Clock in Java☆13Jun 27, 2025Updated last year
- Java Multithreading and Parallel Programming Masterclass, published by Packt☆17Jan 18, 2023Updated 3 years ago
- Experimental library for Narya☆13Aug 6, 2025Updated last year
- A domain specific language to build complex workflows☆14Updated this week
- lucid + htmx = lucid-htmx☆19Jul 31, 2024Updated 2 years ago
- a simple brainfuck interpreter written in porth.☆14Oct 13, 2021Updated 5 years ago
- Lucene-based search engine for your source code☆14Feb 4, 2023Updated 3 years ago
- A fast and efficient string interning for Rust☆12Jan 7, 2024Updated 2 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Javascript runtime built in VSCode text editor.☆14Dec 9, 2022Updated 3 years ago
- **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 7 months ago
- An implementation of scoped algebraic effects and handlers in Agda.☆18Mar 11, 2021Updated 5 years ago
- A little, pedagogical implementation of mvcc and transaction isolation levels.☆64Oct 20, 2024Updated 2 years ago
- Educational relational DBMS☆12Jan 15, 2026Updated 9 months ago
- Load/dump Django models from/to Excel 2007+ workbooks.☆14Updated this week
- A codemod for https://github.com/emberjs/rfcs/pull/481☆16Mar 18, 2025Updated last year
- The implementation of an SMTLib dialect for xDSL☆19Apr 16, 2026Updated 6 months ago
- a template language written while live-streaming☆12Updated this week
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- This repository contains notebooks with different probability density function estimators.☆13Jun 4, 2020Updated 6 years ago
- ☆12Apr 23, 2026Updated 6 months ago
- Exemplary real world application built with Imba☆16Jul 6, 2024Updated 2 years ago
- Python package for extractive NLP using the OpenAI API☆17Aug 28, 2024Updated 2 years ago
- ☆11Feb 13, 2022Updated 4 years ago
- Bitcask - A Log-Structured Fast KV Store☆13May 4, 2023Updated 3 years ago
- Mechanizing Types and Programming Languages using Beluga☆24May 29, 2020Updated 6 years ago