Search: github.com/amix | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

91.

Categories: An implementation of category theory in Coq (github.com/amintimany)

68 points

10 years ago

92.

Show HN: Amine – Prevents you from switching 100s of Browser Tabs (github.com/datavorous)

64 points

2 years ago

93.

Show HN: A no-nonsense Jekyll theme for sensible blogging (github.com/amitmerchant1990)

57 points

7 years ago

94.

Pygmy: Open-source URL shortener in Python (github.com/amitt001)

54 points

8 years ago

95.

Amiga Video Slot RGB to HDMI (github.com/Bloodmosher)

54 points

5 years ago

96.

Show HN: PyScribe – A Python library to make print debugging more efficient (github.com/alixander)

53 points

11 years ago

97.

Lang: Python module for enforcing programming language constraints (github.com/amitassaraf)

52 points

10 years ago

98.

Show HN: Rmt an alternative to rm with trash written in Rust (github.com/AmineZouitine)

45 points

4 years ago

99.

Show HN: GitHub's Fixed Header for better accessibility (gist.github.com)

45 points

10 years ago

100.

AmiBlitz3 – a BASIC-compiler for 68k-Amiga (github.com/AmiBlitz)

45 points

4 years ago

101.

Wonk is a tool for combining a set of AWS policy files into smaller sets (github.com/aminohealth)

41 points

5 years ago

102.

Show HN: A Pomodoro app for your menubar/tray (github.com/amitmerchant1990)

40 points

9 years ago

103.

Beginners Guide to Lemmy (github.com/amirzaidi)

40 points

3 years ago

104.

Show HN: I built a small utility that handles multiple browser instances for you (github.com/amirkarimi)

39 points

2 years ago

105.

Show HN: Revert back to good old GitHub Homepage (gist.github.com)

34 points

8 years ago

106.

A Machine Learning Engineer's Toolbox (github.com/amitness)

28 points

6 years ago

107.

Quillx is an open standard for disclosing AI involvement in software projects (github.com/QAInsights)

23 points

3 months ago

108.

Show HN: Graph Database written in Python using wiredtiger with Gremlin querying (github.com/amirouche)

23 points

10 years ago

109.

AmigaMidiRecieve – Transfer File from Any OS to Amiga via MIDI (github.com/wertstahl)

18 points

8 months ago

110.

Show HN: BlockTube - YouTube content blocker (github.com/amitbl)

17 points

8 years ago

111.

A checklist of things to consider before releasing your project (github.com/amilajack)

15 points

7 years ago

112.

Show HN: Natural Language Earley Parser Algorithm in Python (github.com/amirouche)

14 points

9 years ago

113.

Seed: Adding `vau` with an immutable dynamic environment to Chez Scheme (github.com/amirouche)

14 points

2 months ago

114.

The GNU C-Compiler with Binutils and other useful tools for Amiga (github.com/bebbo)

13 points

a year ago

115.

A serverless, clean, and persistent note dump that works fully offline (github.com/amirgamil)

13 points

5 years ago

116.

Show HN: Agent Multiplexer – manage Claude Code via tmux (github.com/mixpeek)

13 points

3 months ago

117.

Show HN: Self-hosted time tracker using Rust, Tauri and React (github.com/AmineZouitine)

12 points

3 years ago

118.

Show HN: RoboAPI – A unified REST API for robots, like Stripe but for hardware (github.com/amitb-quantum)

11 points

a month ago

119.

Show HN: A responsive landing page for open source projects (github.com/amitmerchant1990)

9 points

9 years ago

120.

Show HN: Ceruleum – Track changes to your code going towards your next commit (github.com/alixander)

8 points

9 years ago