salesforce / runway-compiler

Related projects: ⓘ

• fpaxos / fpaxos-tlaplus
  TLA+ specification of Flexible Paxos
  ☆38Updated 11 months ago
• ahelwer / tla-experiments
  ☆13Updated this week
• rystsov / fast-jepsen
  Using "Testing Shared Memories" paper to make Jepsen check linearizability in linear time
  ☆20Updated 5 years ago
• lostbearlabs / tiny-tlaplus-examples
  Very small examples of TLA+ features.
  ☆43Updated 5 years ago
• visualzhou / mongo-repl-tla
  TLA+ Spec of a simplified part of MongoDB replication system
  ☆46Updated 4 years ago
• nickng / gong
  Gong liveness and channel safety checker
  ☆30Updated 6 years ago
• msackman / gsim
  ☆10Updated this week
• will62794 / tlaplus_animation
  A TLA+ module for animating TLC traces.
  ☆44Updated 4 years ago
• lemmy / lets-prove-blocking-queue
  Proving a blocking queue deadlock free in a dozen different ways
  ☆42Updated 3 years ago
• spion / hashtable-latencies
  Latency of a web service that stores a large hashtable, in multiple languages
  ☆43Updated last year
• verse-lab / ceramist
  Verified hash-based AMQ structures in Coq
  ☆122Updated 4 years ago
• ept / cap-critique
  Source of paper “A critique of the CAP theorem”
  ☆16Updated 8 years ago
• mato / opam-rumprun
  OCaml 4.02 cross compiler for the rumprun unikernel stack
  ☆50Updated 8 years ago
• cmeiklejohn / partisan-usenix-atc-2019
  Experimental evaluation for the Partisan paper at USENIX ATC 2019.
  ☆22Updated 5 years ago
• tlaplus / v2-tlapm
  The rewrite of TLAPM, the TLAPS proof manager
  ☆0Updated 5 years ago
• yomimono / simple-nat
  Demonstration NATting unikernel.
  ☆29Updated 8 years ago
• heidihoward / ocaml-raft
  Implementation of Raft consensus algorithm
  ☆112Updated 9 years ago
• mirage / mirage-platform
  Archived, see https://github.com/mirage/mirage/issues/1159 for details. Old: Core platform libraries for Mirage (UNIX and Xen). This prov…
  ☆77Updated 4 years ago
• sylvanc / pony-lecture
  Slides for Pony lectures
  ☆27Updated 6 years ago
• muratdem / HLC
  ☆14Updated 6 years ago
• MagnusS / jitsu
  A DNS server that automatically starts unikernels on demand
  ☆22Updated 8 years ago
• jemc / pony-crdt
  Delta-State Convergent Replicated Data Types (ẟ-CRDTs) for the Pony language.
  ☆37Updated 5 years ago
• GaloisInc / ec2-unikernel
  Tool for uploading unikernels into EC2
  ☆77Updated 6 years ago
• Randommood / RICON2014
  This repo contains the reference materials to my RICON 2014 talk
  ☆33Updated 7 years ago
• strymonas / staged-streams.ocaml
  ☆60Updated 5 years ago
• ot / semi_index
  Implementation of the JSON semi-index described in the paper "Semi-Indexing Semi-Structured Data in Tiny Space"
  ☆57Updated 11 years ago
• tarcieri / paradox
  Experimental language for verifiable computation using zero-knowledge proofs
  ☆25Updated 6 years ago
• Manishearth / cs733
  CS 733 assignments
  ☆25Updated 9 years ago
• belaban / pluscal
  Tests with PlusCal / TLA+
  ☆25Updated 7 years ago
• cmeiklejohn / ensemble
  Ensemble is a prototype of a distributed, convergent, set-based programming language inspired by APL.
  ☆13Updated 8 years ago