Pinned Loading

1. CVM CVM Public

   Code repository for the ITP 2025 paper "Verification of the CVM algorithm with a Functional Probabilistic Invariant"

   Isabelle 3

2. smucclaw/l4-lp smucclaw/l4-lp Public

   Fully in-browser IDE and rule engine for L4 (a DSL for business rules), along with various language binding libraries

   Clojure 9 2