Search: github.com/pryv | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

211.

ZZ is a modern formally provable dialect of C (github.com/aep)

266 points

6 years ago

212.

Rclone: Rsync for cloud storage – CLI to sync between cloud storage providers (github.com/rclone)

246 points

5 years ago

213.

Todo-or-die – Provides procedural macros that act as checked reminders (github.com/davidpdrsn)

214 points

5 years ago

214.

Go proposal: new package to provide generic slice functions (github.com/golang)

208 points

5 years ago

215.

Make formal verification and provably correct software practical and mainstream (github.com/magmide)

204 points

4 years ago

216.

Can Facebook provide postmortems on their iOS SDK crashes? (github.com/facebook)

204 points

6 years ago

217.

Show HN: Fork of Claude-code working with local and other LLM providers (github.com/dnakov)

177 points

a year ago

218.

Coqui, a startup providing open speech tech for everyone (github.com)

174 points

5 years ago

219.

Prove Raft Correct (github.com/uwplse)

173 points

11 years ago

220.

Show HN: Provide a CSV and a target field, generate a model and code to run it (github.com/minimaxir)

172 points

7 years ago

221.

Show HN: Run your own OAuth2/OpenID Connect provider (github.com/ory-am)

161 points

10 years ago

222.

GitHub provides an RSS feed for all user-facing changes made on the platform (blog.github.com)

154 points

8 years ago

223.

Warewulf is a stateless and diskless container OS provisioning system (github.com/warewulf)

147 points

a year ago

224.

Cloudflare-sync – Tool for using Cloudflare as a dynamic DNS provider (github.com/mxplusb)

146 points

7 years ago

225.

Leela Zero – Go engine with no human-provided knowledge (github.com/gcp)

142 points

9 years ago

226.

Tensorflow Deepmath: Experiments towards neural network theorem proving (github.com/tensorflow)

142 points

10 years ago

227.

Ory Hydra 1.9: Open-source Golang OAuth2 provider (github.com/ory)

137 points

5 years ago

228.

The Z3 Theorem Prover (github.com/Z3Prover)

137 points

____Sash---701_

7 years ago

229.

Show HN: Any-LLM – Lightweight router to access any LLM Provider (github.com/mozilla-ai)

125 points

10 months ago

230.

Proving false in Coq using an implementation bug (github.com/clarus)

125 points

11 years ago

231.

Show HN: Open-source LLM provider price comparison (github.com/arc53)

125 points

2 years ago

232.

Live Captions: an application that provides live captions for the Linux desktop (github.com/abb128)

122 points

3 years ago

233.

Automate the creation of YouTube Shorts by providing a topic (github.com/FujiwaraChoki)

117 points

2 years ago

234.

Please stop asking me to provide feedback #8036 (github.com/anthropics)

113 points

7 months ago

235.

Fast UI Draw is a library that provides a higher performance Canvas interface (github.com/intel)

105 points

6 years ago

236.

Kubermesh: self-hosted/healing/provisioning, partial-mesh network K8s cluster (github.com/kubermesh)

95 points

9 years ago

237.

A Provably Secure Proof-Of-Stake Blockchain Protocol (github.com/input-output-hk)

93 points

9 years ago

238.

RediSQL – A Redis module that provides a functional SQL database (github.com/RedBeardLab)

90 points

9 years ago

239.

Reverse Engineering Proves Journalist Security App Is Not Secure (gist.github.com)

88 points

11 years ago

240.

Show HN: Run your own OAuth2 and OpenID Connect Provider (github.com/ory-am)

88 points

10 years ago