Pinned Repositories
plutus
The Plutus language implementation and tools
cardano-sl
Cryptographic currency implementing Ouroboros PoS protocol
CIPs
polina's review
Formalizing-Abst-Comp-Paper
messages
Message-passing in EUTxO
state-machine-research
structured-contracts
Stateful contracts in EUTxO
Thesis-
Turing-Category-Formalization
Coq formalization of Turing categories and related concepts
unexpected_hanging
polinavino's Repositories
polinavino/unexpected_hanging
polinavino/Turing-Category-Formalization
Coq formalization of Turing categories and related concepts
polinavino/cardano-sl
Cryptographic currency implementing Ouroboros PoS protocol
polinavino/CIPs
polina's review
polinavino/Formalizing-Abst-Comp-Paper
polinavino/messages
Message-passing in EUTxO
polinavino/state-machine-research
polinavino/structured-contracts
Stateful contracts in EUTxO
polinavino/Thesis-