Search: github.com/zigg | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

421.

Show HN: CodeTracer – A time-traveling debugger implemented in Nim and Rust

github.com/metacraft-labs

a year ago

334 points

422.

Show HN: Alumina Programming Language

github.com/tibordp

4 years ago

107 points

423.

Show HN: Talos – Open-source WASM interpreter for Lean

github.com/cajal-technologies

6 days ago

106 points

424.

Ask HN: A retrofitted C dialect?

a year ago

55 points

425.

Show HN: Mach – A compiled systems language looking for contributions

github.com/octalide

16 days ago

32 points

426.

Ask HN: Help me improve my C-like language, C3

6 years ago

12 points

427.

Show HN: WebAssembly System Interface (WASI) with Sockets for Go

github.com/stealthrocket

3 years ago

9 points

428.

Show HN: Lockstep – A data-oriented programming language

github.com/seanwevans

3 months ago

8 points

429.

C3 (a C-like programming language) hits 0.6.6

a year ago

8 points

430.

Show HN: Burrito v1.0.0 – Wrap Elixir Apps into Standalone Binaries

github.com/burrito-elixir

3 years ago

8 points

431.

Show HN: XitDB – an immutable single-file database

github.com/xit-vcs

2 months ago

8 points

432.

Show HN: I vibe-coded a working macOS driver for an obsolete laser engraver

github.com/leftouterjoins

6 months ago

6 points

433.

Show HN: Vizier – A physical design advisor for DuckDB

3 months ago

6 points

434.

Show HN: KaithemAutomation, the home automation system for coders and artists

github.com/EternityForest

4 years ago

6 points

435.

Show HN: Dhi – 520x faster data validation for Python, 77x faster for TypeScript

github.com/justrach

5 months ago

5 points

436.

Show HN: WasmBots – A WebAssembly-powered programming game

shaneliesegang.com

a year ago

5 points

437.

Show HN: I used LLMs to build a compression tool that beats xz on x86_64 ELFs

4 months ago

4 points

438.

Show HN: Agd – a content-addressed DAG for tracking what AI agents do

github.com/frontman-ai

4 months ago

4 points

439.

Show HN: Dynamod – Linux init with Erlang-style supervisor trees

github.com/sinisterMage

3 months ago

4 points

440.

Show HN: A compression tool that reduces linux binary downloads by 6%

4 months ago

3 points

441.

Show HN: Valkyr LM Inference with Realtime Guarantees

github.com/Foundation42

2 months ago

3 points

442.

Show HN: NullClaw – an autonomous AI assistant that fits in ~1MB

github.com/nullclaw

4 months ago

3 points

443.

Security Layer 4.0 – First semantic firewall blocks malicious intent"

7 months ago

3 points

444.

Show HN: Mach, a new systems language that focuses on being simple and explicit

github.com/octalide

8 months ago

3 points

445.

Show HN: Proxmox-GitOps: Recursive IaC LXC Container Automation

github.com/stevius10

9 months ago

3 points

446.

Show HN: Cumul – Concatenate all files in a directory for LLMs

github.com/xcaeser

10 months ago

3 points

447.

Show HN: Todo or else, a CLI for enforcing Todo deadlines

github.com/jbreckmckye

3 months ago

2 points

448.

Show HN: Netpack – a bundler written in C#/.NET

github.com/FlorianRappl

a year ago

2 points

449.

I accidentaly built the best deep cleaning tool for devs

6 months ago

2 points

450.

Show HN: PgDog, Load Balancer for PostgreSQL

github.com/levkk

a year ago

2 points