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:
- ☆64Updated 8 years ago
- ☆42Updated 9 years ago
- Strange Loop 2014 archives☆188Updated 10 years ago
- ☆23Updated 12 years ago
- Strange Loop 2017☆77Updated 7 years ago
- A DSL/LISP dialect written in Haskell☆21Updated 6 years ago
- A platform for unified linear and relational algebra analytics, built on the Accumulo NoSQL database☆11Updated 3 years ago
- Automatically exported from code.google.com/p/full-maude☆16Updated last year
- Using "Testing Shared Memories" paper to make Jepsen check linearizability in linear time☆20Updated 6 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
- ☆17Updated 10 years ago
- Kodkod solver for relational logic☆77Updated 2 years ago
- My reading list☆83Updated 3 years ago
- Concurrent and distributed Prolog via join patterns (join calculus)☆12Updated 10 years ago
- Papers We ❤️ Zurich☆49Updated 6 years ago
- surgical precision JIT compilers☆121Updated 7 years ago
- History of Programming Languages, Spring 2017☆137Updated 7 years ago
- ☆48Updated 2 months ago
- ICFP 2017 Artifact for Functional Pearl: A Unified Approach to Solving Seven Programming Problems☆29Updated 7 years ago
- ☆71Updated 5 years ago
- A curated list of TLA+ resources.☆66Updated 6 years ago
- A curated collection of papers on streaming algorithms☆187Updated 7 years ago
- Verified hash-based AMQ structures in Coq☆124Updated 5 years ago
- A script for running TLA+/TLC from the command line☆80Updated 4 years ago
- A public repository to host Alloy models. This repository holds public models to be used as entertainment, examples, tutorials, utilitie…☆134Updated last month
- Jupyter kernel for TLA⁺☆120Updated 2 years ago
- Algorithm examples in PlusCal, the algorithm language of Lamport's TLA+☆61Updated 10 years ago
- Strange Loop 2018 resources☆50Updated 6 years ago
- Images and text transcripts of the correspondence between John Backus and Edsger Dijkstra, 1978-1979. Ref: https://medium.com/@acidflask/…☆110Updated 9 years ago