Search: github.com/kushti | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

1.

Scala API Client for BTC-e Cryptocurrencies Broker (github.com/kushti)

9 points

13 years ago

2.

Dexy. A Stablecoin Based on Algorithmic Central Bank [pdf] (github.com/kushti)

2 points

3 years ago

3.

Coq to Rust Program Extraction (github.com/pirapira)

99 points

10 years ago

4.

Authenticated Data Structures Generically (github.com/adjoint-io)

73 points

8 years ago

5.

A Coq development of a theory of lightweight cryptographic ledgers (github.com/billlwhite)

67 points

11 years ago

6.

The Architecture of a Cryptocurrency (github.com/ConsensusResearch)

51 points

11 years ago

7.

Show HN: FLP Impossibility Theorem Proof in Coq (github.com/ConsensusResearch)

38 points

11 years ago

8.

Show HN: A Cryptocurrency in 4K Lines of Scala Code (github.com/ConsensusResearch)

37 points

11 years ago

9.

Curated List of Awesome Ambient Noises for Listening While Programming (github.com/jamb0ss)

7 points

11 years ago

10.

Modular Cryptocurrency, Part 1: Generic Block Structure (github.com/ConsensusResearch)

6 points

11 years ago

11.

Compile-Time Checked Typed Actors for Scala and Akka (github.com/knutwalker)

6 points

11 years ago

12.

Awesome Ethereum Resources (github.com/btomashvili)

4 points

9 years ago

13.

Khronus – A Reactive Time Series Database (github.com/Searchlight)

4 points

11 years ago

14.

An Almost Full Scala Commodore 64 Emulator (github.com/abbruzze)

3 points

11 years ago

15.

Free Monads Are Expendable (github.com/TomasMikula)

3 points

10 years ago

16.

XPIR: Private Information Retrieval for Everyone (github.com/XPIR-team)

3 points

10 years ago

17.

60 Artisanal Compiler Crashes (github.com/regehr)

3 points

10 years ago

18.

10 papers that all PhD students in PL ought to know (github.com/nuprl)

3 points

11 years ago

19.

PalDB: An embeddable write-once key-value store written in Java (github.com/linkedin)

3 points

11 years ago

20.

Sample Scala + Play 2 Web Application (github.com/GistLabs)

2 points

13 years ago

21.

BlockSign Transaction Specification (github.com/blocksign)

2 points

11 years ago

22.

Proof-of-Stake Cryptocurrency Forging(Mining) Simulation in Haskell (github.com/ConsensusResearch)

2 points

12 years ago

23.

Reactor is a foundation for asynchronous applications on the JVM (github.com/reactor)

2 points

13 years ago

24.

Awesome Buggy ERC20 Tokens (github.com/sec-bit)

2 points

8 years ago

25.

A Compiler Plug-In to Control Object Lifetimes in Scala (github.com/tiarkrompf)

2 points

10 years ago

26.

Isabelle as a solver in Leon (github.com/epfl-lara)

2 points

11 years ago

27.

The Secure Computation API (github.com/cryptobiu)

2 points

11 years ago

28.

Transactional Key/Value Store in 200 Lines of Haskell Code (github.com/wyager)

1 point

11 years ago

29.

Celaut: A peer-to-peer architecture for software design and distribution (github.com/celaut-project)

1 point

10 months ago

30.

A Local Exchange Trading System on Top of Ergo (github.com/ergoplatform)

1 point

7 years ago