Search: github.com/agda | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

661.

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

122 points

4 years ago

662.

Show HN: Rocky – Rust SQL engine with branches, replay, column lineage (github.com/rocky-data)

122 points

a month ago

663.

Show HN: Pipelex – Declarative language for repeatable AI workflows (github.com/Pipelex)

122 points

7 months ago

664.

Show HN: Agent-of-empires: OpenCode and Claude Code session manager (github.com/njbrake)

118 points

5 months ago

665.

Show HN: Find Hidden Gems on HN (pj4533.com)

118 points

9 months ago

666.

Show HN: ArchGW – An intelligent edge and service proxy for agents (github.com/katanemo)

118 points

honorable_coder

a year ago

667.

Show HN: Dlt – Python library to automate the creation of datasets (colab.research.google.com)

114 points

3 years ago

668.

Show HN: We built an open-source LaunchDarkly alternative for B2Bs (enrolla.io)

114 points

3 years ago

669.

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

112 points

2 years ago

670.

Show HN: DIY virtual HDMI monitor using "AR" glasses (github.com/mgschwan)

112 points

a year ago

671.

Show HN: I made a local development, debugging and hotreload tool for AWS Lambda (github.com/thundra-io)

111 points

4 years ago

672.

Show HN: Epsilla – Open-source vector database with low query latency (github.com/epsilla-cloud)

111 points

3 years ago

673.

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

110 points

7 years ago

674.

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

108 points

5 years ago

675.

Show HN: We built a tool that automatically generates API tests (stepci.com)

108 points

4 years ago

676.

Show HN: Open-source .docx editor library for building document apps (github.com/eigenpal)

107 points

18 days ago

677.

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

106 points

7 years ago

678.

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

106 points

2 months ago

679.

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

105 points

3 years ago

680.

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

104 points

2 years ago

681.

Show HN: I built a Hacker News userscript to make this site more legible (github.com/mgladdish)

102 points

midenginedcoupe

3 years ago

682.

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

99 points

11 years ago

683.

Show HN: Agent-desktop – Native desktop automation CLI for AI agents (github.com/lahfir)

99 points

a month ago

684.

Show HN: Coasts – Containerized Hosts for Agents (github.com/coast-guard)

99 points

2 months ago

685.

Show HN: AI memory with biological decay (52% recall) (github.com/sachitrafa)

98 points

a month ago

686.

Anyone else thinks that Whiteboard interview is just covered ageism?

95 points

7 years ago

687.

Show HN: MonkeyPatch – Cheap, fast and predictable LLM functions in Python (github.com/monkeypatch)

95 points

3 years ago

688.

Show HN: I wrote a partial re-implementation of DirectMusic (github.com/GothicKit)

91 points

2 years ago

689.

Show HN: Safe-NPM – only install packages that are +90 days old (github.com/kevinslin)

90 points

6 months ago

690.

Tell HN: Apple rejecting cross platform apps (React Native, Flutter, Capacitor)

90 points

4 years ago