Search: github.com/magmide | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

1.

Make formal verification and provably correct software practical and mainstream (github.com/magmide)

204 points

4 years ago

2.

Show HN: Electrobillion, a city builder game where you build the power grid (evrimzone.itch.io)

4 points

2 years ago

3.

Show HN: Magpie – my self-hosted replacement for Google/Yahoo email aggregation (github.com/FynleyMsg)

3 points

4 months ago

4.

Show HN: Pscan – a macOS menu bar app to monitor your localhost ports

3 points

2 months ago

5.

Show HN: Marmite – Zero-config static site generator (github.com/rochacbruno)

112 points

2 years ago

6.

Matminer: Data Mining for Materials Science (github.com/hackingmaterials)

20 points

7 years ago

7.

Magpie – OSS CSPM and non-native service enumeration (github.com/openraven)

5 points

5 years ago

8.

Magpie – Open-Source CSPM (github.com/openraven)

4 points

5 years ago

9.

Digital Gardening (github.com/MaggieAppleton)

4 points

6 years ago

10.

Show HN: Py-library that allows you to manage Supabase through pydantic models (github.com/makridenko)

3 points

2 years ago

11.

A Mac menu bar app that displays the CPU speed limit due to thermal issues (github.com/macmade)

3 points

5 years ago

12.

Digital-gardeners: Resources and ideas for gardeners tending their digital notes (github.com/MaggieAppleton)

3 points

6 years ago

13.

MacOS Keychain Cracker (github.com/macmade)

3 points

9 years ago

14.

MacOS keychain cracking tool (github.com/macmade)

3 points

9 years ago

15.

Exconf – Simplistic multi-environment multi-service configuration tool (github.com/maginetv)

3 points

9 years ago

16.

AWS Lambda Custom Runtime for Free Pascal / Delphi (github.com/macmike)

2 points

peter_d_sherman

6 years ago

17.

WOOPS - php framework (github.com/macmade)

2 points

15 years ago

18.

MFA guides (github.com/FernandoMiguel)

2 points

8 years ago

19.

Maggie.js – Get precious image info from an input file (github.com/zzarcon)

2 points

10 years ago

20.

[Android]RecyclerItemDecoration-ItemDecoration for RecyclerView (github.com/magiepooh)

1 point

11 years ago

21.

Fast C++ delegates implementation (github.com/mamedev)

1 point

10 years ago

22.

Show HN: Magpie – I built a CLI where AIs argue about my code

2 points

4 months ago

23.

Show HN: Crystal Maiden Discord Bot (github.com/rahuldshetty)

11 points

3 years ago

24.

Show HN: Magpie – Fight AI sycophancy in code review with multi-model debate (github.com/liliu-z)

1 point

3 months ago

25.

Erlang On Xen returns its maiden name Ling ang goes Open Source erlangonxen.org (github.com/cloudozer)

7 points

12 years ago

26.

Launch HN: Browser Use (YC W25) – open-source web agents (github.com/browser-use)

259 points

a year ago

27.

Show HN: Zoneless – Open-source Stripe Connect clone with $0.002 fees using USDC (github.com/zonelessdev)

15 points

2 months ago

28.

Started as a simple GitHub side project, but it keeps on going forever

2 points

2 months ago

29.

Show HN: Default Avatar Generator (github.com/pas256)

2 points

a year ago

30.

Show HN: Protocol for Verified Ephemeral Broadcasting (github.com/skylessdev)

2 points

5 months ago