A graduate seminar on languages and abstractions for distributed programming
☆19Jul 16, 2022Updated 4 years ago
Alternatives and similar repositories for CMPS290S-2018-09
Users that are interested in CMPS290S-2018-09 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Interact with a JSON-serialized API defined by a GADT in your reflex-dom application☆20Updated this week
- Coq development for "Journey Beyond Full Abstraction" paper☆10Mar 22, 2026Updated 6 months ago
- Fault-tolerant distributed algorithms encoded in a formal language☆14Nov 30, 2020Updated 5 years ago
- HoTT Note-taking action☆25Mar 24, 2019Updated 7 years ago
- Basic TLA+ Examples☆15Feb 15, 2021Updated 5 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.
- Compositional type checking for a Hindley-Milner type system☆11Mar 28, 2017Updated 9 years ago
- Read a list of paper titles and save their DBLP bibtex entries in a file.☆10Nov 19, 2019Updated 6 years ago
- Convert NPM packages into nix expressions☆48Mar 21, 2019Updated 7 years ago
- A visual simulator for the amoebot model of programmable matter.☆13Oct 6, 2023Updated 3 years ago
- Async client for the Kite Connect WebSocket API☆15May 23, 2024Updated 2 years ago
- 🎅🌟❄️☃️🎄🎁 Advent of Code Mega Repo☆52Jan 2, 2026Updated 9 months ago
- A collection of Edward Kmett's packages in a single repository☆17Mar 14, 2021Updated 5 years ago
- Color highlighting for Haskell profiling information☆40Sep 30, 2021Updated 5 years ago
- ☆12Sep 5, 2022Updated 4 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.
- A set of improvements and conventions on top of org-mode to use it for knowledge management.☆10Sep 16, 2024Updated 2 years ago
- A repository for blockchain research papers☆17Nov 27, 2019Updated 6 years ago
- Material for ICFP 2020 tutorial on functional software architecture☆18Sep 4, 2020Updated 6 years ago
- Haskell Diagrams for Penrose Kite and Dart non-periodic tilings☆16Sep 6, 2026Updated last month
- Strongly typed paths in Haskell☆16Nov 14, 2025Updated 11 months ago
- A graduate course on distributed systems☆11Jan 6, 2024Updated 2 years ago
- Bit-level codec library☆17Apr 26, 2023Updated 3 years ago
- HAL: A Library for Homomorphic Authentication☆23Apr 3, 2017Updated 9 years ago
- 🍜 Convert HTML markdown into miso View syntax☆14May 20, 2026Updated 4 months ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Compose and perform music in just intonation☆12Updated this week
- A flexible Haskell API for querying the GitHub REST API☆14Jan 7, 2026Updated 9 months ago
- Mirror of my NixOS configuration☆25Sep 17, 2026Updated last month
- A MPMC channel based on the two lock queue algorithm☆15Oct 4, 2017Updated 9 years ago
- An Android app to browse GitHub repositories☆15Sep 5, 2026Updated last month
- This project provides a working example of implementing a USB vendor class device using the embassy-rs and related crates on a Raspberry …☆13Mar 3, 2025Updated last year
- A library to easily use servant and GDP together to build web apis with a lot of knowledge in the types☆10Sep 15, 2021Updated 5 years ago
- A Makefile that contains the seed of a python development environment.☆14Apr 21, 2020Updated 6 years ago
- An experimental and still heavily in progress Haskell effect system library supporting coroutines and higher order effects.☆15Mar 5, 2026Updated 7 months ago
- 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.
- An android app that updates all your Sanskrit Dictionaries from our stardict-* repositories in one shot.☆16Sep 1, 2026Updated last month
- Cursor CLI + Claude Code + Codex Sandbox☆23Oct 5, 2026Updated last week
- Automatic piecewise-mutable references for your types☆43Jul 26, 2026Updated 2 months ago
- Extension to `thiserror` that helps reduce the amount of handwriting☆13Updated this week
- Custom semgrep rules registry☆14Aug 23, 2022Updated 4 years ago
- The place for submitting new articles to the Serokell blog.☆17Updated this week
- my-semgrep-rules☆10Jun 15, 2022Updated 4 years ago