Search: github.com/Safe3 | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

571.

Show HN: A toy MCP for AI agents to code, run, and see output of GPU code safely

github.com/mehmetoguzderin

a year ago

mehmetoguzderin

3 points

572.

FilC: A memory-safe implementation of C and C++

github.com/pizlonator

a year ago

3 points

573.

Swift Evolution: Improving the approachability of data-race safety

github.com/swiftlang

a year ago

3 points

574.

IHP: Type-safe web framework in Haskell and Nix

github.com/digitallyinduced

a year ago

3 points

575.

Show HN: Native SQL, type-safe, in-lined. Pick three

github.com/manifold-systems

2 years ago

3 points

576.

Show HN: Type-safe, persistent, embedded task queues and job runner (Go, SQLite)

github.com/mikestefanello

2 years ago

3 points

577.

Kernel-Safe Bytecode Interpreters in C and C++ (CrowdStrike Falcon Developer)

github.com/bushidocodes

2 years ago

3 points

578.

SuperHeaders: A drop-in replacement for JavaScript Headers with type-safe access

github.com/mjackson

2 years ago

3 points

579.

Tiger Style: How to Design Safer Systems in Less Time

github.com/tigerbeetle

2 years ago

3 points

580.

Tigerbeetle: Safe, performant distributed financial transactions database

github.com/tigerbeetle

2 years ago

3 points

581.

Heed v0.20: Safest and most maintained Rust wrapper for the LMDB key-value store

github.com/meilisearch

2 years ago

3 points

582.

Fil-C is a memory-safe compiler and runtime for C

github.com/pizlonator

2 years ago

3 points

583.

Fil-C: A memory-safe C compiler

github.com/pizlonator

2 years ago

3 points

584.

Kubernetes vulnerable to stale reads, violating critical pod safety guarantees

github.com/kubernetes

2 years ago

3 points

585.

Gitoxide: An idiomatic, lean, fast and safe pure Rust implementation of Git

github.com/Byron

3 years ago

3 points

586.

Money-fns: Type-safe and FP JavaScript Money library

github.com/justinvos

3 years ago

3 points

587.

Show HN: JStachio a type-safe Mustache engine that is incredible fast

github.com/jstachio

3 years ago

3 points

588.

Idiomatic, lean, fast and safe pure Rust implementation of Git

github.com/Byron

3 years ago

3 points

589.

NeMo Guardrails for LLM safety and trustworthiness

github.com/NVIDIA

3 years ago

3 points

590.

Show HN: I made Macaron – Type-safe CSS-in-JS with zero-runtime and colocation

3 years ago

3 points

591.

Show HN: I made an AI for drones to land safely

github.com/stephansturges

4 years ago

3 points

592.

magic-regexp: A compiled-away, type-safe, readable RegExp alternative

github.com/danielroe

4 years ago

3 points

593.

Show HN: A simple async, thread-safe Java library to perform rDNS lookups

github.com/ipregistry

4 years ago

3 points

594.

Memory safe, fast, minimal hello world written in rust with (1092) deps

github.com/mTvare6

4 years ago

3 points

595.

Boing: A safe Rust wrapper over libui-ng, a cross-platform native UI wrapper

github.com/norepimorphism

4 years ago

3 points

596.

A thread-safe queue faster than native Golang channels

github.com/alphadose

4 years ago

3 points

597.

Rescue: Type-safe exception support for Python

github.com/idmitrievsky

4 years ago

3 points

598.

Show HN: Repository of Data SDKs Collect, for Play Store Data Safety Form

github.com/Privado-Inc

4 years ago

3 points

599.

Cracken: A fast password wordlist generator written in pure safe rust

github.com/shmuelamar

5 years ago

3 points

600.

Mod_TLS: Safer TLS for Apache Httpd

github.com/abetterinternet

5 years ago

3 points