Search: github.com/mrl5 | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

1.

Show HN: Vulner – discover CVEs for packages installed by the portage (github.com/mrl5)

4 points

4 years ago

2.

Show HN: Agents Council – Connect Claude, Codex, and Local Agents via MCP (github.com/MrLesk)

3 points

5 months ago

3.

Show HN: Turn your home into VR laser tag (youtube.com)

2 points

4 years ago

4.

Backlog.md – Markdown‑native Task Manager and Kanban visualizer for any Git repo (github.com/MrLesk)

254 points

a year ago

5.

F# RISC-V Instruction Set formal specification (github.com/mrLSD)

134 points

3 years ago

6.

F# RISC-V Instruction Set Formal Specification (github.com/mrLSD)

122 points

7 years ago

7.

Custom Semantic Analyzer library written Rust lang (github.com/mrLSD)

19 points

2 years ago

8.

Show HN: mlut – Atomic CSS toolkit with Sass and ergonomics (github.com/mr150)

9 points

2 years ago

9.

Swift EVM (Ethereum Virtual Machine) new release v0.5.13 (github.com/mrLSD)

2 points

a year ago

10.

Rust library semantic-analyzer-rs for creating subset of compilers (github.com/mrLSD)

2 points

3 years ago

11.

New open source F# RISC-V ISA formal specification and CPU simulation (github.com/mrLSD)

2 points

7 years ago

12.

mlut – Atomic CSS toolkit with Sass and ergonomics for styles of any complexity (github.com/mr150)

1 point

2 years ago

13.

Revisiting some JavaScript I wrote to manage buffs/gear/stats/data in games (github.com/MrLeap)

1 point

3 years ago

14.

BankFan: tweet like Bank of America (github.com/mrluc)

1 point

13 years ago

15.

Show HN: I made a web component for writing keyboard layout tours (github.com/mrled)

1 point

a year ago

16.

IPCC-downloader: download iOS cellular carrier profiles (github.com/mrlnc)

1 point

a year ago

17.

Next Generation of ml5.js (github.com/ml5js)

1 point

2 years ago

18.

OpenTTY – A Terminal Emulator for J2ME Phones (github.com/mrlima4095)

1 point

2 years ago

19.

F# RISC-V Instruction Set Formal Specification (github.com/mrLSD)

1 point

7 years ago

20.

Show HN: Mlut – Tailwind CSS alternative for custom websites and creative coding (mlut.style)

5 points

3 months ago

21.

Show HN: MetaTrader 5 in Windows via Docker and QEMU/KVM with a REST API (github.com/psyb0t)

1 point

metadescription

3 months ago

22.

Python setuptools v50 breaks pip installation on Debian/Ubuntu (github.com/pypa)

97 points

6 years ago

23.

A Complete Machine Learning Package (github.com/Nyandwi)

4 points

5 years ago

24.

How to <execute high level action via CLI> (github.com/adri1wald)

3 points

2 years ago

25.

GPT Engineer (github.com/AntonOsika)

3 points

3 years ago

26.

A mathematical model for the effect on fake news (github.com/dmmeier)

2 points

8 years ago

27.

Show HN: intelliPaste – Paste clipboard URLs as shortened links (github.com/LucasHMS)

2 points

9 years ago

28.

Sisyphus: high-performance data processing framework (github.com/Titousensei)

2 points

13 years ago

29.

Lkbm: LED-Key BitMasks to Control the Ploopy Nano Trackball (github.com/qmk)

2 points

2 years ago

30.

Back-End Developer Interview Questions (github.com/arialdomartini)

2 points

8 years ago