papers-we-love / pwlconf-infoLinks
Materials and accompanying references for all things pwlconf related
☆60Updated 6 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 9 years ago
- Strange Loop 2014 archives☆188Updated 11 years ago
- A script for running TLA+/TLC from the command line☆81Updated 4 years ago
- ☆42Updated 9 years ago
- Distributed Systems Reading Group☆20Updated 7 years ago
- A curated list of TLA+ resources.☆66Updated 6 years ago
- A DSL/LISP dialect written in Haskell☆21Updated 7 years ago
- The Definition of Standard ML (1990)☆124Updated 11 years ago
- A Java JIT compiler written in Haskell☆73Updated 12 years ago
- Syllabus and materials for a graduate distributed systems seminar, with a focus on storage systems and programming models☆51Updated 8 years ago
- Using "Testing Shared Memories" paper to make Jepsen check linearizability in linear time☆20Updated 6 years ago
- Algorithm examples in PlusCal, the algorithm language of Lamport's TLA+☆61Updated 10 years ago
- Inspired by Cajori’s A History of Mathematical Notations, and/or TV Tropes.☆45Updated 7 years ago
- A public repository to host Alloy models. This repository holds public models to be used as entertainment, examples, tutorials, utilitie…☆136Updated 4 months ago
- Spring 2017 slides and homework for CMU's 15-316: Software Foundations of Security and Privacy.☆22Updated 8 years ago
- Distributed Data Structures in Coq☆49Updated 12 years ago
- A tutorial to the Idris Programming Language.☆95Updated 9 years ago
- My reading list☆84Updated 3 years ago
- Chearch is a simple search engine written in Cray's Chapel language.☆34Updated 4 years ago
- A platform for unified linear and relational algebra analytics, built on the Accumulo NoSQL database☆13Updated 3 years ago
- Verified hash-based AMQ structures in Coq☆124Updated 5 years ago
- Proposed documentation for alloytools.org☆71Updated last month
- ebook versions of the book "Category Theory for the Sciences" by David I. Spivak☆113Updated 10 years ago
- ☆17Updated 10 years ago
- The theory of coeffects presented in the dead wood format. Crocodile leather bound copies available upon request.☆27Updated 8 years ago
- A Scala DSL for the Kompics framework☆19Updated 3 years ago
- Book: Introduction to Dependent Types with Idris☆78Updated 2 years ago
- A book on programming languages, using Haskell☆166Updated 4 years ago
- The website of the London Computation Club☆74Updated 2 years ago
- Compile-time metaprogramming for OCaml☆74Updated last year