A graduate seminar on languages and abstractions for distributed programming
☆19Jul 16, 2022Updated 3 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:
- Syllabus and materials for a graduate distributed systems seminar, with a focus on storage systems and programming models☆53May 6, 2017Updated 9 years ago
- ☆101Apr 3, 2018Updated 8 years ago
- Auto-generated lenses for Java beans.☆14Dec 15, 2012Updated 13 years ago
- Building a toy OS in Rust.☆13Sep 14, 2016Updated 9 years ago
- Isabelle/HOL proofs about the eChronos RTOS☆11Jun 13, 2017Updated 8 years 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.
- Compositional type checking for a Hindley-Milner type system☆11Mar 28, 2017Updated 9 years ago
- A fork of the PlantUML Editor project for continued development.☆11Apr 8, 2016Updated 10 years ago
- A control for WPF (and other XAML-based frameworks) to provide paging and sorting for your data!☆13Dec 23, 2015Updated 10 years ago
- 🎅🌟❄️☃️🎄🎁 Advent of Code Mega Repo☆50Jan 2, 2026Updated 4 months ago
- ReSharper PowerToys are plugins developed by both the Community and JetBrains for use with ReSharper.☆17Apr 15, 2023Updated 3 years ago
- Haskell Diagrams for Penrose Kite and Dart non-periodic tilings☆16Updated this week
- ☆12Sep 5, 2022Updated 3 years ago
- A repository for blockchain research papers☆17Nov 27, 2019Updated 6 years ago
- A flexible Haskell API for querying the GitHub REST API☆15Jan 7, 2026Updated 4 months 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.
- Slides for CUFP 2017 keynote☆19Sep 8, 2017Updated 8 years ago
- 🍜 Convert HTML markdown into miso View syntax☆14May 20, 2026Updated last week
- a fun project to create OS from scratch☆12Feb 21, 2024Updated 2 years ago
- A MPMC channel based on the two lock queue algorithm☆15Oct 4, 2017Updated 8 years ago
- Skyhook Data Management: Storage and management of tabular data in Ceph.☆13Oct 19, 2020Updated 5 years ago
- Accepted papers for ICFP 2014☆119May 19, 2016Updated 10 years ago
- HoTT Note-taking action☆25Mar 24, 2019Updated 7 years ago
- Basic functions from pure lambda-calculus - from boolean logic to prime numbers sequences☆16Apr 26, 2017Updated 9 years ago
- CMU 10-742 - Machine Learning in Healthcare - Fall 2024 (Adam Berger)☆23May 29, 2025Updated last year
- 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 library to easily use servant and GDP together to build web apis with a lot of knowledge in the types☆10Sep 15, 2021Updated 4 years ago
- Haskell 'go to (non-local) definitions' extension☆16Feb 10, 2024Updated 2 years ago
- Haskell priority queue package☆17Apr 16, 2026Updated last month
- A Makefile that contains the seed of a python development environment.☆14Apr 21, 2020Updated 6 years ago
- The place for submitting new articles to the Serokell blog.☆17Mar 15, 2024Updated 2 years ago
- GNU Emacs configuration for Emacs 30 and above☆16Jan 26, 2026Updated 4 months ago
- Extension to `thiserror` that helps reduce the amount of handwriting☆13Apr 6, 2023Updated 3 years ago
- Alternative keyboard layouts featuring useful characters☆15Jul 26, 2024Updated last year
- Scan Haskell code with HLint.☆23May 1, 2026Updated 3 weeks ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- My NixOS configuration☆18May 21, 2026Updated last week
- ☆22Updated this week
- Test monadic programs using state machine based models☆19May 18, 2026Updated last week
- [ORIGIN] Puppet module providing various Gentoo portage features☆50Jun 26, 2025Updated 11 months ago
- A Generic implementation of data-has.☆22May 15, 2020Updated 6 years ago
- Tibetan-English translator for CLI☆16Jan 26, 2026Updated 4 months ago
- A lisp inspired functional programming language which compiles to WebAssembly☆18Aug 14, 2024Updated last year