Pinned Loading

1. commitment-scheme commitment-scheme Public

   In cryptography, a commitment scheme allows one to commit to a chosen value (or chosen statement) while keeping it hidden to others, with the ability to reveal the committed value later. Commitment…

   Python 4

2. zk-snarks zk-snarks Public

   Experiment with ZK-Snarks concepts

   Python 3 2

3. convex-hierarchical-opt convex-hierarchical-opt Public

   Python

4. fixed-income-br fixed-income-br Public

   R

5. formal-mathfin formal-mathfin Public

   A Lean 4 library of formal mathematical-finance theorems, built on Mathlib and Degenne's BrownianMotion.

   Lean 3 1

6. causalrl causalrl Public

   Causal reinforcement learning library: SCM core (Pearl's hierarchy), Manski-bounded offline-to-online learning, and deconfounded optimistic value iteration. Organized around the Bareinboim causal-R…

   Python