Search: github.com/Safe3 | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

361.

The Fil-C Manifesto: Garbage In, Memory Safety Out

github.com/pizlonator

2 years ago

13 points

362.

Plot: A DSL for Writing Type-Safe HTML, XML and RSS in Swift

github.com/JohnSundell

7 years ago

13 points

363.

purescript-halogen – A declarative, type-safe UI library for PureScript

github.com/slamdata

11 years ago

13 points

364.

Run Skype safely in a Docker container

github.com/tomparys

12 years ago

12 points

365.

Python Functional Programming with returns library (type-safety, monads, etc.)

github.com/dry-python

2 years ago

12 points

366.

Type safe and modularize way to generate HTML on server side in Go

github.com/theplant

7 years ago

12 points

367.

In an alternate universe, GitHub Actions is so much simpler, safer and more fun

github.com/for-GET

5 years ago

12 points

368.

Show HN: Type-safe Go database client for Postgres, MySQL and SQLite

github.com/prisma

6 years ago

12 points

369.

Show HN: SDK's Privacy Report for Google Data Safety Section

github.com/Privado-Inc

5 years ago

11 points

370.

Your .env is safe but your ~/.claude is not

github.com/PrismorSec

3 months ago

11 points

371.

Show HN: Duramap – Disk-backed, thread-safe map in Go (built on bbolt)

github.com/notduncansmith

7 years ago

11 points

372.

A simple and efficient thread-safe sharded hashmap for Go

github.com/tidwall

7 years ago

11 points

373.

Make Trust Irrelevant: A Gamer's Take on Agentic AI Safety

github.com/Deso-PK

5 months ago

10 points

374.

RustCC: Bringing Rust-Style Safety to C++17 via Policy Enforcement

github.com/yunquleonliu

3 months ago

10 points

375.

Rust Coreutils v0.6.0 Release: 96.28% GNU compatibility and safety improvements

github.com/uutils

4 months ago

10 points

376.

Show HN: A drop-in GDPR-safe Google-font replacement for GitHub pages

github.com/lukasbach

4 years ago

10 points

377.

Safeguard your device(s) against pesky ads, trackers, and malware

github.com/badmojr

4 years ago

10 points

378.

Dhall – A Distributed, Safe Language for Configuring Software

github.com/dhall-lang

8 years ago

10 points

379.

sudo-rs: A memory safe implementation of sudo and su

github.com/memorysafety

3 years ago

9 points

380.

Just some of the memory safety errors caught by Fil-C

github.com/pizlonator

a year ago

9 points

381.

Gleam: A friendly language for building type-safe, scalable systems

github.com/gleam-lang

2 years ago

9 points

382.

Sheepsafe (keeps you safe from FireSheep)

github.com/nicksieger

16 years ago

9 points

383.

Show HN: Yolt – safer YOLO mode for LLMs (recover deleted or overwritten files)

github.com/mvanderlinde

2 months ago

8 points

384.

Type-Safe Go HTML Library with Htmx Support

github.com/chasefleming

3 years ago

8 points

385.

Show HN: langdiff – Stream valid JSON from LLMs with type-safe callbacks

github.com/globalaiplatform

10 months ago

8 points

386.

I built a type-safe .NET casting library powered by AI

github.com/Zorokee

a year ago

8 points

387.

Show HN: Woeful – let web apps safely and securely connect to external resources

github.com/MercuryWorkshop

a year ago

8 points

388.

Show HN: I made a fetch client builder to make API calls simpler and safer

github.com/L-Blondy

a year ago

8 points

389.

Manifold: Java Type-Safe Metaprogramming, Structural Typing, Extension Methods

github.com/manifold-systems

7 years ago

8 points

390.

Trash: safer alternative to rm (cross-platform)

github.com/sindresorhus

12 years ago

7 points