Search: github.com/glean | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

481.

Ask HN: How to structure Rust, Axum, and SQLx for clean architecture?

2 years ago

9 points

482.

Complete Removal of Intel Me Possible on Certain Intel HEDT/Server Platforms

7 years ago

8 points

483.

Show HN: mac-cleanup-go – an interactive macOS cleanup tool

github.com/2ykwang

6 months ago

4 points

484.

Show HN: AI-clean – strip unwanted formatting from text copied out of AI CLIs

2 months ago

3 points

485.

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

10 years ago

1 points

486.

Show HN: Chrome extension for Gmail/Workspace users to alias emails at signup

2 months ago

1 points

487.

Intel Management Engine cleaner

github.com/corna

9 years ago

223 points

488.

LeanQt – GUI is here, Widgets are near

github.com/rochus-keller

4 years ago

132 points

489.

Show HN: LeanCreator – a stripped-down QtCreator for C/C++, LeanQt and BUSY

github.com/rochus-keller

3 years ago

111 points

490.

Propositional logic exercises with the lean theorem prover

github.com/ImperialCollegeLondon

5 years ago

54 points

491.

Discharging Lean goals into SMT solvers

github.com/ufmg-smite

2 years ago

52 points

492.

LeanQt – a stripped-down Qt version easy to build from source and to inte (cont)

github.com/rochus-keller

4 years ago

45 points

493.

ATLAS: Autoformalized Textbook Library At Scale

github.com/facebookresearch

a month ago

32 points

494.

Intel ME Cleaner

github.com/corna

2 years ago

31 points

495.

Docker-Clean: A script that cleans docker containers, images, and volumes

github.com/zzrotdesign

10 years ago

13 points

496.

Show HN: Cleanup – UI app to erase the hard disk (Lite Touch MDT installation)

github.com/cregx

4 years ago

11 points

497.

Show HN: A Jest Reporter to group, hide and prettify spammy console warnings

github.com/jevakallio

5 years ago

10 points

498.

Show HN: brew-cleaner – CLI to bulk uninstall Homebrew formulae and free space

github.com/HarshBhatia

10 months ago

7 points

499.

Show HN: LeanQt – a stripped-down, adaptable Qt easy to build and to integrate

github.com/rochus-keller

4 years ago

7 points

500.

LEANN is an innovative vector database that democratizes personal AI

github.com/yichuan-w

10 months ago

6 points

501.

Intel ME cleaner

github.com/corna

9 years ago

6 points

502.

Show HN: LeanQt Widgets, item and graphic views – GUI feature complete

github.com/rochus-keller

4 years ago

5 points

503.

Show HN: Simple terminal UI for cleaning macOS

github.com/2ykwang

5 months ago

5 points

504.

Leann – Claude Code–compatible semantic search with 97% smaller vector index

github.com/yichuan-w

a year ago

5 points

505.

Show HN: A macOS cleanup tool with a terminal UI

github.com/2ykwang

5 months ago

4 points

506.

First lightweight local semantic search MCP for Claude Code

github.com/yichuan-w

10 months ago

4 points

507.

Docker Cleanup Script for Linux Users

github.com/itayeylath

2 years ago

3 points

508.

Show HN: I built a Go TUI to clean dev caches on macOS

github.com/2ykwang

5 months ago

3 points

509.

Show HN: Screen-clean: automatically clean up screenshots from your Mac Desktop

github.com/ryanatallah

8 years ago

3 points

510.

Image inpainting tool powered by SOTA AI Model

github.com/Sanster

3 years ago

3 points