Search: github.com/mthli | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

1.

Ninja web browser for Android (github.com/mthli)

13 points

11 years ago

2.

App Mount, mount/umount apps that you don't like on Android, without root (github.com/mthli)

1 point

9 years ago

3.

Knife, a rich text editor component for writing documents in Android (github.com/mthli)

1 point

10 years ago

4.

Yet Another Sketch Mirror App for Android (github.com/zhihu)

1 point

10 years ago

5.

Java implementation of a quantum computing resistant cryptographic algorithm (github.com/mthiim)

267 points

3 years ago

6.

Show HN: MathLife–shapeshifting creatures from simple math (github.com/bdavidzhang)

3 points

alphacentauri42

a year ago

7.

Show HN: Hack Your Brain with Bash (github.com/Mythli)

1 point

2 years ago

8.

Lean theorem prover mathlib (github.com/leanprover-community)

83 points

6 months ago

9.

MathLib: Cross-platform header-only SSE/AVX/NEON-accelerated math library (github.com/NVIDIA-RTX)

1 point

a year ago

10.

Show HN: Formal – LLM-driven property checker backed by Lean 4 and Mathlib (github.com/yamafaktory)

1 point

2 months ago

11.

Show HN: Formal – LLM-driven property checker, backed by Lean 4 and Mathlib (github.com/yamafaktory)

1 point

2 months ago

12.

Show HN: Provepy – A Python decorator that proves your code using Lean and LLMs

3 points

2 months ago

13.

Show HN: OxiLean – Pure Rust Interactive Theorem Prover (Zero C Deps, WASM)

2 points

3 months ago

14.

Signal won't support M1 Macs anytime soon (github.com/signalapp)

5 points

5 years ago

15.

Ethereum Reading List (github.com/Scanate)

44 points

9 years ago

16.

Crowdsourced Ethereum Reading List (github.com/Scanate)

5 points

9 years ago

17.

EthList – The Comprehensive Ethereum Reading List (github.com/Scanate)

2 points

9 years ago

18.

Show HN: Dump Shadowsocks Credentials from NthLink (github.com/Snawoot)

3 points

4 years ago