papers-we-love / pwlconf-infoLinks
Materials and accompanying references for all things pwlconf related
☆60Updated 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:
- ☆42Updated 9 years ago
- ☆64Updated 8 years ago
- Chearch is a simple search engine written in Cray's Chapel language.☆34Updated 3 years ago
- Distributed Systems Reading Group☆20Updated 7 years ago
- A curated list of TLA+ resources.☆66Updated 6 years ago
- Strange Loop 2014 archives☆188Updated 10 years ago
- A DSL/LISP dialect written in Haskell☆21Updated 6 years ago
- Inspired by Cajori’s A History of Mathematical Notations, and/or TV Tropes.☆45Updated 7 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
- A script for running TLA+/TLC from the command line☆80Updated 4 years ago
- The website of the London Computation Club☆73Updated 2 years ago
- Syllabus and materials for a graduate distributed systems seminar, with a focus on storage systems and programming models☆51Updated 8 years ago
- TLA+ and Alloy specs of database isolation☆20Updated 9 years ago
- Jupyter kernel for TLA⁺☆120Updated 2 years ago
- Using "Testing Shared Memories" paper to make Jepsen check linearizability in linear time☆20Updated 6 years ago
- My reading list☆83Updated 3 years ago
- A public repository to host Alloy models. This repository holds public models to be used as entertainment, examples, tutorials, utilitie…☆134Updated 2 months ago
- A small demo lambda-language written in Python☆32Updated 7 years ago
- Proposed documentation for alloytools.org☆70Updated 9 months ago
- Distributed systems lecture notes☆64Updated 10 months ago
- Proving a blocking queue deadlock free in a dozen different ways☆43Updated 10 months ago
- A platform for unified linear and relational algebra analytics, built on the Accumulo NoSQL database☆11Updated 3 years ago
- A tutorial to the Idris Programming Language.☆95Updated 9 years ago
- Strange Loop 2017☆77Updated 7 years ago
- ICFP 2017 Artifact for Functional Pearl: A Unified Approach to Solving Seven Programming Problems☆29Updated 7 years ago
- Slides for my talks at various meetups.☆22Updated 3 months ago
- Verified hash-based AMQ structures in Coq☆124Updated 5 years ago
- Exercism exercises in Coq.☆19Updated 9 months ago
- ☆23Updated 12 years ago
- Book: Introduction to Dependent Types with Idris☆78Updated 2 years ago