Pinned Loading

1. awslabs/shuttle awslabs/shuttle Public

   Shuttle is a library for testing concurrent Rust code

   Rust 952 46

2. 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 5.6k 235

3. ocelot ocelot Public

   A synthesis-enabled solver for relational logic

   Racket 29 8

4. uwplse/memsynth uwplse/memsynth Public

   An advanced automated reasoning tool for memory consistency model specifications.

   Alloy 25 1

5. uwplse/synapse uwplse/synapse Public

   Optimizing Synthesis with Metasketches, POPL 2016

   Racket 24 4

6. z3-ios z3-ios Public

   run z3 on iOS for some reason

   SMT 38 2