Search: github.com/lox | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

241.

Lean Book: The Hitchhiker's Guide to Logical Verification [pdf]

github.com/blanchette

6 years ago

177 points

242.

Loginsrv: JWT login microservice with back ends like OAuth2, Google, GitHub

github.com/tarent

6 years ago

171 points

243.

Malloy – A Better SQL, from Looker

github.com/looker-open-source

4 years ago

167 points

244.

Resilience engineering: Where do I start?

github.com/lorin

7 years ago

167 points

245.

Show HN: C# 6.0 Functional Language Extensions

github.com/louthy

12 years ago

164 points

246.

Show HN: 2D Tilemap on Top of Jitsi Meet

github.com/capnmidnight

6 years ago

162 points

247.

Lensm: Go Assembly and Source Viewer

github.com/loov

4 years ago

161 points

248.

A collection of lock-free data structures written in standard C++11

github.com/DNedic

3 years ago

158 points

249.

Show HN: Algebraic Number Theory in Python 3

github.com/louisabraham

8 years ago

157 points

250.

github.com/google

4 years ago

156 points

251.

I've forked neofetch to keep it alive

github.com/LorenDB

2 years ago

155 points

252.

Minimal x86 Kernel Zig

github.com/lopespm

4 months ago

155 points

253.

Lorien – Infinite canvas drawing/whiteboarding app

github.com/mbrlabs

4 years ago

155 points

254.

Longwriter – Increase llama3.1 output to 10k words

github.com/THUDM

2 years ago

154 points

255.

Rune: A local music player reviving Zune's classic aesthetic

github.com/Losses

2 years ago

153 points

256.

Alchemy Micro-Service Framework: Using RabbitMQ Instead of HTTP

github.com/LoyaltyNZ

10 years ago

149 points

257.

LowDB – A flat JSON file database

github.com/typicode

12 years ago

148 points

258.

Locutus: A platform for building decentralized apps, from the creator of Freenet

github.com/freenet

4 years ago

146 points

259.

After a year of struggling, my startup is now open source

github.com/ChrisZieba

13 years ago

144 points

260.

WavePhoenix – Open-source implementation of the Nintendo WaveBird protocol

github.com/loopj

a year ago

139 points

261.

Tavish’s excessively long programmer biography

github.com/tarmstrong

10 years ago

137 points

262.

Show HN: Lockbox: forward proxy for making third party API calls

github.com/mkjt2

2 years ago

137 points

263.

Kanren – Logic Programming in Python

github.com/logpy

7 years ago

136 points

264.

Lorapaper: A connected e-paper device that runs on light

github.com/RobPo

3 years ago

135 points

265.

Porting Windows Dynamic Link Libraries to Linux

github.com/taviso

6 years ago

134 points

266.

github.com/lobsters

8 years ago

133 points

267.

XMPP creator's "Locker" -- personal social media aggregation platform

github.com/quartzjer

15 years ago

132 points

268.

Show HN: Wtrace – A command line tracing tool for Windows, based on ETW

github.com/lowleveldesign

9 years ago

130 points

269.

Show HN: Piping logs, visualizing in a web app – just suffix "| npx logscreen"

github.com/soorajshankar

2 years ago

128 points

270.

blip.strongloop.com is dead – what is this?

github.com/strongloop

10 years ago

126 points