lkuper / CMPS290S-2018-09Links
A graduate seminar on languages and abstractions for distributed programming
☆19Updated 3 years ago
Alternatives and similar repositories for CMPS290S-2018-09
Users that are interested in CMPS290S-2018-09 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
- Verified hash-based AMQ structures in Coq☆124Updated 5 years ago
- Command line binaries for the TLA+ language☆170Updated 2 years ago
- Convert TLA+ output (and values) into JSON☆27Updated 4 years ago
- Distributed termination detection on a ring, due to Shmuel Safra: https://www.cs.utexas.edu/users/EWD/ewd09xx/EWD998.PDF☆42Updated 2 years ago
- A curated set of links to formal methods involving provable code.☆211Updated 3 years ago
- Lecture notes for a short course on proving/programming in Coq via SSReflect.☆173Updated 4 years ago
- Program analysis grad seminar at SU (2019)☆57Updated 5 years ago
- A course on homotopy theory and type theory, taught jointly with Jaka Smrekar☆301Updated last year
- Lean theorem prover version 0.2 (it supports standard and HoTT modes)☆122Updated 3 years ago
- Jupyter kernel for TLA⁺☆120Updated 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
- A gently curated list of companies using verification formal methods in industry☆558Updated 6 months ago
- CQL: Categorical Query Language implementation in Haskell☆175Updated 2 years ago
- Source Code for 'Practical TLA+' by Hillel Wayne☆292Updated 3 years ago
- Distributed Separation Logic: a framework for compositional verification of distributed protocols and their implementations in Coq☆98Updated last year
- A public repository to host Alloy models. This repository holds public models to be used as entertainment, examples, tutorials, utilitie…☆134Updated last month
- Notes (in literate Haskell) from reading Category Theory for Programmers by Bartosz Milewski☆33Updated 6 years ago
- A script for running TLA+/TLC from the command line☆80Updated 4 years ago
- Mathematical Components (the Book)☆146Updated last year
- A web page with resources for teaching with formal methods and tools.☆14Updated 2 years ago
- An instructional website with progressively worked examples of TLA+ specifications and model checking.☆45Updated 3 years ago
- The 2019/2020 edition of Strathclyde's CS316 Functional Programming course☆41Updated 5 years ago
- Link to preprints for ICFP'17 and colocated events☆136Updated 7 years ago
- formally verified category theory library☆263Updated 5 years ago
- Embedded specification language & model checker in Haskell☆174Updated 3 months ago
- The syllabus from 15-819, the PhD seminar I taught on domain-specific programming languages fall 2016.☆216Updated 6 years ago
- Python interpreter for TLA+ specifications☆114Updated last year
- being the lecture materials and exercises for the 2017/18 session of CS410 Advanced Functional Programming at the University of Strathcly…☆264Updated 7 years ago
- Companion files for Logical Verification 2020–2021 at VU Amsterdam☆96Updated 4 years ago