Search: github.com/glean | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

481.

Show HN: mac-cleanup-go – an interactive macOS cleanup tool (github.com/2ykwang)

4 points

5 months ago

482.

Show HN: AI-clean – strip unwanted formatting from text copied out of AI CLIs (ai-clean.dev)

3 points

a month ago

483.

Ask HN: Why isn't rspec the default in Rails 5?

1 point

10 years ago

484.

Show HN: Chrome extension for Gmail/Workspace users to alias emails at signup (zaai.com)

1 point

a month ago

485.

Intel Management Engine cleaner (github.com/corna)

223 points

9 years ago

486.

LeanQt – GUI is here, Widgets are near (github.com/rochus-keller)

132 points

4 years ago

487.

Show HN: LeanCreator – a stripped-down QtCreator for C/C++, LeanQt and BUSY (github.com/rochus-keller)

111 points

3 years ago

488.

Propositional logic exercises with the lean theorem prover (github.com/ImperialCollegeLondon)

54 points

5 years ago

489.

Discharging Lean goals into SMT solvers (github.com/ufmg-smite)

52 points

2 years ago

490.

LeanQt – a stripped-down Qt version easy to build from source and to inte (cont) (github.com/rochus-keller)

45 points

4 years ago

491.

ATLAS: Autoformalized Textbook Library At Scale (github.com/facebookresearch)

32 points

10 days ago

492.

Intel ME Cleaner (github.com/corna)

31 points

a year ago

493.

Docker-Clean: A script that cleans docker containers, images, and volumes (github.com/zzrotdesign)

13 points

10 years ago

494.

Show HN: Cleanup – UI app to erase the hard disk (Lite Touch MDT installation) (github.com/cregx)

11 points

4 years ago

495.

Show HN: A Jest Reporter to group, hide and prettify spammy console warnings (github.com/jevakallio)

10 points

5 years ago

496.

Show HN: brew-cleaner – CLI to bulk uninstall Homebrew formulae and free space (github.com/HarshBhatia)

7 points

9 months ago

497.

Show HN: LeanQt – a stripped-down, adaptable Qt easy to build and to integrate (github.com/rochus-keller)

7 points

4 years ago

498.

LEANN is an innovative vector database that democratizes personal AI (github.com/yichuan-w)

6 points

10 months ago

499.

Intel ME cleaner (github.com/corna)

6 points

9 years ago

500.

Show HN: LeanQt Widgets, item and graphic views – GUI feature complete (github.com/rochus-keller)

5 points

3 years ago

501.

Show HN: Simple terminal UI for cleaning macOS (github.com/2ykwang)

5 points

4 months ago

502.

Leann – Claude Code–compatible semantic search with 97% smaller vector index (github.com/yichuan-w)

5 points

10 months ago

503.

Show HN: A macOS cleanup tool with a terminal UI (github.com/2ykwang)

4 points

5 months ago

504.

First lightweight local semantic search MCP for Claude Code (github.com/yichuan-w)

4 points

10 months ago

505.

Docker Cleanup Script for Linux Users (github.com/itayeylath)

3 points

2 years ago

506.

Show HN: I built a Go TUI to clean dev caches on macOS (github.com/2ykwang)

3 points

5 months ago

507.

Show HN: Screen-clean: automatically clean up screenshots from your Mac Desktop (github.com/ryanatallah)

3 points

8 years ago

508.

Image inpainting tool powered by SOTA AI Model (github.com/Sanster)

3 points

3 years ago

509.

Lama-cleaner: Image inpainting tool powered by SOTA AI Model (github.com/Sanster)

3 points

4 years ago

510.

LeanQt (github.com/rochus-keller)

3 points

4 years ago