Skip to content
@input-output-hk

Input Output

Pinned Loading

  1. adrestia adrestia Public archive

    APIs & SDK for interacting with Cardano.

    Markdown 178 41

  2. daedalus daedalus Public

    The open source cryptocurrency wallet for ada, built to grow with the community

    TypeScript 1.2k 295

Repositories

3 results for all repositories written in Coq sorted by last updated
Clear filter
Showing 3 of 3 repositories
  • qeditas-ledgertheory Public

    Coq development of a theory of lightweight cryptographic ledgers

    input-output-hk/qeditas-ledgertheory’s past year of commit activity
    Coq 5 2 0 1 Updated Oct 1, 2020
  • qeditas-cryptohash Public

    Coq code demonstrating a method for representing and reasoning about idealized cryptographic hashing functions

    input-output-hk/qeditas-cryptohash’s past year of commit activity
    Coq 4 1 0 0 Updated Nov 11, 2016
  • qeditas-theory Public

    Coq code formalizing a theory corresponding to Qeditas

    input-output-hk/qeditas-theory’s past year of commit activity
    Coq 1 MIT 1 0 0 Updated Nov 2, 2016

Most used topics

Loading…