Search: github.com/glean | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

661.

Lean Book: The Hitchhiker's Guide to Logical Verification [pdf]

github.com/blanchette

6 years ago

177 points

662.

Eisvogel: A clean pandoc LaTeX template with a focus on computer science

github.com/Wandmalfarbe

7 years ago

164 points

663.

Argon – a clean, responsive, modern template for Dokuwiki

github.com/IceWreck

6 years ago

144 points

664.

Show HN: DropCSS – A simple, thorough and fast unused-CSS cleaner

github.com/leeoniya

7 years ago

134 points

665.

Ongoing Lean formalization of the proof for Fermat's Last Theorem

github.com/ImperialCollegeLondon

a year ago

127 points

666.

Show HN: Develop your Python applications easily in clean Docker environments

github.com/macostea

9 years ago

119 points

667.

Valetudo – Free your vacuum cleaner from the cloud

github.com/Hypfer

3 years ago

110 points

668.

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

github.com/cajal-technologies

7 days ago

106 points

669.

The IPv4 Cleanup Project

github.com/schoen

5 years ago

86 points

670.

Show HN: Keep your bookmarks clean and up-to-date

github.com/samueldobbie

4 years ago

83 points

671.

Rust clean-slate POSIX CLI utilities 0.2.1 release: Awk, M4, ftw and more

github.com/rustcoreutils

2 years ago

80 points

672.

Show HN: Get clean readable content from any webpage

github.com/bndr

12 years ago

80 points

673.

Capsule Network tutorial with clean readable code in Pytorch

github.com/higgsfield

8 years ago

76 points

674.

My Git history was a mess of 'update' and 'fix' – so I made AI clean it up

7 months ago

68 points

675.

A clean implementation based on AlphaZero for any game in any framework

github.com/suragnair

8 years ago

68 points

676.

Show HN: Bash Script to Install a Webserver and PHP on a Clean OS

github.com/fastsitephp

6 years ago

62 points

677.

Can Servo be a clean and modern reference platform for developers?

github.com/servo

11 years ago

62 points

678.

A simple, clean and cross-platform music player

github.com/martpie

4 years ago

50 points

679.

Show HN: Data Bonsai: a Python package to clean your data with LLMs

github.com/databonsai

2 years ago

47 points

680.

Show HN: A cleaner alternative to the “Fork Me on GitHub” ribbon

github.com/tholman

11 years ago

45 points

681.

Memory-safe, clean implementation of classic Posix "BC" calculator

github.com/rustcoreutils

2 years ago

33 points

682.

Mole – Deep clean and optimize your Mac

github.com/tw93

3 months ago

33 points

683.

Show HN: zxpy, a cleaner version of Google's zx

github.com/tusharsadhwani

5 years ago

30 points

684.

Show HN: Automatic cleanup in C using with-statements

github.com/taeber

6 years ago

28 points

685.

Show HN: Mosaic – A Kotlin framework for cleaner back end code

github.com/Nick-Abbott

9 months ago

25 points

686.

Show HN: LLMFeeder – Browser extension to extract clean content for LLM context

github.com/jatinkrmalik

a year ago

23 points

687.

Openrsync – a clean-room implementation of rsync with a BSD (ISC) license

github.com/kristapsdz

7 years ago

21 points

688.

One rusty Awk: Memory-safe, clean slate implementation of Awk

github.com/rustcoreutils

2 years ago

21 points

689.

Show HN: YoBulk AI – Open Source React SDK for data cleansing

3 years ago

20 points

690.

Show HN: SemHash – Fast Semantic Text Deduplication for Cleaner Datasets

github.com/MinishLab

a year ago

19 points