Search: github.com/kkos | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

241.

Show HN: State machine simulator written with Qt (github.com/wkoszek)

2 points

11 years ago

242.

Show HN: CPU simulator in 60 lines of code (github.com/wkoszek)

2 points

11 years ago

243.

CPU model written in 60 lines of C code (github.com/wkoszek)

2 points

11 years ago

244.

Scan Docker images across all your Gitlab projects (github.com/jkosik)

1 point

4 years ago

245.

Purely Functional Algorithms and Data Structures in Scala (github.com/vkostyukov)

1 point

11 years ago

246.

Crimson (Font) (github.com/skosch)

1 point

12 years ago

247.

SaaS boilerplate with built-in multi-tenant support (github.com/akoskm)

1 point

2 years ago

248.

Minimal tRPC API boilerplate for separate BE-FE repositories (github.com/mkosir)

1 point

3 years ago

249.

Show HN: TattingCAD – use it or fork it for your tatting designs (github.com/fkossyvas)

1 point

6 years ago

250.

PyTorch Implementation of A2C, PPO and ACKTR (github.com/ikostrikov)

1 point

9 years ago

251.

Show HN: How to Use Ansible Vault with LastPass (github.com/wkoszek)

1 point

9 years ago

252.

Show HN: USBPush for easy programming of FriendlyARM/QT2410/OrigenBoard boards (github.com/wkoszek)

1 point

11 years ago

253.

Show HN: Command line USB relay driver (github.com/wkoszek)

1 point

11 years ago

254.

Screensaver killer written in Literate Programming (github.com/wkoszek)

1 point

11 years ago

255.

Example of FreeBSD KVM Memory API (github.com/wkoszek)

1 point

11 years ago

256.

Xilinx Bitstream Format Library. Easily read .bit files from C programs (github.com/wkoszek)

1 point

11 years ago

257.

Making Synology NAS command line usable (github.com/wkoszek)

1 point

11 years ago

258.

IKOS: Static analyzer for C/C++ based on the theory of Abstract Interpretation (github.com/NASA-SW-VnV)

91 points

4 years ago

259.

IKOS a static analyzer for C/C++ based on the theory of Abstract Interpretation (github.com/NASA-SW-VnV)

18 points

5 months ago

260.

IKOS a static analyzer for C/C++ based on the theory of Abstract Interpretation (github.com/NASA-SW-VnV)

5 points

7 years ago

261.

IKOS: static analyzer for C/C++ based on the theory of Abstract Interpretation (github.com/NASA-SW-VnV)

3 points

7 years ago

262.

NASA's static analyzer IKOS 3.2-rc1 published – Request for testers (github.com/NASA-SW-VnV)

2 points

ivanperez-keera

2 years ago

263.

Ikos: Static analyzer for C/C++ based on the theory of Abstract Interpretation (github.com/NASA-SW-VnV)

1 point

2 years ago

264.

Static analyzer IKOS 3.2 Released (github.com/NASA-SW-VnV)

1 point

ivanperez-keera

2 years ago

265.

IKOS (Inference Kernel for Open Static Analyzers) (github.com/NASA-SW-VnV)

1 point

7 years ago

266.

Show HN: Bsub.io – zero-setup batch execution for command-line tools

23 points

7 months ago

267.

Show HN: Flytrap – Debugging tool for fixing production bugs (useflytrap.com)

13 points

3 years ago

268.

Show HN: LUML – an open source (Apache 2.0) MLOps/LLMOps platform (github.com/luml-ai)

7 points

4 months ago

269.

Show HN: I built a tool that helps fixing JavaScript production bugs much faster (useflytrap.com)

5 points

3 years ago

270.

Ask HN: List of Top HN Users

2 points

3 years ago