Search: github.com/kushti | Heykuki News

HK

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

13 years ago

9 points

2.

Dexy. A Stablecoin Based on Algorithmic Central Bank [pdf]

github.com/kushti

3 years ago

2 points

3.

Coq to Rust Program Extraction

github.com/pirapira

10 years ago

99 points

4.

Authenticated Data Structures Generically

github.com/adjoint-io

8 years ago

73 points

5.

A Coq development of a theory of lightweight cryptographic ledgers

github.com/billlwhite

11 years ago

67 points

6.

The Architecture of a Cryptocurrency

github.com/ConsensusResearch

11 years ago

51 points

7.

Show HN: FLP Impossibility Theorem Proof in Coq

github.com/ConsensusResearch

11 years ago

38 points

8.

Show HN: A Cryptocurrency in 4K Lines of Scala Code

github.com/ConsensusResearch

11 years ago

37 points

9.

Curated List of Awesome Ambient Noises for Listening While Programming

github.com/jamb0ss

11 years ago

7 points

10.

Modular Cryptocurrency, Part 1: Generic Block Structure

github.com/ConsensusResearch

11 years ago

6 points

11.

Compile-Time Checked Typed Actors for Scala and Akka

github.com/knutwalker

11 years ago

6 points

12.

Awesome Ethereum Resources

github.com/btomashvili

9 years ago

4 points

13.

Khronus – A Reactive Time Series Database

github.com/Searchlight

11 years ago

4 points

14.

An Almost Full Scala Commodore 64 Emulator

github.com/abbruzze

11 years ago

3 points

15.

Free Monads Are Expendable

github.com/TomasMikula

10 years ago

3 points

16.

XPIR: Private Information Retrieval for Everyone

github.com/XPIR-team

10 years ago

3 points

17.

60 Artisanal Compiler Crashes

github.com/regehr

10 years ago

3 points

18.

10 papers that all PhD students in PL ought to know

github.com/nuprl

11 years ago

3 points

19.

PalDB: An embeddable write-once key-value store written in Java

github.com/linkedin

11 years ago

3 points

20.

Sample Scala + Play 2 Web Application

github.com/GistLabs

13 years ago

2 points

21.

BlockSign Transaction Specification

github.com/blocksign

11 years ago

2 points

22.

Proof-of-Stake Cryptocurrency Forging(Mining) Simulation in Haskell

github.com/ConsensusResearch

12 years ago

2 points

23.

Reactor is a foundation for asynchronous applications on the JVM

github.com/reactor

13 years ago

2 points

24.

Awesome Buggy ERC20 Tokens

github.com/sec-bit

8 years ago

2 points

25.

A Compiler Plug-In to Control Object Lifetimes in Scala

github.com/tiarkrompf

10 years ago

2 points

26.

Isabelle as a solver in Leon

github.com/epfl-lara

11 years ago

2 points

27.

The Secure Computation API

github.com/cryptobiu

11 years ago

2 points

28.

Transactional Key/Value Store in 200 Lines of Haskell Code

github.com/wyager

11 years ago

1 points

29.

Celaut: A peer-to-peer architecture for software design and distribution

github.com/celaut-project

10 months ago

1 points

30.

A Local Exchange Trading System on Top of Ergo

github.com/ergoplatform

7 years ago

1 points