Popular repositories Loading

1. btce-scala btce-scala Public

   Scala Client for BTC-E Trade and Market Data APIs. BTC-E is the Cryptocurrencies(Bitcoin/Litecoin/Namecoin/...) Exchange

   Scala 19 11

2. flp flp Public

   Formalization of FLP Impossibility Theorem

   Coq 18 3

3. dexy-stable dexy-stable Public

   Contracts and offchain part of DEXy stablecoin

   Scala 16 3

4. NxtScala NxtScala Public

   Scala Utilities on top of Nxt Reference Software(NRS) Java API

   Scala 6 1

5. ergo-book ergo-book Public

   6 2

6. kya kya Public

   Know Your Assumptions

   TeX 5