Pinned Loading

1. awslabs/shuttle awslabs/shuttle Public

   Shuttle is a library for testing concurrent Rust code

   Rust 622 30

2. ocelot ocelot Public

   A synthesis-enabled solver for relational logic

   Racket 28 8

3. uwplse/memsynth uwplse/memsynth Public

   An advanced automated reasoning tool for memory consistency model specifications.

   Alloy 20 1

4. uwplse/synapse uwplse/synapse Public

   Optimizing Synthesis with Metasketches, POPL 2016

   Racket 23 3

5. z3-ios z3-ios Public

   run z3 on iOS for some reason

   SMT 35 2

6. awslabs/mountpoint-s3 awslabs/mountpoint-s3 Public

   A simple, high-throughput file client for mounting an Amazon S3 bucket as a local file system.

   Rust 4.3k 148