Search: github.com/kash | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

361.

Show HN: FLP Impossibility Theorem Proof in Coq (github.com/ConsensusResearch)

38 points

11 years ago

362.

Show HN: A Cryptocurrency in 4K Lines of Scala Code (github.com/ConsensusResearch)

37 points

11 years ago

363.

Blind Reverse Engineering a Wireless Protocol [pdf] (github.com/r-ohare)

37 points

12 years ago

364.

Open Gamma Detector (kitspace.org)

36 points

4 years ago

365.

Git Changesets (github.com/changesets)

20 points

a year ago

366.

Show HN: Okapi – a metrics engine based on open data formats (github.com/okapi-core)

14 points

10 months ago

367.

Mitigate carbon footprint of websites with ec0lint (github.com)

12 points

4 years ago

368.

Show HN: Compliant-LLM: Audit AI Agents for Compliance with NIST AI RMF (github.com/fiddlecube)

11 points

a year ago

369.

Show HN: Cove – Libraries and CLI's that wrap the go command (github.com/MediaMath)

9 points

11 years ago

370.

Show HN: An Interactive Assembly Guide for Electronics Projects (kitspace.org)

8 points

6 years ago

371.

Show HN: Grim – a dead simple build server written in go (github.com/MediaMath)

8 points

11 years ago

372.

Show HN: Compliant LLM toolkit for ensuring compliance & security of AI systems (github.com/fiddlecube)

7 points

a year ago

373.

Curated List of Awesome Ambient Noises for Listening While Programming (github.com/jamb0ss)

7 points

11 years ago

374.

Show HN: Idly-Gl When OpenStreetMap Met Mapbox-GL (github.com/kepta)

6 points

8 years ago

375.

Modular Cryptocurrency, Part 1: Generic Block Structure (github.com/ConsensusResearch)

6 points

11 years ago

376.

ClickHouse releases first major new version of Golang driver (github.com/ClickHouse)

6 points

4 years ago

377.

Compile-Time Checked Typed Actors for Scala and Akka (github.com/knutwalker)

6 points

11 years ago

378.

Show HN: I center aligned Paul Graham's website and published a Chrome extension (github.com/ktkaushik)

5 points

a year ago

379.

Show HN : Chords - Python recognition of guitar chords (first week-end project) (github.com/jcaille)

5 points

14 years ago

380.

Show HN: Dis: Dev environments but without Node.js (github.com/candacelabs)

5 points

2 months ago

381.

PostgreSQL Hacking (github.com/citusdata)

5 points

3 years ago

382.

Show HN: Upskill – skill to find skills for your AI agents (github.com/Autoloops)

4 points

a month ago

383.

What if you never had to pay for incident management? (github.com)

4 points

kishore-jalleda

3 years ago

384.

Rewrite of the Claw Code project aimed at significantly reducing token usage (github.com/deepreinforce-ai)

4 points

2 months ago

385.

The Amazing World of Diagrams [pdf] (github.com/yk-liu)

4 points

6 years ago

386.

Tiny C Compiler (github.com/TinyCC)

4 points

a month ago

387.

OtterCast: An Open-Source Audio Streaming Device Running Linux (kitspace.org)

4 points

5 years ago

388.

Open Source Hardware MPPT Solar Charge Controller (kitspace.org)

4 points

5 years ago

389.

Awesome Ethereum Resources (github.com/btomashvili)

4 points

9 years ago

390.

GitHub for Unity 3D (unity.github.com)

4 points

9 years ago