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
- ☆42Updated 9 years ago
- Strange Loop 2014 archives☆188Updated 10 years ago
- A public repository to host Alloy models. This repository holds public models to be used as entertainment, examples, tutorials, utilitie…☆136Updated 3 months ago
- Distributed Systems Reading Group☆20Updated 7 years ago
- A DSL/LISP dialect written in Haskell☆21Updated 7 years ago
- Book: Introduction to Dependent Types with Idris☆78Updated 2 years ago
- A small demo lambda-language written in Python☆32Updated 7 years ago
- A script for running TLA+/TLC from the command line☆81Updated 4 years ago
- Inspired by Cajori’s A History of Mathematical Notations, and/or TV Tropes.☆45Updated 7 years ago
- A curated list of TLA+ resources.☆66Updated 6 years ago
- Verified hash-based AMQ structures in Coq☆124Updated 5 years ago
- Algorithm examples in PlusCal, the algorithm language of Lamport's TLA+☆61Updated 10 years ago
- ICFP 2017 Artifact for Functional Pearl: A Unified Approach to Solving Seven Programming Problems☆29Updated 7 years ago
- Strange Loop 2017☆77Updated 7 years ago
- The Definition of Standard ML (1990)☆124Updated 10 years ago
- Proposed documentation for alloytools.org☆71Updated last month
- TLA+ Foundation☆31Updated 2 weeks ago
- Victor B. F. Gomes, Martin Kleppmann, Dominic P. Mulligan, and Alastair R. Beresford. Verifying Strong Eventual Consistency in Distribute…☆74Updated 2 years ago
- Awesome datalog libraries, tools and resources☆64Updated 5 years ago
- A tutorial to the Idris Programming Language.☆95Updated 9 years ago
- A platform for unified linear and relational algebra analytics, built on the Accumulo NoSQL database☆12Updated 3 years ago
- The website of the London Computation Club☆74Updated 2 years ago
- Jupyter kernel for TLA⁺☆120Updated 3 years ago
- Using "Testing Shared Memories" paper to make Jepsen check linearizability in linear time☆20Updated 6 years ago
- Advent of Code 2018, in Coq! (https://adventofcode.com/2018)☆140Updated 6 years ago
- A simple http server written in Prolog☆30Updated 8 years ago
- ☆23Updated 12 years ago
- A Java JIT compiler written in Haskell☆73Updated 12 years ago
- Distributed Data Structures in Coq☆49Updated 12 years ago