Skip to content
View kushti's full-sized avatar

Organizations

@input-output-hk @ergoplatform

Block or report kushti

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

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