echatav/monoidal-setoid-categories
A formalization of monoidal e-categories and e-categories-with-families (e-CWFs) in Agda
Developer Profile
echatav
Discovered public repositories for echatav in the GitHub catalog.
echatav/elliptic
Elliptic Curve Cryptography in Haskell
echatav/Open-Transactions
Open-Transactions allows users to issue and manipulate digital assets. Users may create many pseudonyms (public keys), each of which may own asset accounts of various types. Users can transfer digital assets securely between accounts (even a server cannot change balances or forge transactions.) Users can also operate “cash-only” (without accounts) for maximum anonymity. Open-Transactions also implements higher-level, contract-based transactions such as payment plans and markets with trades. The markets on Open-Transactions support market orders, limit orders, fill-or-kill orders, day orders, stop orders, and stop limits, just like trading on a real market. OT also supports basket currencies. All of this is accomplished in such a way that all parties are able to prove, at all times, which transactions have cleared and which instruments are authorized, without having to store their entire transaction history, but instead by merely keeping the last signed receipt.