Repository · dormant

cwgoes/ibc-idris-ref

Datatypes & reference algorithms for IBC, later to be converted into proofs.

IdrisApache-2.0Cosmos Network

Subscriber view

Unlock the full view of cwgoes/ibc-idris-ref

  • Full repository, commit, and contributor breakdown
  • Peer graph and ecosystem links
  • Weekly trend deltas and pulse signal
  • API and CSV / JSON exports

Already a subscriber? Sign in with the same email used at checkout.