Search: github.com/koush | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

91.

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

3 points

11 years ago

92.

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

3 points

11 years ago

93.

Atom plugin to convert css to inline JavaScript for react projects (github.com/kepta)

3 points

11 years ago

94.

SortPom – a Maven plugin to keep your pom.xml tidy (github.com/Ekryd)

2 points

10 years ago

95.

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

2 points

13 years ago

96.

Cross-Zip: Cross-platform .zip file creation (github.com/feross)

2 points

10 years ago

97.

BlockSign Transaction Specification (github.com/blocksign)

2 points

11 years ago

98.

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

2 points

12 years ago

99.

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

2 points

13 years ago

100.

Google Engineering Practices Documentation (github.com/google)

2 points

7 years ago

101.

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

2 points

8 years ago

102.

Click-Thru Prototype: Sketch plugin to create html click through prototypes (github.com/markhorgan)

2 points

9 years ago

103.

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

2 points

10 years ago

104.

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

2 points

11 years ago

105.

The Secure Computation API (github.com/cryptobiu)

2 points

11 years ago

106.

Annote: A Turing complete language using only Java annotations as its syntax (github.com/kusoroadeolu)

1 point

5 months ago

107.

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

1 point

11 years ago

108.

3D mouse for free (github.com/paperpointer)

1 point

11 years ago

109.

BetaInvite gem to setup easy beta invite systems to your app (github.com/ktkaushik)

1 point

13 years ago

110.

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

1 point

10 months ago

111.

Bebop: An Extremely Simple, Fast, Efficient, Cross-Platform Serialization Format (github.com/RainwayApp)

1 point

5 years ago

112.

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

1 point

7 years ago

113.

Scala Algorithms and Data Structures (by Chris Okasaki) (github.com/chrisokasaki)

1 point

10 years ago

114.

A Foundational Proof Cryptography Framework for Cryptography (github.com/adampetcher)

1 point

10 years ago

115.

An experiment in funding privacy OSS (github.com/WhisperSystems)

1 point

11 years ago

116.

Show HN: Petrarca: Voice first spaced repetition – track knowledge across books (networkedthought.substack.com)

1 point

2 months ago

117.

Sshmuxd: SSH proxy to replace jump hosts (github.com/joushou)

108 points

11 years ago

118.

Serve2d – A protocol detecting server (github.com/joushou)

103 points

11 years ago

119.

Tiny Tiny RSS Client for Java-ME (J2ME) (github.com/joushx)

2 points

13 years ago

120.

Skype-Desktop-API testing tool (github.com/joushx)

2 points

13 years ago