Search: github.com/Mythli | Heykuki News

HK

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

2 years ago

1 points

2.

Ninja web browser for Android

github.com/mthli

11 years ago

13 points

3.

Show HN: Copilot-import – Import and run Python directly from GitHub Copilot

github.com/MythicManiac

5 years ago

6 points

4.

Vayu – Rust Powered Productivity

github.com/MythicalCow

2 years ago

4 points

5.

Show HN: MathLife–shapeshifting creatures from simple math

github.com/bdavidzhang

a year ago

alphacentauri42

3 points

6.

Tetanus – Mythic C2 agent targeting Linux and Windows hosts written in Rust

github.com/MythicAgents

4 years ago

1 points

7.

A Python library for importing code directly from GitHub Copilot

github.com/MythicManiac

5 years ago

1 points

8.

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

github.com/mthli

9 years ago

1 points

9.

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

github.com/mthli

10 years ago

1 points

10.

Lean theorem prover mathlib

github.com/leanprover-community

6 months ago

83 points

11.

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

github.com/NVIDIA-RTX

a year ago

1 points

12.

Django based web app which shows high rated competitive programming answers

github.com/shashank-sharma

9 years ago

1 points

13.

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

github.com/yamafaktory

2 months ago

1 points

14.

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

github.com/yamafaktory

2 months ago

1 points

15.

Effectiveengineer.com is content marketing fakenews

8 years ago

10 points

16.

Show HN: Brooks-Lint – AI code reviews grounded in 12 classic engineering books

github.com/hyhmrright

11 days ago

8 points

17.

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

2 months ago

3 points

18.

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

4 months ago

2 points

19.

Show HN: A Jupyter notebook for digging into UK house price data

github.com/henryjcee

2 years ago

1 points

20.

Yet Another Sketch Mirror App for Android

github.com/zhihu

10 years ago

1 points