Pinned Loading

1. bppl-logic bppl-logic Public

   Program Logic for Bayesian Probabilistic Programs

   Lean 1

2. mathlib4 mathlib4 Public

   Forked from leanprover-community/mathlib4

   The math library of Lean 4

   Lean

3. mina-multi-sig mina-multi-sig Public

   Forked from Raspberry-Devs/mina-multi-sig

   Using FROST multi-signature scheme for jointly owned contracts on the Mina Blockchain

   Rust

4. tezos/riscv-pvm tezos/riscv-pvm Public

   Next-generation Proof-generating Virtual Machine for the Tezos Smart Rollups

   Rust 12 4

5. human-eval-verus human-eval-verus Public

   Forked from secure-foundations/human-eval-verus

   Rust

6. kex kex Public

   Forked from vorpal-research/kex

   A platform for analysis of Java bytecode

   Kotlin