Alexander Chepurnoy (@kushti)
github

kushti

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    77
  • Global Rank 250,980 (Top 9 %)
  • Followers 283
  • Following 26
  • Registered over 12 years ago
  • Most used languages
    Scala
         57.1 %
    TeX
         28.6 %
    Coq     7.1 %
    Shell
         7.1 %
  • Location 🇷🇺 Russia
  • Country Total Rank 2,637
  • Country Ranking
    Coq     1
    Scala
         13
    TeX
         35
    Shell
         949

Top repositories

1

flp

Formalization of FLP Impossibility Theorem
Coq
18
star
2

btce-scala

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

dexy-stable

Contracts and offchain part of DEXy stablecoin
Scala
14
star
4

chaincash

ChainCash - elastic peer-to-peer money collectively backed by blockchain assets and trust
TeX
13
star
5

kya

Know Your Assumptions
TeX
5
star
6

NxtScala

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

timeseries

Simple Time Series Scala Framework
Scala
4
star
8

common-pos

Interactive Proof-of-Stake paper and simulation tools
TeX
2
star
9

sigmausd

SigmaUSD contracts and tests
Scala
2
star
10

bounties

Tables and tools to track bounties
Shell
2
star
11

scala-scapi

Scala Wrappers for ScAPI (The Secure Computation API)
Scala
1
star
12

scorex-laws

TeX
1
star
13

blog-examples

Various examples about my blog. Akka, PlayFramework, Hadoop / Nutch etc
Scala
1
star
14

SimpleCrawler

Simple Crawler Written in Scala On the Top of Akka Framework
Scala
1
star