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 18 11

2. flp flp Public

   Formalization of FLP Impossibility Theorem

   Coq 18 2

3. dexy-stable dexy-stable Public

   Contracts and offchain part of DEXy stablecoin

   Scala 14 1

4. NxtScala NxtScala Public

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

   Scala 5 1

5. kya kya Public

   Know Your Assumptions

   TeX 5

6. timeseries timeseries Public

   Simple Time Series Scala Framework

   Scala 4