Search: github.com/safx | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

451.

Axolotl – Type-Safe GraphQL Server with Micro Federation (github.com/aexol-studio)

4 points

2 years ago

452.

Show HN: Use Purple LLaMA to test ChatGPT safeguards

4 points

2 years ago

453.

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

4 points

3 years ago

454.

Type safe database access for Python – Prisma Client Python (github.com/RobertCraigie)

4 points

5 years ago

455.

Rudra: Rust Memory Safety and Undefined Behavior Detection (github.com/sslab-gatech)

4 points

5 years ago

456.

google/puffs: Parsing Untrusted File Formats Safely (github.com/google)

4 points

9 years ago

457.

ReactiveNeo: Reactive Type-Safe Scala Client for Neo4J (github.com/websudos)

4 points

11 years ago

458.

Release of C++ Format 1.0, a small, safe and fast formatting library for C++ (github.com/cppformat)

4 points

11 years ago

459.

cuTile Rust: a safe, tile-based kernel programming DSL for Rust (github.com/NVlabs)

4 points

3 months ago

460.

Show HN: Webmcp-kit – type-safe toolkit for Chrome's new WebMCP API (github.com/victorhuangwq)

4 points

4 months ago

461.

Show HN: PromptSDK – A CLI to turn a folder of prompts into a type-safe SDK (github.com/ProfessionalGriefer)

4 points

6 months ago

462.

Show HN: RunJS – a C# MCP server to let LLMs generate and run JavaScript safely (github.com/CharlieDigital)

4 points

a year ago

463.

Show HN: TypeScript DSL for expressive AWS SNS filters as type-safe code (github.com/HQarroum)

4 points

a year ago

464.

Zorokee/ArtificialCast: Type-safe transformation powered by inference (github.com/Zorokee)

4 points

a year ago

465.

Show HN: Plan-linter – pre-flight safety checker for AI agent plans (github.com/cirbuk)

4 points

a year ago

466.

Goenums: Type Safe Enum Generator for Go (github.com/zarldev)

4 points

a year ago

467.

Show HN: SDKing - Generate type safe Frontend SDK of any FastAPI/OpenAPI Backend (github.com/debkanchan)

4 points

a year ago

468.

Typed and DST-safe datetimes for Python, available in Rust or pure Python (github.com/ariebovenberg)

4 points

a year ago

469.

The Fil-C Manifesto: Garbage In, Memory Safety Out (github.com/pizlonator)

4 points

a year ago

470.

Swift: Improving the approachability of data-race safety (github.com/hborla)

4 points

2 years ago

471.

A terse, human-readable, URL-safe encoding for JSONish strings (github.com/more-please)

4 points

3 years ago

472.

Show HN: SSH-crypt – helps to keep passwords in your shell scripts safely (github.com/Sets88)

4 points

3 years ago

473.

Tstr: Safe immutable string format for C (github.com/tidwall)

4 points

3 years ago

474.

Valgo is a type-safe, expressive, and extensible validator for Golang (github.com/cohesivestack)

4 points

3 years ago

475.

Show HN: Type-safe internationalization library for TypeScript (github.com/tanekloc)

4 points

3 years ago

476.

Gleam: A BEAM based language for building type-safe systems that scale (github.com/gleam-lang)

4 points

3 years ago

477.

IHP: Haskell Framework for Type-Safe Web Applications (github.com/digitallyinduced)

4 points

4 years ago

478.

Show HN: Class Variance Authority – type-safe variants for your UI components (github.com/joe-bell)

4 points

4 years ago

479.

MicroG 0.2.23 reintroduces support for SafetyNet (github.com/microg)

4 points

4 years ago

480.

Rudra, Rust Memory Safety and Undefined Behavior Detection (github.com/sslab-gatech)

4 points

5 years ago