Search: github.com/pryv | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

451.

Provider-agnostic, open-source evaluation infra for LLMs (github.com/groq)

3 points

10 months ago

452.

Show HN: CLI tool for discovering AMD compute resources from multiple providers (github.com/modelturnedgeek)

3 points

a year ago

453.

Z3 Theorem Prover (github.com/Z3Prover)

3 points

a year ago

454.

DeepSeek R1 speed benchmark across different providers (github.com/paradite)

3 points

a year ago

455.

Show HN: Manage LLM providers while factoring in Cost and Speed (github.com/Lytix-Labs)

3 points

2 years ago

456.

RSAF: Android Storage Access Framework document provider for rclone (github.com/chenxiaolong)

3 points

2 years ago

457.

Proving with Coq the 5th Busy Beaver number, BB(5)=47,176,870 (github.com/ccz181078)

3 points

2 years ago

458.

Show HN: CaptureFlow – Provide LLM with debugger-level context of your app (github.com/CaptureFlow)

3 points

2 years ago

459.

List of projects that provide terminal user interfaces (github.com/rothgar)

3 points

2 years ago

460.

Show HN: AI Proxy with support for multiple providers, caching (github.com/braintrustdata)

3 points

3 years ago

461.

AKS Karpenter Provider (github.com/Azure)

3 points

3 years ago

462.

Show HN: Theoriz3r, minimal proof of concept exploratory theorem prover (github.com/tsvibt)

3 points

3 years ago

463.

A lightweight Golang generics library that provides Map, Reduce and more (github.com/suchen-sci)

3 points

3 years ago

464.

Open-source webhook server that helps you provide webhooks to your users (github.com/hook0)

3 points

3 years ago

465.

Cosmos: Reverse-Proxy, Authenticator, Container Manager, Identity Provider (github.com/azukaar)

3 points

3 years ago

466.

GitHub sends my hardcoded secrets to providers when Secret Scanning is disabled (github.com/orgs)

3 points

3 years ago

467.

Postgres extension that provides vector similarity search functions in Rust (github.com/tensorchord)

3 points

3 years ago

468.

CloudShift: Tool for migrating object storage between cloud providers (github.com/oslabs-beta)

3 points

3 years ago

469.

VPN client in a thin Docker container for multiple VPN providers (github.com/qdm12)

3 points

3 years ago

470.

Show HN: An Automated Theorem Proving library inspired by a book by Harrison (github.com/aetilley)

3 points

3 years ago

471.

Constellation Kubernetes engine aims to provide best possible data security (github.com/edgelesssys)

3 points

4 years ago

472.

List of Hosting Providers compatible with Node.js (github.com/joyent)

3 points

15 years ago

473.

Candado: Global lock service providing synchronization for distributed systems (github.com/GoodJobTech)

3 points

4 years ago

474.

Show HN: Unidata – Providing Easy Access to Human-Friendly Web3 Data (unidata.app)

3 points

4 years ago

475.

VS Code: Provide API to access and change editor tab labels (github.com/microsoft)

3 points

4 years ago

476.

Wordle Pulumi Provider (github.com/AaronFriel)

3 points

4 years ago

477.

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

3 points

5 years ago

478.

FastUUID is a library which provides CPython bindings to Rust's UUID library (github.com/thedrow)

3 points

5 years ago

479.

A sudoku game where you have to prove that your deductions are valid (github.com/TwoFX)

3 points

6 years ago

480.

Automate Bare-Metal Provisioning

3 points

7 years ago