Search: github.com/safx | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

301.

Show HN: Encore – Type-safe back end framework that generates infra from code (github.com/encoredev)

76 points

7 months ago

302.

Kotlingrad: A shape-safe DSL for differentiable programming (github.com/breandan)

76 points

7 years ago

303.

Glyn: Type-safe PubSub and Registry for Gleam actors with distributed clustering (github.com/mbuhot)

76 points

9 months ago

304.

Show HN: C From Scratch – Learn safety-critical C with prove-first methodology (github.com/SpeyTech)

72 points

4 months ago

305.

Type-Safe Printf for C (github.com/moehriegitt)

71 points

4 years ago

306.

Show HN: A tool to safely migrate GitHub Actions workflows to Ubuntu-slim runner (github.com/fchimpan)

69 points

7 months ago

307.

Scalatex: Type-safe, programmable documents (github.com/lihaoyi)

59 points

11 years ago

308.

Hamlet: A type-safe Haml template engine for Go (github.com/stackus)

58 points

2 years ago

309.

scala-zeromq - thread-safe ZeroMQ sockets for Scala (github.com/mDialog)

58 points

13 years ago

310.

Agentic Trading with Safe Guardrails (github.com/ShurikenTrade)

55 points

20 days ago

311.

A safe Rust abstraction layer for native Node.js modules (github.com/rustbridge)

54 points

10 years ago

312.

JSX - a faster, safer, easier alternative to JavaScript (jsx.github.com)

53 points

14 years ago

313.

MiniLang: A type-safe C successor that compiles directly to x86_64 assembly (github.com/NICUP14)

53 points

2 years ago

314.

Scpptool – a tool to enforce a memory and data race safe subset of C++ (github.com/duneroadrunner)

53 points

2 years ago

315.

Show HN: Hsrs – Type-Safe Haskell Bindings Generator for Rust (github.com/harmont-dev)

53 points

18 days ago

316.

Show HN: Pipask – safer pip without compromising convenience (github.com/feynmanix)

52 points

a year ago

317.

Fish in a Barrel Memory Safety Bounty Program (github.com/fishinabarrel)

52 points

6 years ago

318.

Git-fetch-file – Sync files from other repos with commit tracking and safety (github.com/andrewmcwattersandco)

52 points

andrewmcwatters

10 months ago

319.

Show HN: Go library for concise, unambiguous and URL-safe UUIDs (github.com/renstrom)

50 points

11 years ago

320.

Show HN: made a game you can play safely at work (williame.github.com)

49 points

14 years ago

321.

Get things from one computer to another, safely (github.com/warner)

49 points

11 years ago

322.

Dangerzone: Convert PDFs, documents, or images to a safe PDF (github.com/freedomofpress)

49 points

2 years ago

323.

Show HN: Safe Data Changes in PostgreSQL (github.com/inqueryio)

47 points

3 years ago

324.

Secure EcmaScript, a runtime for running third-party code safely (github.com/Agoric)

45 points

6 years ago

325.

Type-safely embed DSLs directly into Java (github.com/manifold-systems)

43 points

6 years ago

326.

Safe way to upload files to Dropbox from an untrusted computer (github.com/frontsideair)

43 points

11 years ago

327.

Clang: -Wexperimental-lifetime-safety: Experimental C++ Lifetime Safety Analysis (github.com/llvm)

42 points

a year ago

328.

Safety vs. Performance. A case study of C, C++ and Rust sort implementations (github.com/Voultapher)

41 points

3 years ago

329.

TLDR Digital Safety Checklist (github.com/hongkonggong)

40 points

DyslexicAtheist

7 years ago

330.

Hamster - Efficient, Immutable, Thread-Safe Collection classes for Ruby (github.com/harukizaemon)

39 points

14 years ago