Search: github.com/Safe3 | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

301.

Sandbox: Run untrusted AI code safely, fast

github.com/PwnFunction

6 months ago

80 points

302.

Type-safe Datalog in OCaml

github.com/c-cube

9 years ago

80 points

303.

Show HN: Modifying Clang for a Safer, More Explicit C++

github.com/compiler-devel

4 years ago

76 points

304.

Show HN: Encore – Type-safe back end framework that generates infra from code

github.com/encoredev

7 months ago

76 points

305.

Kotlingrad: A shape-safe DSL for differentiable programming

github.com/breandan

7 years ago

76 points

306.

Glyn: Type-safe PubSub and Registry for Gleam actors with distributed clustering

github.com/mbuhot

10 months ago

76 points

307.

Show HN: C From Scratch – Learn safety-critical C with prove-first methodology

github.com/SpeyTech

5 months ago

72 points

308.

Type-Safe Printf for C

github.com/moehriegitt

5 years ago

71 points

309.

Show HN: A tool to safely migrate GitHub Actions workflows to Ubuntu-slim runner

github.com/fchimpan

7 months ago

69 points

310.

Scalatex: Type-safe, programmable documents

github.com/lihaoyi

11 years ago

59 points

311.

Hamlet: A type-safe Haml template engine for Go

github.com/stackus

2 years ago

58 points

312.

scala-zeromq - thread-safe ZeroMQ sockets for Scala

github.com/mDialog

13 years ago

58 points

313.

Agentic Trading with Safe Guardrails

github.com/ShurikenTrade

a month ago

55 points

314.

A safe Rust abstraction layer for native Node.js modules

github.com/rustbridge

10 years ago

54 points

315.

JSX - a faster, safer, easier alternative to JavaScript

14 years ago

53 points

316.

MiniLang: A type-safe C successor that compiles directly to x86_64 assembly

github.com/NICUP14

3 years ago

53 points

317.

Scpptool – a tool to enforce a memory and data race safe subset of C++

github.com/duneroadrunner

2 years ago

53 points

318.

Show HN: Hsrs – Type-Safe Haskell Bindings Generator for Rust

github.com/harmont-dev

a month ago

53 points

319.

Show HN: Pipask – safer pip without compromising convenience

github.com/feynmanix

a year ago

52 points

320.

Fish in a Barrel Memory Safety Bounty Program

github.com/fishinabarrel

6 years ago

52 points

321.

Git-fetch-file – Sync files from other repos with commit tracking and safety

github.com/andrewmcwattersandco

a year ago

andrewmcwatters

52 points

322.

Show HN: Go library for concise, unambiguous and URL-safe UUIDs

github.com/renstrom

11 years ago

50 points

323.

Show HN: made a game you can play safely at work

williame.github.com

14 years ago

49 points

324.

Get things from one computer to another, safely

github.com/warner

11 years ago

49 points

325.

Dangerzone: Convert PDFs, documents, or images to a safe PDF

github.com/freedomofpress

2 years ago

49 points

326.

Show HN: Safe Data Changes in PostgreSQL

github.com/inqueryio

3 years ago

47 points

327.

Secure EcmaScript, a runtime for running third-party code safely

github.com/Agoric

6 years ago

45 points

328.

Type-safely embed DSLs directly into Java

github.com/manifold-systems

6 years ago

43 points

329.

Safe way to upload files to Dropbox from an untrusted computer

github.com/frontsideair

12 years ago

43 points

330.

Clang: -Wexperimental-lifetime-safety: Experimental C++ Lifetime Safety Analysis

github.com/llvm

a year ago

42 points