Search: github.com/pryv | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

391.

Show HN: A CLI to provision, share, manage local and cloud dev environments (github.com/raiyanyahya)

4 points

4 years ago

392.

Programming and Proving in Agda [pdf] (github.com/jespercockx)

4 points

4 years ago

393.

Microsoft Secure-Supply-Chain – Improving OSS Provenance (github.com/microsoft)

4 points

5 years ago

394.

Netbootd: DHCP, TFTP and HTTP server tailored OS provisioning or PXE booting (github.com/DSpeichert)

4 points

5 years ago

395.

OpenACD: Providing a distributed, fault tolerant contact/call center platform (github.com/OpenACD)

4 points

6 years ago

396.

EverCrypt: A Verified Crypto Provider (github.com/project-everest)

4 points

7 years ago

397.

Zombodb: allow Postgres to use Elasticsearch as an index provider (github.com/zombodb)

4 points

8 years ago

398.

Rebel-readline – Provide a better readline experience for Clojure languages (github.com/bhauman)

4 points

8 years ago

399.

RediSQL, Redis with SQL capabilities reach v0.2 providing explicit transactions (github.com/RedBeardLab)

4 points

8 years ago

400.

Show HN: AnyPanel – Heads up display for OS X to provide at-a-glance information (github.com/atilimcetin)

4 points

10 years ago

401.

Java is faster than C in its second run, prove me wrong (github.com/Osiris-Team)

3 points

2 years ago

402.

I built an open-source AI Gateway that sits between your apps and LLM providers (github.com/DatanoiseTV)

3 points

3 months ago

403.

I Had to Build a Cryptographic Audit Trail Just to Prove I Wrote My Own Code (github.com/jaysyrk)

3 points

15 days ago

404.

AIs built a working Deleuzian engine and the verification script to prove it

3 points

9 months ago

405.

Show HN: I'm 6 months late, but I made a Natural Language theorem prover (github.com/ArnavAgrawal03)

3 points

a year ago

406.

Show HN: A simple method to prove ownership and authenticity of digital media (github.com/pushpendre)

3 points

5 years ago

407.

Show HN: WordPress WebSocket Relay in Rust with Yjs CRDT Provider for WP 7.0 (wpsignal.io)

3 points

a month ago

408.

OPP – An open protocol for AI image provenance that survives screenshots (github.com/HumanLemming996)

3 points

4 months ago

409.

Show HN: LLMSwap – Switch between LLM providers with one line of code (github.com/sreenathmmenon)

3 points

5 months ago

410.

Structllm – structured output support to any LLM provider (github.com/piotrmaciejbednarski)

3 points

10 months ago

411.

Show HN: I made PeanoScript, an educational TypeScript-like theorem prover (peanoscript.mjgrzymek.com)

3 points

a year ago

412.

LLMs as Copilots for Theorem Proving in Lean (github.com/lean-dojo)

3 points

2 years ago

413.

Langport-A self-hosted LLM serving platform that provides OpenAI-compatible APIs (github.com/vtuber-plan)

3 points

3 years ago

414.

Display the support an organization has provided to open-source in GitHub (github.com/orgs)

3 points

3 years ago

415.

Show HN: A home built heads up display to provide captions to what you hear (github.com/bsaleh03)

3 points

4 years ago

416.

Why doesn't Apple provide searchable docs for Swift?

3 points

4 years ago

417.

S3 Storage Provider for Elasticlunr (Elixir) (github.com/heywhy)

3 points

4 years ago

418.

Open-source tool: provision dev containers & staging environments with IDEs (github.com/newsnowlabs)

3 points

5 years ago

419.

Show HN: Dex OIDC Provider for Kubernetes (github.com/coreos)

3 points

9 years ago

420.

Show HN: CloudId – Detect Cloud Provider from Instance Metadata (github.com/appscode)

3 points

9 years ago