Pinned Loading

1. ProvableHQ/leo ProvableHQ/leo Public

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

   Rust 4.8k 659

2. uclid-org/uclid uclid-org/uclid Public

   UCLID5: formal modeling, verification, and synthesis of computational systems

   Scala 136 32

3. uclid-org/chiselucl uclid-org/chiselucl Public

   ChiselUCL: Utilities for generating UCLID5 models from Chisel and FIRRTL descriptions

   Scala 7 1

4. slingshot slingshot Public archive

   Forked from ProvableHQ/sdk

   A lightweight CLI for deploying programs and executing transactions on Aleo.

   Rust 14 5

5. crisper crisper Public

   A place to store your lettuces.

   Python 1

6. sqlinjection sqlinjection Public

   Protection from SQL Injection Attack in Express and PHP

   PHP 5 3