Search: github.com/agda | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

661.

Show HN: Layerform – Open-source development environments using Terraform files

github.com/ergomake

3 years ago

124 points

662.

Launch HN: Cactus (YC S25) – AI inference on smartphones

github.com/cactus-compute

9 months ago

123 points

663.

Launch HN: Artie (YC S23) – Real time data replication to data warehouses

3 years ago

123 points

664.

Launch HN: Slauth (YC S22) – auto-generate secure IAM policies for AWS and GCP

3 years ago

122 points

665.

Tell HN: Cloudflare Is Blocking Firefox Forks Waterfox Classic and Pale Moon

4 years ago

122 points

666.

Show HN: Rocky – Rust SQL engine with branches, replay, column lineage

github.com/rocky-data

2 months ago

122 points

667.

Show HN: Pipelex – Declarative language for repeatable AI workflows

github.com/Pipelex

8 months ago

122 points

668.

Show HN: Agent-of-empires: OpenCode and Claude Code session manager

github.com/njbrake

5 months ago

118 points

669.

Show HN: Find Hidden Gems on HN

10 months ago

118 points

670.

Show HN: ArchGW – An intelligent edge and service proxy for agents

github.com/katanemo

a year ago

honorable_coder

118 points

671.

Show HN: Dlt – Python library to automate the creation of datasets

colab.research.google.com

3 years ago

114 points

672.

Show HN: We built an open-source LaunchDarkly alternative for B2Bs

3 years ago

114 points

673.

Launch HN: Metriport (YC S22) – Open-source API for healthcare data exchange

2 years ago

112 points

674.

Show HN: DIY virtual HDMI monitor using "AR" glasses

github.com/mgschwan

a year ago

112 points

675.

Show HN: I made a local development, debugging and hotreload tool for AWS Lambda

github.com/thundra-io

4 years ago

111 points

676.

Show HN: Epsilla – Open-source vector database with low query latency

github.com/epsilla-cloud

3 years ago

111 points

677.

Launch HN: Dataform (YC W18) – Build Reliable SQL Data Pipelines as a Team

7 years ago

110 points

678.

Ask HN: Would issue “bounties” make contributing to open source more appealing?

5 years ago

108 points

679.

Show HN: We built a tool that automatically generates API tests

4 years ago

108 points

680.

Launch HN: Berbix (YC S18) – Instant ID checks to fight fraud and stay compliant

7 years ago

106 points

681.

Show HN: Alien – Self-hosting with remote management (written in Rust)

2 months ago

106 points

682.

Show HN: Talos – Open-source WASM interpreter for Lean

github.com/cajal-technologies

6 days ago

106 points

683.

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

3 years ago

105 points

684.

Launch HN: Patchwork (YC S24) – Automatically add structured logs to your code

2 years ago

104 points

685.

Show HN: I built a Hacker News userscript to make this site more legible

github.com/mgladdish

4 years ago

midenginedcoupe

102 points

686.

Tell HN: If your HN submission doesn't get any upvotes, don't worry about it

11 years ago

99 points

687.

Show HN: Agent-desktop – Native desktop automation CLI for AI agents

github.com/lahfir

2 months ago

99 points

688.

Show HN: Coasts – Containerized Hosts for Agents

github.com/coast-guard

3 months ago

99 points

689.

Show HN: AI memory with biological decay (52% recall)

github.com/sachitrafa

2 months ago

98 points

690.

Show HN: machine0 – Persistent NixOS VMs You Control from the CLI

9 days ago

96 points