Popular repositories Loading

1. miring miring Public

   Rust 3 2

2. chronicle chronicle Public

   MIR-based formal model extraction for Rust concurrent systems — TLA+ codegen & model checking

   TLA 2 1

3. kapshot kapshot Public

   Forked from mfwgenerics/kapshot

   Kotlin Compiler Plugin for source capture

   Kotlin 1

4. jimfs jimfs Public

   Forked from google/jimfs

   An in-memory file system for Java 7+

   Java 1

5. jni-macros jni-macros Public

   Rust JNI mangling

   Rust 1 1

6. jni-rs jni-rs Public

   Forked from jni-rs/jni-rs

   Rust bindings to the Java Native Interface — JNI

   Rust 1 1