Search: github.com/hsoft | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

541.

Make formal verification and provably correct software practical and mainstream (github.com/magmide)

204 points

4 years ago

542.

Calla – spatial video conferencing software based on Jitsi Meet (github.com/capnmidnight)

200 points

6 years ago

543.

Awesome .NET – A collection of .NET libraries, tools, frameworks, and software (github.com/quozd)

198 points

10 years ago

544.

iGAN – Deep learning software that generates images with a few brushstrokes (github.com/junyanz)

194 points

10 years ago

545.

Software engineering blogs (github.com/kilimchoi)

192 points

11 years ago

546.

Launch HN: Deepsilicon (YC S24) – Software and hardware for ternary transformers

189 points

2 years ago

547.

Software defined USB port (Raspberry Pi pico RP2040) (github.com/sekigon-gonnoc)

182 points

4 years ago

548.

Bottles – Run Windows software and games on Linux (github.com/bottlesdevs)

174 points

4 years ago

549.

Gource: Software Version Control Visualization (github.com/acaudwell)

173 points

a year ago

550.

Replacements for existing software written in Rust (github.com/TaKO8Ki)

170 points

5 years ago

551.

I can build enterprise software but I can't charge for it (gist.github.com)

167 points

7 months ago

552.

You use more open source software than you think (github.com/readme)

163 points

5 years ago

553.

Machine Learning frameworks, libraries and software (github.com/josephmisiti)

163 points

12 years ago

554.

Privacy-Respecting Software (github.com/Lissy93)

162 points

4 years ago

555.

Show HN: Wiby is now free software (github.com/wibyweb)

161 points

4 years ago

556.

Edge264 – Minimalist, high-performance software decoder for H.264/AVC video (github.com/tvlabs)

160 points

8 months ago

557.

A curated list of Go frameworks, libraries and software (github.com/avelino)

158 points

12 years ago

558.

Opticsim.jl: Optical Simulation Software (github.com/microsoft)

156 points

5 years ago

559.

Building a ternary computer at home: a software emulator (github.com/ssloy)

153 points

6 years ago

560.

AWS EC2 FPGA Hardware and Software Development Kit (github.com/aws)

149 points

9 years ago

561.

Microwatt: A tiny Open POWER ISA softcore written in VHDL 2008 (github.com/antonblanchard)

141 points

3 years ago

562.

Show HN: Software for Remote GPU-over-IP (github.com/Juice-Labs)

138 points

3 years ago

563.

Free Software network services and web applications which can be hosted locally (github.com/Kickball)

138 points

7 years ago

564.

Epidemics Plugin for the UG4 software (github.com/devanshr)

137 points

5 years ago

565.

Fact and folklore in software engineering (morendil.github.com)

135 points

15 years ago

566.

Show HN: Browser-based knitting (pattern) software (github.com/alefore)

135 points

2 years ago

567.

How to generate tested software packages using LLMs, a sandbox and a while loop (github.com/modal-labs)

133 points

3 years ago

568.

Snabb: 100 Gbit/s pure software switching using Lua (2019) (github.com/snabbco)

133 points

6 years ago

569.

Vrs: Personal Software Runtime inspired by Emacs, Plan 9, Erlang, Hypermedia (github.com/leoshimo)

133 points

a year ago

570.

How OpenGL works: software rendering in 500 lines of code (github.com/ssloy)

133 points

10 years ago