HK
Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Top
New
Best
Ask
Show
Jobs
Request
421.
▲
Show HN: Channel.js – the missing class for creating safe async iterators
github.com/channeljs
discuss
7 years ago
bikeshaving
6 points
422.
▲
Type Safe Alt-JS Language Comparison (Elm, Purescript, OCaml, Scala)
gist.github.com
discuss
9 years ago
vmorgulis
6 points
423.
▲
Show HN: We built a type-safe Python ORM for RedisGraph/FalkorDB
6 comments
5 months ago
hello-tmst
5 points
424.
▲
Show HN: Valdr - Valkey/Redis in safe Rust, passes >99% of Valkey test suite
github.com/ianm199
4 comments
22 days ago
ianm218
5 points
425.
▲
Show HN: C and C++ preprocessor for modern memory safety
github.com/krishnaTORQUE
4 comments
8 months ago
KrishnaTorque
5 points
426.
▲
Type-safe Ajax calls with Scala.js/Autowire
github.com/lihaoyi
2 comments
12 years ago
lihaoyi
5 points
427.
▲
Show HN: I made a local proxy for AI tool calls to keep my API keys safe
github.com/factorly-dev
2 comments
2 months ago
jsherer
5 points
428.
▲
Show HN: Hibana – choreography-first protocol safety for Rust
hibanaworks.dev
2 comments
5 months ago
o8vm
5 points
429.
▲
Cpp2Rust: Automatic Translation of C++ to Safe Rust
github.com/Cpp2Rust
1 comment
2 months ago
clairesutton
5 points
430.
▲
MiniLang: A type-safe C successor that compiles directly to C
github.com/NICUP14
1 comment
2 years ago
nicup14-github
5 points
431.
▲
Show HN: Curry functions with a type-safe fluent API
github.com/willmartian
1 comment
3 years ago
willmartian
5 points
432.
▲
Show HN: ElectroDB – Simple type safe DynamoDB for Node.js
github.com/tywalch
1 comment
5 years ago
tinkertamper
5 points
433.
▲
Genql – Type safe GraphQL query builder
github.com/remorses
1 comment
6 years ago
xmorse
5 points
434.
▲
Seguecode – an iOS developer support tool for building safe UIStoryboard code
github.com/yoiang
discuss
12 years ago
yoiang
5 points
435.
▲
Show HN: Ratchet – safe SPI flash writes (polling, erase-verify) in Rust
github.com/jackulau
discuss
a day ago
JackLau
5 points
436.
▲
Anthropic's Fable Jailbreak (Circumvent safety nets)
github.com/0xSufi
discuss
13 days ago
binyu
5 points
437.
▲
Show HN: TypeGraph – Type-safe graphs on Postgres/SQLite (no graph DB required)
typegraph.dev
discuss
4 months ago
pdlug
5 points
438.
▲
Opt-In Strict Memory Safety Checking in Swift 6.2
github.com/swiftlang
discuss
10 months ago
todsacerdoti
5 points
439.
▲
Show HN: Karton is a simple, type-safe RPC and state-syncing framework (OSS,MIT)
github.com/stagewise-io
discuss
10 months ago
glenntws
5 points
440.
▲
Actions/runner: safe_sleep.sh rarely hangs indefinitely
github.com/actions
discuss
10 months ago
mlugg
5 points
441.
▲
Sqlc: Generate type-safe code from SQL
github.com/sqlc-dev
discuss
a year ago
todsacerdoti
5 points
442.
▲
Show HN: Tuki – A GitOps tool for safely running one-off commands in production
github.com/hundredwatt
discuss
2 years ago
hundredwatt
5 points
443.
▲
Winsafe: Low-level Windows API and GUI in safe, idiomatic Rust
github.com/rodrigocfd
discuss
2 years ago
aragonite
5 points
444.
▲
Show HN: The safest blue-green deployment for single machines
github.com/Andrew-Kang-G
discuss
3 years ago
vtv-blue-green
5 points
445.
▲
Show HN: JSON-Safe Lisp Language
github.com/nathanielop
discuss
4 years ago
methodical
5 points
446.
▲
Rustler: Safe Rust bridge for creating Erlang NIF functions
github.com/rusterlium
discuss
5 years ago
NiklasBegley
5 points
447.
▲
Show HN: Trace of Radiance – Faster and Safer Raytracing in Nim
github.com/mratsim
discuss
6 years ago
zevv
5 points
448.
▲
Type-Safe Mypy Stub Generator for Protocol Buffers, in Go
github.com/arachnys
discuss
8 years ago
wjh_
5 points
449.
▲
Show HN: Gem for concurrent-safe rolling deploys with Opsworks
github.com/fosubo
discuss
11 years ago
nico
5 points
450.
▲
Type-Safe Microservices in Haskell
github.com/k-bx
discuss
11 years ago
xj9
5 points
More