Pinned Loading

1. ProvableHQ/leo ProvableHQ/leo Public

   🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications

   Rust 4.8k 711

2. FuelLabs/sway FuelLabs/sway Public

   🌴 Empowering everyone to build reliable and efficient smart contracts.

   Rust 61.9k 5.4k

3. FuelLabs/sway-standards FuelLabs/sway-standards Public

   SRC Standards set for the Sway language

   Sway 166 51

4. Smith Smith Public

   A simple text editor written in Rust

   Rust 173 5

5. freecell freecell Public

   A Rust implementation of the legendary solitaire game

   Rust 25 2

6. ivolve ivolve Public

   genetic image vectorizer

   C++ 4 3