Pinned Loading

1. reilabs/gnark-lean-extractor reilabs/gnark-lean-extractor Public

   A tool to extract gnark circuits defined in Go to Lean for formal verification.

   Go 16 3

2. reilabs/cairo-hints reilabs/cairo-hints Public

   Cairo 23 5

3. reilabs/starknet-replay reilabs/starknet-replay Public

   CLI tool to replay Starknet transactions and profile libfuncs usage.

   Rust

4. awesome-msfs awesome-msfs Public

   Awesome list for learning development of add-ons for MSFS

5. mma mma Public

   Minimalistic Market MAker bot written in Rust

   Rust 2 1

6. testpilot testpilot Public

   Rust