papers-we-love / pwlconf-infoLinks
Materials and accompanying references for all things pwlconf related
☆59Updated 5 years ago
Alternatives and similar repositories for pwlconf-info
Users that are interested in pwlconf-info are comparing it to the libraries listed below
Sorting:
- Spring 2017 slides and homework for CMU's 15-316: Software Foundations of Security and Privacy.☆22Updated 8 years ago
- Inspired by Cajori’s A History of Mathematical Notations, and/or TV Tropes.☆45Updated 6 years ago
- Distributed Systems Reading Group☆20Updated 7 years ago
- Syllabus and materials for a graduate distributed systems seminar, with a focus on storage systems and programming models☆51Updated 8 years ago
- ☆64Updated 8 years ago
- A curated list of TLA+ resources.☆66Updated 5 years ago
- Artifact for our TOPLAS paper On the Impact of Programming Languages on Code Quality☆14Updated 5 years ago
- TLA+ Foundation☆29Updated last week
- Strange Loop 2014 archives☆188Updated 10 years ago
- ☆27Updated 11 years ago
- ☆42Updated 9 years ago
- Proving a blocking queue deadlock free in a dozen different ways☆42Updated 7 months ago
- Very small examples of TLA+ features.☆42Updated 6 years ago
- Interactive SQL analytics in your browser!☆22Updated 7 years ago
- My Blog.☆56Updated last year
- ☆23Updated 12 years ago
- Book: Introduction to Dependent Types with Idris☆78Updated 2 years ago
- Distributed Algorithms — Online Textbook☆16Updated 4 years ago
- Shonan #143: Programming Language Support for Data-intensive Applications☆15Updated 5 years ago
- Advent of Code 2018, in Coq! (https://adventofcode.com/2018)☆140Updated 6 years ago
- A convenience library for the integration of FoundationDB and various layers in a Dropwizard service.☆12Updated last week
- A DSL/LISP dialect written in Haskell☆21Updated 6 years ago
- Victor B. F. Gomes, Martin Kleppmann, Dominic P. Mulligan, and Alastair R. Beresford. Verifying Strong Eventual Consistency in Distribute…☆73Updated 2 years ago
- TLA+ specification for the Raft consensus algorithm (with Pre-Vote)☆12Updated 7 years ago
- A tutorial to the Idris Programming Language.☆95Updated 9 years ago
- The 2015 ICFP Programming Contest☆7Updated 9 years ago
- Using "Testing Shared Memories" paper to make Jepsen check linearizability in linear time☆20Updated 6 years ago
- ☆41Updated 10 years ago
- A script for running TLA+/TLC from the command line☆80Updated 4 years ago
- The LVish Haskell library☆80Updated 2 years ago