Pinned Loading

1. reilabs/lampe reilabs/lampe Public

   Extracting the semantics of Noir to Lean for formal verification

   Lean 23 2

2. ldsec/pelta ldsec/pelta Public

   Go

3. dull dull Public

   A dull dotfile manager in Rust

   Rust 4

4. Partage Partage Public

   A proof-of-concept social network with user feeds implemented as blockchains

   Go 1