Search: github.com/safx | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

421.

Show HN: I made a local proxy for AI tool calls to keep my API keys safe (github.com/factorly-dev)

5 points

a month ago

422.

Show HN: Hibana – choreography-first protocol safety for Rust (hibanaworks.dev)

5 points

4 months ago

423.

Cpp2Rust: Automatic Translation of C++ to Safe Rust (github.com/Cpp2Rust)

5 points

a month ago

424.

MiniLang: A type-safe C successor that compiles directly to C (github.com/NICUP14)

5 points

2 years ago

425.

Show HN: Curry functions with a type-safe fluent API (github.com/willmartian)

5 points

3 years ago

426.

Show HN: ElectroDB – Simple type safe DynamoDB for Node.js (github.com/tywalch)

5 points

5 years ago

427.

Genql – Type safe GraphQL query builder (github.com/remorses)

5 points

6 years ago

428.

Seguecode – an iOS developer support tool for building safe UIStoryboard code (github.com/yoiang)

5 points

12 years ago

429.

Show HN: TypeGraph – Type-safe graphs on Postgres/SQLite (no graph DB required) (typegraph.dev)

5 points

3 months ago

430.

Opt-In Strict Memory Safety Checking in Swift 6.2 (github.com/swiftlang)

5 points

9 months ago

431.

Show HN: Karton is a simple, type-safe RPC and state-syncing framework (OSS,MIT) (github.com/stagewise-io)

5 points

9 months ago

432.

Actions/runner: safe_sleep.sh rarely hangs indefinitely (github.com/actions)

5 points

10 months ago

433.

Sqlc: Generate type-safe code from SQL (github.com/sqlc-dev)

5 points

a year ago

434.

Show HN: Tuki – A GitOps tool for safely running one-off commands in production (github.com/hundredwatt)

5 points

2 years ago

435.

Winsafe: Low-level Windows API and GUI in safe, idiomatic Rust (github.com/rodrigocfd)

5 points

2 years ago

436.

Show HN: The safest blue-green deployment for single machines (github.com/Andrew-Kang-G)

5 points

3 years ago

437.

Show HN: JSON-Safe Lisp Language (github.com/nathanielop)

5 points

4 years ago

438.

Rustler: Safe Rust bridge for creating Erlang NIF functions (github.com/rusterlium)

5 points

5 years ago

439.

Show HN: Trace of Radiance – Faster and Safer Raytracing in Nim (github.com/mratsim)

5 points

6 years ago

440.

Type-Safe Mypy Stub Generator for Protocol Buffers, in Go (github.com/arachnys)

5 points

8 years ago

441.

Show HN: Gem for concurrent-safe rolling deploys with Opsworks (github.com/fosubo)

5 points

11 years ago

442.

Type-Safe Microservices in Haskell (github.com/k-bx)

5 points

11 years ago

443.

I ran 3,360 safety tests on GPT-4o, Claude, Grok, DeepSeek, Gemini (github.com/aestrad7)

4 points

2 months ago

444.

GPTyped: A small, but powerful NPM package that calls GPT in a type-safe way (github.com/juanignaciomolina)

4 points

3 years ago

445.

Show HN:Free Play Store Data Safety Report Generator (github.com/Privado-Inc)

4 points

4 years ago

446.

Show HN: A builder tool to help generate CSPs in a type-safe way (github.com/pgilad)

4 points

7 years ago

447.

Experimenting with Bluetooth to revolutionise safety for cyclists (github.com/robinhayward)

4 points

10 years ago

448.

Show HN: Axon – Run autonomous coding agents(Claude, Codex) safely on Kubernetes (github.com/axon-core)

4 points

4 months ago

449.

Show HN: LINQ-to-SQL but for TypeScript – turn type-safe lambdas into SQL (github.com/webpods-org)

4 points

8 months ago

450.

Theater: Run agents on your computer safely (github.com/colinrozzi)

4 points

a year ago