Search: github.com/mthli | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

1.

Ninja web browser for Android

github.com/mthli

11 years ago

13 points

2.

App Mount, mount/umount apps that you don't like on Android, without root

github.com/mthli

9 years ago

1 points

3.

Knife, a rich text editor component for writing documents in Android

github.com/mthli

10 years ago

1 points

4.

Yet Another Sketch Mirror App for Android

github.com/zhihu

10 years ago

1 points

5.

Java implementation of a quantum computing resistant cryptographic algorithm

github.com/mthiim

3 years ago

267 points

6.

Show HN: MathLife–shapeshifting creatures from simple math

github.com/bdavidzhang

a year ago

alphacentauri42

3 points

7.

Show HN: Hack Your Brain with Bash

github.com/Mythli

2 years ago

1 points

8.

Lean theorem prover mathlib

github.com/leanprover-community

6 months ago

83 points

9.

MathLib: Cross-platform header-only SSE/AVX/NEON-accelerated math library

github.com/NVIDIA-RTX

a year ago

1 points

10.

Show HN: Formal – LLM-driven property checker backed by Lean 4 and Mathlib

github.com/yamafaktory

2 months ago

1 points

11.

Show HN: Formal – LLM-driven property checker, backed by Lean 4 and Mathlib

github.com/yamafaktory

2 months ago

1 points

12.

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

2 months ago

3 points

13.

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

4 months ago

2 points

14.

Signal won't support M1 Macs anytime soon

github.com/signalapp

5 years ago

5 points

15.

Impulse Tracker source code now available on GitHub

github.com/jthlim

2 years ago

200 points

16.

Ethereum Reading List

github.com/Scanate

9 years ago

44 points

17.

Crowdsourced Ethereum Reading List

github.com/Scanate

9 years ago

5 points

18.

The Comprehensive Ethereum Reading List

github.com/Scanate

9 years ago

5 points

19.

EthList: The Crowdsourced Ethereum Reading List

github.com/Scanate

9 years ago

3 points

20.

EthList – The Comprehensive Ethereum Reading List

github.com/Scanate

9 years ago

2 points

21.

Show HN: Dump Shadowsocks Credentials from NthLink

github.com/Snawoot

4 years ago

3 points