Search: github.com/mbains | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

1.

Using GCC for an ARM Based Microcontroller

github.com/mbains

11 years ago

2 points

2.

Make formal verification and provably correct software practical and mainstream

github.com/magmide

4 years ago

204 points

3.

Functional programming is finally going mainstream

github.com/readme

4 years ago

135 points

4.

Librefox, mainstream Firefox with a better privacy and security

github.com/intika

7 years ago

87 points

5.

Voidr – Cutting-edge open source alternatives to mainstream cloud services

3 years ago

18 points

6.

Cancel Mainstream Media

github.com/NicolasDorier

5 years ago

16 points

7.

Mainstream Websites that Provide Onion Services

github.com/alecmuffett

10 months ago

3 points

8.

Curated List of Non-Mainstream Libraries for Machine Learning

github.com/amitness

6 years ago

3 points

9.

Show HN: A browser in your terminal, because using Chrome is too mainstream

github.com/pointless-code

2 years ago

1 points

10.

Provide seamless user logins for both mainstream and Web3.0 users

github.com/Web3Auth

4 years ago

1 points

11.

Show HN: Horizon – Private alternative to Imgur

2 years ago

361 points

12.

Show HN: Petrichor – a free, open-source, offline music player for macOS

github.com/kushalpandya

a year ago

202 points

13.

Show HN: Open-Source 8-Ch BCI Board (ESP32 and ADS1299 and OpenBCI GUI)

github.com/Cerelog-ESP-EEG

6 months ago

54 points

14.

Tell HN: GitHub – “This comment has been minimized. Sign in to view”

4 years ago

21 points

15.

Ask HN: Recommendations for Spaced Repetition (SRS) Beginners?

4 years ago

10 points

16.

C3 (a C-like programming language) hits 0.6.6

a year ago

8 points

17.

Show HN: Libredesk – self-hosted, single binary Intercom/Zendesk alternative

2 months ago

7 points

18.

Show HN: Aver – a language designed for AI to write and humans to review

github.com/jasisz

3 months ago

7 points

19.

Show HN: It's been nearly 50 years. Is SQL outdated?

github.com/SPLWare

3 years ago

5 points

20.

Ask HN: How do I make my PL beneficial to the largest amount of people?

3 years ago

abstractcontrol

5 points

21.

Ask HN: OS Chat server implementations?

8 years ago

5 points

22.

Show HN: 70 days, 800 stars. If AI bugs are not random but math inevitable?

github.com/onestardao

10 months ago

5 points

23.

Show HN: Ü Programming Language

github.com/Panzerschrek

8 months ago

4 points

24.

Show HN: A CLI Tool to Streamline Your Job Hunt as a Software Engineer

github.com/angelplusultra

2 years ago

4 points

25.

Show HN: NocoBase - Scalability-first, open-source no-code platform

github.com/nocobase

2 years ago

4 points

26.

Show HN: Trellis – open-source Python framework to build DAG-based LLM workflows

github.com/interlocklabs

3 years ago

4 points

27.

Tell HN: Some DigitalOcean customers' billing details are hacked

5 years ago

4 points

28.

Show HN: SpedFind – An open-source internet speed test (React/Python and CLI)

3 months ago

3 points

29.

AnChat – E2E messenger on decentralized infrastructure, no phone number required

4 months ago

3 points

30.

Show HN: I built an open protocol for Agent-to-agent commercial negotiation

2 months ago

3 points