Search: github.com/kkos | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

241.

Stanford NetFPGA 1G driver for FreeBSD

github.com/wkoszek

11 years ago

2 points

242.

Show HN: Mini_gzip – embeddable, minimal, in-memory GZIP API

github.com/wkoszek

11 years ago

2 points

243.

Show HN: State machine simulator written with Qt

github.com/wkoszek

11 years ago

2 points

244.

Show HN: CPU simulator in 60 lines of code

github.com/wkoszek

11 years ago

2 points

245.

CPU model written in 60 lines of C code

github.com/wkoszek

11 years ago

2 points

246.

Scan Docker images across all your Gitlab projects

github.com/jkosik

4 years ago

1 points

247.

Purely Functional Algorithms and Data Structures in Scala

github.com/vkostyukov

11 years ago

1 points

248.

github.com/skosch

12 years ago

1 points

249.

SaaS boilerplate with built-in multi-tenant support

github.com/akoskm

2 years ago

1 points

250.

Minimal tRPC API boilerplate for separate BE-FE repositories

github.com/mkosir

3 years ago

1 points

251.

Show HN: TattingCAD – use it or fork it for your tatting designs

github.com/fkossyvas

6 years ago

1 points

252.

PyTorch Implementation of A2C, PPO and ACKTR

github.com/ikostrikov

9 years ago

1 points

253.

Show HN: How to Use Ansible Vault with LastPass

github.com/wkoszek

9 years ago

1 points

254.

Show HN: USBPush for easy programming of FriendlyARM/QT2410/OrigenBoard boards

github.com/wkoszek

11 years ago

1 points

255.

Show HN: Command line USB relay driver

github.com/wkoszek

11 years ago

1 points

256.

Screensaver killer written in Literate Programming

github.com/wkoszek

11 years ago

1 points

257.

Example of FreeBSD KVM Memory API

github.com/wkoszek

11 years ago

1 points

258.

Xilinx Bitstream Format Library. Easily read .bit files from C programs

github.com/wkoszek

11 years ago

1 points

259.

Making Synology NAS command line usable

github.com/wkoszek

11 years ago

1 points

260.

IKOS: Static analyzer for C/C++ based on the theory of Abstract Interpretation

github.com/NASA-SW-VnV

4 years ago

91 points

261.

IKOS a static analyzer for C/C++ based on the theory of Abstract Interpretation

github.com/NASA-SW-VnV

5 months ago

18 points

262.

IKOS a static analyzer for C/C++ based on the theory of Abstract Interpretation

github.com/NASA-SW-VnV

8 years ago

5 points

263.

IKOS: static analyzer for C/C++ based on the theory of Abstract Interpretation

github.com/NASA-SW-VnV

8 years ago

3 points

264.

NASA's static analyzer IKOS 3.2-rc1 published – Request for testers

github.com/NASA-SW-VnV

3 years ago

ivanperez-keera

2 points

265.

Ikos: Static analyzer for C/C++ based on the theory of Abstract Interpretation

github.com/NASA-SW-VnV

2 years ago

1 points

266.

Static analyzer IKOS 3.2 Released

github.com/NASA-SW-VnV

2 years ago

ivanperez-keera

1 points

267.

IKOS (Inference Kernel for Open Static Analyzers)

github.com/NASA-SW-VnV

7 years ago

1 points

268.

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

7 months ago

23 points

269.

Show HN: Flytrap – Debugging tool for fixing production bugs

3 years ago

13 points

270.

Show HN: LUML – an open source (Apache 2.0) MLOps/LLMOps platform

github.com/luml-ai

5 months ago

7 points