Search: github.com/softvar | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

421.

Resources about programming practices for writing safety-critical software

github.com/stanislaw

9 years ago

208 points

422.

RustDesk – Remote desktop software, written in Rust

3 years ago

205 points

423.

Show HN: Create diagrams of complex data flows in software systems

github.com/jodigiordano

2 years ago

205 points

424.

Make formal verification and provably correct software practical and mainstream

github.com/magmide

4 years ago

204 points

425.

Calla – spatial video conferencing software based on Jitsi Meet

github.com/capnmidnight

6 years ago

200 points

426.

Awesome .NET – A collection of .NET libraries, tools, frameworks, and software

github.com/quozd

10 years ago

198 points

427.

iGAN – Deep learning software that generates images with a few brushstrokes

github.com/junyanz

10 years ago

194 points

428.

Software engineering blogs

github.com/kilimchoi

11 years ago

192 points

429.

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

2 years ago

189 points

430.

Software defined USB port (Raspberry Pi pico RP2040)

github.com/sekigon-gonnoc

4 years ago

182 points

431.

Bottles – Run Windows software and games on Linux

github.com/bottlesdevs

4 years ago

174 points

432.

Gource: Software Version Control Visualization

github.com/acaudwell

a year ago

173 points

433.

Replacements for existing software written in Rust

github.com/TaKO8Ki

5 years ago

170 points

434.

I can build enterprise software but I can't charge for it

gist.github.com

7 months ago

167 points

435.

You use more open source software than you think

github.com/readme

5 years ago

163 points

436.

Machine Learning frameworks, libraries and software

github.com/josephmisiti

12 years ago

163 points

437.

Privacy-Respecting Software

github.com/Lissy93

4 years ago

162 points

438.

Show HN: Wiby is now free software

github.com/wibyweb

4 years ago

161 points

439.

Edge264 – Minimalist, high-performance software decoder for H.264/AVC video

github.com/tvlabs

9 months ago

160 points

440.

A curated list of Go frameworks, libraries and software

github.com/avelino

12 years ago

158 points

441.

Opticsim.jl: Optical Simulation Software

github.com/microsoft

5 years ago

156 points

442.

Building a ternary computer at home: a software emulator

github.com/ssloy

6 years ago

153 points

443.

AWS EC2 FPGA Hardware and Software Development Kit

9 years ago

149 points

444.

Show HN: Software for Remote GPU-over-IP

github.com/Juice-Labs

4 years ago

138 points

445.

Free Software network services and web applications which can be hosted locally

github.com/Kickball

7 years ago

138 points

446.

Epidemics Plugin for the UG4 software

github.com/devanshr

5 years ago

137 points

447.

Fact and folklore in software engineering

morendil.github.com

15 years ago

135 points

448.

Show HN: Browser-based knitting (pattern) software

github.com/alefore

2 years ago

135 points

449.

How to generate tested software packages using LLMs, a sandbox and a while loop

github.com/modal-labs

3 years ago

133 points

450.

Snabb: 100 Gbit/s pure software switching using Lua (2019)

github.com/snabbco

6 years ago

133 points