Search: github.com/ngrislain | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

1.

Lean Advent of Code 2025

github.com/ngrislain

7 months ago

1 points

2.

Show HN: Lean-pq a typesafe PostgreSQL connector for lean

github.com/typednotes

3 months ago

2 points

3.

Show HN: Qrlew, simple SQL to SQL-with-privacy written in Rust

github.com/Qrlew

2 years ago

15 points

4.

Clean implementations in TF2 of recent generative models – by Sarus Tech

github.com/sarus-tech

6 years ago

2 points

5.

Show HN: A simple implementation of Differentially Private RAG

github.com/sarus-tech

a year ago

2 points

6.

Lean-PQ – Type-safe PostgreSQL bindings for Lean 4 via libpq FFI

github.com/typednotes

4 months ago

1 points