Search: github.com/leanote | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

31.

The LeanCreator C/C++ IDE now supports current LLDB versions on Mac and Linux (github.com/rochus-keller)

2 points

3 years ago

32.

LeanQt – Network and Concurrent module release, planned feature set reached (github.com/rochus-keller)

2 points

4 years ago

33.

LeanQt – Widgets are here, in time for the holidays (github.com/rochus-keller)

1 point

3 years ago

34.

Show HN: LeanSpec - Built in 10 days using the specs it defines (github.com/codervisor)

2 points

7 months ago

35.

Show HN: LeanOS–10 AI agents that build and run startup operations autonomously (github.com/BellaBe)

1 point

bellcolor_belka

7 months ago

36.

Image Beast – A script that decides the leanest image format based on browser (github.com/deanhume)

1 point

10 years ago

37.

Show HN: I built a real-time OSINT dashboard pulling 15 live global feeds (github.com/BigBodyCobain)

312 points

vancecookcobxin

3 months ago

38.

Show HN: RowboatX – open-source Claude Code for everyday automations (github.com/rowboatlabs)

131 points

7 months ago

39.

Show HN: Inkeep (YC W23) – Agent Builder to create agents in code or visually (github.com/inkeep)

79 points

8 months ago

40.

Show HN: Fatal Core Dump – A debugging murder mystery played with GDB (robopenguins.com)

68 points

3 months ago

41.

Payload 2.0 released, TypeScript headless CMS and app framework

24 points

3 years ago

42.

Show HN: I Made Bagel Font (bake-ai.com)

15 points

a year ago

43.

Show HN: Dynamically loaded extensions in Postgres in the browser (lantern.dev)

9 points

2 years ago

44.

Bash script to debootstrap a minimal bootable Debian/Ubuntu system

6 points

6 years ago

45.

Show HN: Design architecture using code and visually simulate it in browser (github.com/metz-sh)

5 points

2 years ago

46.

Show HN: Horizon Engine – C++20 3D FPS Game Engine with ECS and Modern Renderer (github.com/jackthepunished)

5 points

5 months ago

47.

Show HN: PyTogether, open-source lightweight real-time Python IDE for teachers (pytogether.org)

5 points

7 months ago

48.

Show HN: A navigable map and recommender for 17M music entities (toposonico.com)

4 points

a month ago

49.

Help Us Create SONOFA (Smaller Object Notation Offering Frequent Advantages)

4 points

11 years ago

50.

Show HN: PyTogether, open-source lightweight real-time Python IDE for learners (pytogether.org)

4 points

8 months ago

51.

Show HN: LAPACK without Fortran77; a C11 translation (github.com/ilayn)

3 points

2 months ago

52.

Show HN: Open-source, lightweight collaborative Python IDE for educators (pytogether.org)

3 points

8 months ago

53.

Show HN: Flaim – pre-trained vision backbones for Flax (github.com/BobMcDear)

3 points

2 years ago

54.

Show HN: TNX API – Natural Language Interaction with Databases, Now Open Source (github.com/StultusEstQuiHocLegit)

2 points

9 months ago

55.

Whats's your preferred Rails 3 split testing framework?

2 points

15 years ago

56.

Show HN: LS Note – Plain text notes in local storage (lsnote.website)

1 point

a year ago

57.

PhysLean: Formalising Physics into Lean 4 (github.com/lean-phys-community)

2 points

4 months ago