Search: github.com/pryv | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

451.

Boot manager RefindPlus is a fork of rEFInd that provides extended functionality

github.com/RefindPlusRepo

6 months ago

3 points

452.

Supra Aeon Story with Agda Proof and Provisional Appendix

github.com/GoodRoyal

7 months ago

3 points

453.

Show HN: LLM-models – a CLI tool to list available LLM models across providers

github.com/ljbuturovic

7 months ago

3 points

454.

Show HN: A DevTools MCP that provides matched CSS rules

github.com/devtoolcss

7 months ago

3 points

455.

CC Switch: Claude Code and Codex Provider Switcher

github.com/farion1231

7 months ago

3 points

456.

OpenBench: Provider-agnostic, open-source evaluation infrastructure for LLMs

github.com/groq

8 months ago

3 points

457.

TailscaleKit: Swift package providing an embedded network interface

github.com/tailscale

9 months ago

3 points

458.

Mainstream Websites that Provide Onion Services

github.com/alecmuffett

10 months ago

3 points

459.

Typed-arrow: provides compile‑time Arrow schemas for Rust

github.com/tonbo-io

10 months ago

3 points

460.

Provider-agnostic, open-source evaluation infra for LLMs

github.com/groq

a year ago

3 points

461.

Show HN: CLI tool for discovering AMD compute resources from multiple providers

github.com/modelturnedgeek

a year ago

3 points

462.

Z3 Theorem Prover

github.com/Z3Prover

a year ago

3 points

463.

DeepSeek R1 speed benchmark across different providers

github.com/paradite

a year ago

3 points

464.

Show HN: Manage LLM providers while factoring in Cost and Speed

github.com/Lytix-Labs

2 years ago

3 points

465.

RSAF: Android Storage Access Framework document provider for rclone

github.com/chenxiaolong

2 years ago

3 points

466.

Proving with Coq the 5th Busy Beaver number, BB(5)=47,176,870

github.com/ccz181078

2 years ago

3 points

467.

Show HN: CaptureFlow – Provide LLM with debugger-level context of your app

github.com/CaptureFlow

2 years ago

3 points

468.

List of projects that provide terminal user interfaces

github.com/rothgar

2 years ago

3 points

469.

Show HN: AI Proxy with support for multiple providers, caching

github.com/braintrustdata

3 years ago

3 points

470.

AKS Karpenter Provider

github.com/Azure

3 years ago

3 points

471.

Show HN: Theoriz3r, minimal proof of concept exploratory theorem prover

github.com/tsvibt

3 years ago

3 points

472.

A lightweight Golang generics library that provides Map, Reduce and more

github.com/suchen-sci

3 years ago

3 points

473.

Open-source webhook server that helps you provide webhooks to your users

github.com/hook0

3 years ago

3 points

474.

Cosmos: Reverse-Proxy, Authenticator, Container Manager, Identity Provider

github.com/azukaar

3 years ago

3 points

475.

GitHub sends my hardcoded secrets to providers when Secret Scanning is disabled

github.com/orgs

3 years ago

3 points

476.

Postgres extension that provides vector similarity search functions in Rust

github.com/tensorchord

3 years ago

3 points

477.

CloudShift: Tool for migrating object storage between cloud providers

github.com/oslabs-beta

3 years ago

3 points

478.

VPN client in a thin Docker container for multiple VPN providers

github.com/qdm12

3 years ago

3 points

479.

Show HN: An Automated Theorem Proving library inspired by a book by Harrison

github.com/aetilley

3 years ago

3 points

480.

Constellation Kubernetes engine aims to provide best possible data security

github.com/edgelesssys

4 years ago

3 points