Search: github.com/gooli | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

421.

Quint: A specification language based on the temporal logic of actions (TLA)

github.com/informalsystems

3 years ago

110 points

422.

Show HN: Nango – Open unified API for product integrations

3 years ago

106 points

423.

Launch HN: Nullstone (YC W22) – An easier way to deploy and manage cloud apps

3 years ago

105 points

424.

Show HN: Attune - Build and publish APT repositories in seconds

github.com/attunehq

a year ago

102 points

425.

Show HN: A unique generated maze to share with your Valentine

a year ago

100 points

426.

Show HN: MetricFlow – open-source metric framework

github.com/transform-data

4 years ago

98 points

427.

Show HN: Kaytu – Optimizing cloud costs using actual usage data

github.com/kaytu-io

2 years ago

98 points

428.

Show HN: Crust – A CLI framework for TypeScript and Bun

github.com/chenxin-yan

3 months ago

95 points

429.

Show HN: Burr – A framework for building and debugging GenAI apps faster

github.com/DAGWorks-Inc

2 years ago

94 points

430.

Launch HN: Lightly (YC S21): Label only the data which improves your ML model

5 years ago

88 points

431.

Show HN: UpTrain – Open-source ML observability and refinement tool

github.com/uptrain-ai

3 years ago

88 points

432.

Show HN: Opik, an open source LLM evaluation framework

github.com/comet-ml

2 years ago

86 points

433.

Show HN: Broccoli, one shot coding agent on the cloud

github.com/besimple-oss

2 months ago

82 points

434.

Show HN: DBOS TypeScript – Lightweight Durable Execution Built on Postgres

github.com/dbos-inc

a year ago

77 points

435.

Show HN: Tiao, A two-player turn-based board game

2 months ago

77 points

436.

Show HN: ActorCore – Stateful serverless framework that runs anywhere

github.com/rivet-gg

a year ago

77 points

437.

Show HN: Modifying Clang for a Safer, More Explicit C++

github.com/compiler-devel

4 years ago

76 points

438.

Show HN: Single-Header Profiler for C++17

github.com/DmitriBogdanov

a year ago

68 points

439.

Show HN: Fatal Core Dump – A debugging murder mystery played with GDB

robopenguins.com

3 months ago

68 points

440.

Show HN: CallFS – S3-style object store in one Go binary (MIT)

github.com/ebogdum

a year ago

66 points

441.

Show HN: Using LLMs and Embeddings to classify application errors

github.com/highlight

3 years ago

65 points

442.

Show HN: Xmloxide – an agent-made Rust replacement for libxml2

github.com/jonwiggins

4 months ago

64 points

443.

Show HN: Orchest – Data Science Pipelines

6 years ago

64 points

444.

Show HN: AgentKit – JavaScript Alternative to OpenAI Agents SDK with Native MCP

github.com/inngest

a year ago

64 points

445.

Show HN: Fleet – Experimental build tool for Rust that’s up to 5x faster

4 years ago

63 points

446.

Show HN: Touca – a better alternative to snapshot testing

github.com/trytouca

3 years ago

63 points

447.

Show HN: AIConsole, an Open-Source Desktop AI Editor to Customize Your Workflow

3 years ago

61 points

448.

Show HN: Klaw.sh – Kubernetes for AI agents

github.com/klawsh

4 months ago

60 points

449.

Show HN: Container-compose – A Docker-compose like tool for Apple containers

github.com/noghartt

a year ago

59 points

450.

Show HN: Using LLama2 to Correct OCR Errors

github.com/Dicklesworthstone

3 years ago

54 points