Search: github.com/ondy | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

31.

A machine-verified formalization of Advaita Vedānta in Isabelle/HOL

github.com/matthew-scherf

8 months ago

3 points

32.

Show HN: DNS over Plain Old TCP (DoPT)

github.com/m3047

6 years ago

2 points

33.

github.com/kkuchta

7 years ago

2 points

34.

Jasmine-only · describe.only and it.only exclusive spec helpers for jasmine

github.com/davemo

13 years ago

1 points

35.

github.com/kkuchta

6 years ago

1 points

36.

github.com/kkuchta

7 years ago

1 points

37.

Show HN: Gaiman language for Web-based Terminal applications

4 years ago

4 points

38.

Show HN: Turn Claude Code or Codex into proactive, autonomous 24/7 AI agents

github.com/suitedaces

4 months ago

3 points

39.

Show HN: Open-source macOS app to install and manage MCPs

6 months ago

3 points

40.

Android Toolbar dropshadow on all API levels

11 years ago

2 points

41.

Turning software into computer chips – Hastlayer (.NET Conf)

9 years ago

2 points

42.

Show HN: Terminal txt novel reader support bookmark and pagination

4 months ago

2 points

43.

Show HN: Simple email mode for Gmail's 20th anniversary

2 years ago

1 points

44.

Read-only deploy keys

github.com/blog

11 years ago

144 points

45.

MichiganTypeScript: A WebAssembly runtime implemented in TypeScript types

github.com/MichiganTypeScript

a year ago

88 points

46.

YOPO – You Only Plot Once A near zero code plotting library

github.com/chekoduadarsh

4 years ago

3 points

47.

GitHub Action that updates an OpenRouter guardrail daily with US-only providers

github.com/speedshop

5 months ago

1 points

48.

List of most useful Terraform open-source tools

4 years ago

22 points

49.

Ask HN: I'm working on some tests for Amazon EBS volumes. What do you think?

17 years ago

11 points

50.

Show HN: I built a programming language, inspired by Golang

github.com/nature-lang

a year ago

7 points

51.

Can I edit or create threads by using API of Hacker News?

12 years ago

3 points

52.

Show HN: A Markdown document manager in Rust

7 months ago

3 points

53.

Ask HN: How to run an in-company architecture workshop/meetup?

5 years ago

2 points

54.

Zend Framework 2 + Doctrine Tutorials

13 years ago

2 points

55.

Show HN: Giving HTML, Canvas Superpowers

github.com/yeargun

3 months ago

2 points

56.

Ask HN: Thoughts on wasp-JS, a full-stack framework for node

a year ago

2 points

57.

Show HN: AgentShield, The missing safety layer for Cowork and AI Agents

github.com/tomsun28

5 months ago

1 points

58.

Show HN: Witmo – AI-powered gaming coach from screenshots

github.com/ymyke

a year ago

1 points

59.

Ask HN: What do you use to facilitate creating browser extensions?

6 years ago

proszkinasenne2

1 points

60.

Show HN: PredictEd Update 1.1 released: An open sourced predictive text editor

8 years ago

1 points