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
Sorting:
- ☆11Dec 5, 2022Updated 3 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
- 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
- a very simple C project starter for all my tiny projects.☆18Mar 22, 2025Updated 11 months ago
- 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☆11Apr 2, 2025Updated 11 months ago
- Solutions to Advent of Code 2021 in APL☆11Dec 1, 2022Updated 3 years ago
- ☆14Oct 26, 2025Updated 4 months ago
- Library classes for the Twelf Proof System☆23Jun 16, 2020Updated 5 years ago
- The implementation of an SMTLib dialect for xDSL☆17Updated this week
- Working through http://www.nltk.org/book/☆13Mar 14, 2014Updated 12 years ago
- ☆27Updated this week
- Alumni Portal for IIIT Vadodara☆12Aug 15, 2023Updated 2 years ago
- Tracing-based reverse mode automatic differentiation (like autograd!)☆27Feb 2, 2025Updated last year
- An agda2hs-compatible library for well-scoped syntax☆11Nov 6, 2025Updated 4 months ago
- data structure and algorithms (DSA) exercises and codes☆12Apr 22, 2014Updated 11 years ago
- ☆15May 15, 2025Updated 10 months ago
- A Galilean revolution for computing: Unboundedly scalable reliability and efficiency☆15Aug 6, 2023Updated 2 years ago
- Javascript runtime built in VSCode text editor.☆14Dec 9, 2022Updated 3 years ago
- lucid + htmx = lucid-htmx☆19Jul 31, 2024Updated last year
- Exemplary real world application built with Imba☆16Jul 6, 2024Updated last year
- ACSets: Algebraic databases as in-memory data structures☆27Feb 10, 2026Updated last month
- DoubtBin is a doubt-solving and resources-sharing portfolio. This application will help the students in solving doubts related to any cou…☆18Oct 14, 2022Updated 3 years ago
- 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 2 years ago
- A stepping debugger for Standard ML (SML)☆27Feb 20, 2024Updated 2 years ago
- formalization of an equivariant cartesian cubical set model of type theory☆21Jan 3, 2025Updated last year
- l3 network tunneling software☆23Sep 22, 2022Updated 3 years ago
- Parse SQL files with multiple named queries into a map for easy organisation and management of SQL queries. Port of goyesql.☆32Jul 13, 2025Updated 8 months ago
- My Advent of Code solutions☆23Dec 18, 2025Updated 3 months 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.☆16Dec 24, 2025Updated 2 months ago
- ☆12Feb 9, 2026Updated last month
- Add `which-function` as hint for `rg` & `xref` results.☆16Jan 3, 2026Updated 2 months ago
- ☆27May 16, 2021Updated 4 years ago
- A set of cryptographic proofs for simple protocols, to be formalised in various tools.☆22Mar 11, 2026Updated last week
- https://wayforball.web.app/☆21Oct 27, 2022Updated 3 years ago