Popular repositories Loading

1. Engram Engram Public

   Auditable offline edge intelligence for low-cost edge devices, with benchmark evidence and public board proof on ESP32-C3.

   Python 21

2. euler-vault-kit euler-vault-kit Public

   Forked from euler-xyz/euler-vault-kit

   Build lending vaults which connect through Ethereum Vault Connector

   Solidity 2 1

3. coincidence-index-lean coincidence-index-lean Public

   Lean formalization of the universal bound relating coincidence index and nonintegral support of rational orthogonal matrices.

   Lean

4. adaptive-orthogonal-rigidity adaptive-orthogonal-rigidity Public

   Manuscript and supporting materials for quantitative rigidity of random graphs under adaptive real orthogonal transformations.

   Lean