Search: github.com/Mythli | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

1.

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

1 point

2 years ago

2.

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

13 points

11 years ago

3.

Show HN: Copilot-import – Import and run Python directly from GitHub Copilot (github.com/MythicManiac)

6 points

5 years ago

4.

Vayu – Rust Powered Productivity (github.com/MythicalCow)

4 points

2 years ago

5.

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

3 points

alphacentauri42

a year ago

6.

Tetanus – Mythic C2 agent targeting Linux and Windows hosts written in Rust (github.com/MythicAgents)

1 point

4 years ago

7.

A Python library for importing code directly from GitHub Copilot (github.com/MythicManiac)

1 point

5 years ago

8.

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

1 point

9 years ago

9.

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

1 point

10 years ago

10.

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

83 points

6 months ago

11.

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

1 point

a year ago

12.

Django based web app which shows high rated competitive programming answers (github.com/shashank-sharma)

1 point

9 years ago

13.

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

1 point

2 months ago

14.

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

1 point

2 months ago

15.

Effectiveengineer.com is content marketing fakenews

10 points

8 years ago

16.

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

3 points

2 months ago

17.

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

2 points

3 months ago

18.

Show HN: A Jupyter notebook for digging into UK house price data (github.com/henryjcee)

1 point

2 years ago

19.

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

1 point

10 years ago