DaveCTurner/tla-examples DaveCTurner/tla-examples

  • Stars
    star
    1
  • Language Isabelle
  • Created almost 7 years ago
  • Updated over 3 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
DaveCTurner/tla-examples
github

DaveCTurner

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Examples of TLA proofs

More Repositories

1

escli

CLI tool for working with Elasticsearch
Haskell
4
star
2

tiny-ripemd160

A tiny implementation of the RIPEMD-160 hash function
C
4
star
3

zero-copy-paxos

Implementation of Paxos
C++
3
star
4

paxos-dojo

JavaScript
3
star
5

json-validator

Haskell
1
star
6

es-proxy

Haskell
1
star
7

autoharvest

Haskell
1
star
8

timezone-diagram

Library for drawing timezone diagrams
Haskell
1
star
9

jstack2json

Convert jstack output to JSON for easier analysis
Python
1
star
10

paxos-membership

Unbounded Pipelining in Dynamically Reconfigurable Paxos Clusters
TeX
1
star
11

davecturner.github.io

Github Pages
Haskell
1
star