barefi – TypeScript reference client + simulator for a minimum‑viable Bitcoin DeFi stack: over‑collateralized bareUSD stablecoin, CDP vaults with liquidation math, rBTC‑style liquid staking receipts, and a barefi‑cli to drive the flows locally. Educational foundation for OP_NET, BitVM, or Stacks.

Institutional-grade decentralized credit infrastructure for DeFi, built around overcollateralized credit issuance, governance hardening, and resilient on-chain dollar market design.

Overcollateralized lending protocol on Canton Network. Daml smart contracts for pool-based lending with liquidation auctions + Next.js UI.

Security-first overcollateralized lending protocol on Solana - emergency pause, oracle guards, rate-limited withdrawals.