papers-we-love / pwlconf-info

Related projects ⓘ

Alternatives and complementary repositories for pwlconf-info

• compilers-course-materials / cs75-s16-lectures
  ☆41Updated 8 years ago
• strangeloop / StrangeLoop2015
  ☆64Updated 8 years ago
• lemmy / lets-prove-blocking-queue
  Proving a blocking queue deadlock free in a dozen different ways
  ☆43Updated 3 weeks ago
• lostbearlabs / tiny-tlaplus-examples
  Very small examples of TLA+ features.
  ☆43Updated 5 years ago
• Porges / programming-history
  Inspired by Cajori’s A History of Mathematical Notations, and/or TV Tropes.
  ☆45Updated 6 years ago
• quux00 / PlusCal-Examples
  Algorithm examples in PlusCal, the algorithm language of Lamport's TLA+
  ☆59Updated 9 years ago
• jeanqasaur / cmu-15316-spring17
  Spring 2017 slides and homework for CMU's 15-316: Software Foundations of Security and Privacy.
  ☆22Updated 7 years ago
• tlaplus / foundation
  TLA+ Foundation
  ☆23Updated this week
• dterei / Research-Papers
  Collection of various research papers I find interesting
  ☆86Updated 9 years ago
• fpaxos / fpaxos-tlaplus
  TLA+ specification of Flexible Paxos
  ☆38Updated last year
• racket / datalog
  ☆43Updated 3 weeks ago
• VictorNicollet / 99-Problems-OCaml
  Solving "99 List Problems" using Objective Caml
  ☆84Updated 6 years ago
• mit-pdos / dsrg
  Distributed Systems Reading Group
  ☆20Updated 6 years ago
• kaelzhang81 / awesome-tlaplus
  A curated list of TLA+ resources.
  ☆66Updated 5 years ago
• cedricbonhomme / iterated-function-systems
  Iterated Function Systems fractals with OCaml.
  ☆35Updated 2 years ago
• strangeloop / StrangeLoop2014
  Strange Loop 2014 archives
  ☆188Updated 10 years ago
• kelvich / tlaplus_jupyter
  Jupyter kernel for TLA⁺
  ☆118Updated 2 years ago
• prathyvsh / lambda-calculus
  Guide elucidating Lambda Calculus
  ☆16Updated 3 years ago
• orc-lang / orc
  Orc programming language implementation
  ☆42Updated 2 years ago
• jackfoxy / SpecifyingSystemsWithContents
  Adding a table of contents to Specifying Systems, TLA+.pdf
  ☆63Updated 7 years ago
• gasche / popl2014-papers
  ☆73Updated 10 years ago
• bringhurst / tlaplus
  ☆27Updated 10 years ago
• rystsov / fast-jepsen
  Using "Testing Shared Memories" paper to make Jepsen check linearizability in linear time
  ☆20Updated 5 years ago
• informalsystems / tla-apalache-workshop
  Material for a workshop on Apalache and TLA+. To be populated with more examples.
  ☆22Updated last year
• hwayne / tlacli
  A script for running TLA+/TLC from the command line
  ☆80Updated 3 years ago
• idris-lang / idris-tutorial
  A tutorial to the Idris Programming Language.
  ☆94Updated 8 years ago
• norswap / prolog-dry
  A terse Prolog course
  ☆41Updated 5 years ago
• papers-we-love / zurich
  Papers We ❤️ Zurich
  ☆50Updated 5 years ago
• bmsherman / blog
  ☆41Updated 10 years ago
• bor0 / gidti
  Book: Introduction to Dependent Types with Idris
  ☆76Updated last year