Search: github.com/pryv | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

391.

Auto-VPN: On-Demand WireGuard VPN servers on popular VPS providers

github.com/g1ibby

a year ago

4 points

392.

Awesome Email: A Collection of Email Providers

github.com/cdransf

3 years ago

4 points

393.

Show HN: A CLI to provision, share, manage local and cloud dev environments

github.com/raiyanyahya

4 years ago

4 points

394.

Programming and Proving in Agda [pdf]

github.com/jespercockx

4 years ago

4 points

395.

Microsoft Secure-Supply-Chain – Improving OSS Provenance

github.com/microsoft

5 years ago

4 points

396.

Netbootd: DHCP, TFTP and HTTP server tailored OS provisioning or PXE booting

github.com/DSpeichert

5 years ago

4 points

397.

OpenACD: Providing a distributed, fault tolerant contact/call center platform

github.com/OpenACD

6 years ago

4 points

398.

EverCrypt: A Verified Crypto Provider

github.com/project-everest

7 years ago

4 points

399.

Zombodb: allow Postgres to use Elasticsearch as an index provider

github.com/zombodb

8 years ago

4 points

400.

Rebel-readline – Provide a better readline experience for Clojure languages

github.com/bhauman

8 years ago

4 points

401.

RediSQL, Redis with SQL capabilities reach v0.2 providing explicit transactions

github.com/RedBeardLab

9 years ago

4 points

402.

Show HN: AnyPanel – Heads up display for OS X to provide at-a-glance information

github.com/atilimcetin

10 years ago

4 points

403.

Java is faster than C in its second run, prove me wrong

github.com/Osiris-Team

2 years ago

3 points

404.

I built an open-source AI Gateway that sits between your apps and LLM providers

github.com/DatanoiseTV

4 months ago

3 points

405.

Bmc4j – Prove your Java/Kotlin code correct from jUnit style tests

github.com/bmc4j

18 days ago

3 points

406.

I Had to Build a Cryptographic Audit Trail Just to Prove I Wrote My Own Code

github.com/jaysyrk

a month ago

3 points

407.

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

9 months ago

3 points

408.

Show HN: I'm 6 months late, but I made a Natural Language theorem prover

github.com/ArnavAgrawal03

a year ago

3 points

409.

Show HN: A simple method to prove ownership and authenticity of digital media

github.com/pushpendre

5 years ago

3 points

410.

I built an AI crypto trading bot, then proved it had no edge

github.com/blitzcrieg1

6 days ago

3 points

411.

Show HN: WordPress WebSocket Relay in Rust with Yjs CRDT Provider for WP 7.0

2 months ago

3 points

412.

OPP – An open protocol for AI image provenance that survives screenshots

github.com/HumanLemming996

4 months ago

3 points

413.

Show HN: LLMSwap – Switch between LLM providers with one line of code

github.com/sreenathmmenon

6 months ago

3 points

414.

Structllm – structured output support to any LLM provider

github.com/piotrmaciejbednarski

a year ago

3 points

415.

Show HN: I made PeanoScript, an educational TypeScript-like theorem prover

peanoscript.mjgrzymek.com

a year ago

3 points

416.

LLMs as Copilots for Theorem Proving in Lean

github.com/lean-dojo

3 years ago

3 points

417.

Langport-A self-hosted LLM serving platform that provides OpenAI-compatible APIs

github.com/vtuber-plan

3 years ago

3 points

418.

Display the support an organization has provided to open-source in GitHub

github.com/orgs

3 years ago

3 points

419.

Show HN: A home built heads up display to provide captions to what you hear

github.com/bsaleh03

4 years ago

3 points

420.

Why doesn't Apple provide searchable docs for Swift?

4 years ago

3 points