Search: github.com/agda | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

991.

Show HN: Fastest Prefix Search and Regex search in Lex Order (github.com/absolutelightning)

6 points

2 years ago

992.

Show HN: Jikken – open-source API testing supporting source control and CI/CD (github.com/jikkenio)

6 points

2 years ago

993.

Show HN: I made a Haskell web-application starter kit using Htmx and AlpineJS (github.com/eldr-io)

6 points

2 years ago

994.

Show HN: Keycheck - Find consistent and conflict-free shortcuts for your app

6 points

2 years ago

995.

Show HN: Netjail – Go package to safely send requests to user-provided URLs (github.com/stealthrocket)

6 points

achille-roussel

2 years ago

996.

Show HN: Open sourcing Restly – GPT-4 powered tutorials from your OpenAPI spec (github.com)

6 points

3 years ago

997.

Show HN: Automatically assemble Windows Sysroots directly from Microsoft (github.com/lorenz)

6 points

3 years ago

998.

Show HN: It's been nearly 50 years. Is SQL outdated? (github.com/SPLWare)

5 points

3 years ago

999.

Show HN: I'm tired of my LLM bullshitting. So I fixed it

5 points

5 months ago

1000.

Show HN: SecretEnv – Run any process with secrets from all your backends (github.com/TechAlchemistX)

5 points

a month ago