Search: github.com/safx | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

451.

Show HN: Gem for concurrent-safe rolling deploys with Opsworks

github.com/fosubo

11 years ago

5 points

452.

Type-Safe Microservices in Haskell

github.com/k-bx

11 years ago

5 points

453.

I ran 3,360 safety tests on GPT-4o, Claude, Grok, DeepSeek, Gemini

github.com/aestrad7

3 months ago

4 points

454.

GPTyped: A small, but powerful NPM package that calls GPT in a type-safe way

github.com/juanignaciomolina

3 years ago

4 points

455.

Show HN:Free Play Store Data Safety Report Generator

github.com/Privado-Inc

4 years ago

4 points

456.

Show HN: A builder tool to help generate CSPs in a type-safe way

github.com/pgilad

7 years ago

4 points

457.

Experimenting with Bluetooth to revolutionise safety for cyclists

github.com/robinhayward

10 years ago

4 points

458.

Show HN: Axon – Run autonomous coding agents(Claude, Codex) safely on Kubernetes

github.com/axon-core

4 months ago

4 points

459.

Show HN: LINQ-to-SQL but for TypeScript – turn type-safe lambdas into SQL

github.com/webpods-org

9 months ago

4 points

460.

Theater: Run agents on your computer safely

github.com/colinrozzi

a year ago

4 points

461.

Axolotl – Type-Safe GraphQL Server with Micro Federation

github.com/aexol-studio

2 years ago

4 points

462.

Show HN: Use Purple LLaMA to test ChatGPT safeguards

3 years ago

4 points

463.

Show HN: Clex is now thread-safe and instance-based, a lexer generator for C

3 years ago

4 points

464.

Type safe database access for Python – Prisma Client Python

github.com/RobertCraigie

5 years ago

4 points

465.

Rudra: Rust Memory Safety and Undefined Behavior Detection

github.com/sslab-gatech

5 years ago

4 points

466.

google/puffs: Parsing Untrusted File Formats Safely

github.com/google

9 years ago

4 points

467.

ReactiveNeo: Reactive Type-Safe Scala Client for Neo4J

github.com/websudos

11 years ago

4 points

468.

Release of C++ Format 1.0, a small, safe and fast formatting library for C++

github.com/cppformat

11 years ago

4 points

469.

cuTile Rust: a safe, tile-based kernel programming DSL for Rust

github.com/NVlabs

3 months ago

4 points

470.

Show HN: Webmcp-kit – type-safe toolkit for Chrome's new WebMCP API

github.com/victorhuangwq

4 months ago

4 points

471.

Show HN: PromptSDK – A CLI to turn a folder of prompts into a type-safe SDK

github.com/ProfessionalGriefer

7 months ago

4 points

472.

Show HN: RunJS – a C# MCP server to let LLMs generate and run JavaScript safely

github.com/CharlieDigital

a year ago

4 points

473.

Show HN: TypeScript DSL for expressive AWS SNS filters as type-safe code

github.com/HQarroum

a year ago

4 points

474.

Zorokee/ArtificialCast: Type-safe transformation powered by inference

github.com/Zorokee

a year ago

4 points

475.

Show HN: Plan-linter – pre-flight safety checker for AI agent plans

github.com/cirbuk

a year ago

4 points

476.

Goenums: Type Safe Enum Generator for Go

github.com/zarldev

a year ago

4 points

477.

Show HN: SDKing - Generate type safe Frontend SDK of any FastAPI/OpenAPI Backend

github.com/debkanchan

a year ago

4 points

478.

Typed and DST-safe datetimes for Python, available in Rust or pure Python

github.com/ariebovenberg

a year ago

4 points

479.

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

github.com/pizlonator

a year ago

4 points

480.

Swift: Improving the approachability of data-race safety

github.com/hborla

2 years ago

4 points