Popular repositoriesLoading

1. shuttleshuttlePublic

   Forked fromawslabs/shuttle

   Shuttle is a library for testing concurrent Rust code

   Rust 1

2. aws-encryption-sdk-javaaws-encryption-sdk-javaPublic

   Forked fromaws/aws-encryption-sdk-java

   AWS Encryption SDK

   Java

3. aws-c-event-streamaws-c-event-streamPublic

   Forked fromawslabs/aws-c-event-stream

   C99 implementation of the vnd.amazon.eventstream content-type.

   C

4. jpf-corejpf-corePublic

   Forked fromjavapathfinder/jpf-core

   JPF is an extensible software analysis framework for Java bytecode. jpf-core is the basis for all JPF projects; you always need to install it. It contains the basic VM and model checking infrastruc…

   Java

5. prusti-devprusti-devPublic

   Forked fromviperproject/prusti-dev

   A static verifier for Rust, based on the Viper verification infrastructure.

   Rust

6. loomloomPublic

   Forked fromtokio-rs/loom

   Concurrency permutation testing tool for Rust.

   Rust