Pinned Loading

1. capnproto/capnproto-rust capnproto/capnproto-rust Public

   Cap'n Proto for Rust

   Rust 2.3k 238

2. capnproto/capnproto-java capnproto/capnproto-java Public

   Cap'n Proto in pure Java

   Java 432 88

3. compfiles compfiles Public

   Catalog Of Math Problems Formalized In Lean

   Lean 199 46

4. sandstorm-rawapi-example-rust sandstorm-rawapi-example-rust Public

   Example Sandstorm app using only the raw Cap'n Proto API, written in Rust.

   Rust 26 7

5. fuzz-rustc fuzz-rustc Public

   setup for fuzzing the Rust compiler

   Rust 59 3

6. lean4-maze lean4-maze Public

   maze game encoded in Lean 4 syntax

   Lean 63 5