Search: github.com/programmify | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

1.

Show HN: Builder Lab – Best AI and open-source tools for builders in one place

github.com/programmify

8 months ago

2 points

2.

Show HN: Logiq – A single bot that manages your Discord server end-to-end

github.com/programmify

8 months ago

2 points

3.

Show HN: lpviz – Interactive linear programming visualization in the browser

a day ago

8 points

4.

Show HN: LLMs can generate valid JSON 100% of the time

github.com/normal-computing

3 years ago

854 points

5.

Show HN: Lathe – Use LLMs to learn a new domain, not skip past it

github.com/devenjarvis

15 days ago

402 points

6.

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

github.com/cajal-technologies

4 days ago

105 points

7.

Yon – a topos-oriented language with a content-addressed lattice heap

18 days ago

48 points

8.

Show HN: Topaz – A small application language that compiles through Rust

github.com/studiohaze

4 days ago

5 points

9.

Show HN: Wirewright, an experimental symbolic physics environment

github.com/wirewright

19 hours ago

3 points

10.

Show HN: Baserates.dev, memorize programmer napkin math

18 hours ago

2 points