Search: github.com/dannybd | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

61.

Kind: A Modern Proof Language (github.com/uwu-tech)

232 points

5 years ago

62.

HTML-in-Canvas (github.com/WICG)

222 points

10 months ago

63.

C Compiler Assembler and Runtime for C64 (github.com/drmortalwombat)

138 points

2 years ago

64.

Show HN: A framework for building Slack bots in Python (github.com/DonDebonair)

114 points

4 years ago

65.

Beyond inductive datatypes: exploring Self types (github.com/kind-lang)

68 points

5 years ago

66.

Programming Language for Ternary Computing (github.com/nirvanasupermind)

50 points

2 years ago

67.

Show HN: A glib-like multi-platform C library (github.com/tboox)

48 points

4 years ago

68.

Xmake and C/C++ Package Management (github.com/xmake-io)

39 points

4 years ago

69.

An icon taskbar for the Gnome Shell (github.com/home-sweet-gnome)

37 points

2 years ago

70.

Twitch Broadcasting SDK (twitchtv.github.com)

21 points

14 years ago

71.

Yokadi: CLI sqlite powered todo list (github.com/agateau)

18 points

10 years ago

72.

Different Mobile Features - Same KPI's (twitchtv.github.com)

9 points

14 years ago

73.

Raspberry Pi Jukebox Based on Mopidy (github.com/pimusicbox)

8 points

11 years ago

74.

Richard Stallman's Rider (github.com/ddol)

6 points

2 years ago

75.

Random Agent Spoofer Firefox Addon for Browser Privacy (github.com/dillbyrne)

5 points

11 years ago

76.

Janino is a super-small, super-fast Java compiler (github.com/janino-compiler)

5 points

3 years ago

77.

Emberwind ported to HTML5 and WebGL (operasoftware.github.com)

4 points

15 years ago

78.

Go-Restful: A library to build REST based services using Go (github.com/emicklei)

4 points

13 years ago

79.

Xmake v3.0 released, Improve C++ modules and jobgraph support (github.com/xmake-io)

4 points

a year ago

80.

Fuchsia is now a part of Rust CI (github.com/rust-lang)

4 points

2 years ago

81.

Status Bar Replacement for macOS (github.com/FelixKratz)

4 points

4 years ago

82.

Investigate better protocols than 9p (github.com/Harvey-OS)

4 points

4 years ago

83.

Xmake v2.5.9 Released, Improve C++20 Modules, Support Nim, MDK and Unity Build (github.com/xmake-io)

4 points

5 years ago

84.

Hodor.js (github.com/colingourlay)

3 points

12 years ago

85.

Lynote Humanize Text – Open-source AI text humanization toolkit (github.com/lynote-ai)

3 points

11 days ago

86.

Haskell library for non-deterministic pattern matching (github.com/egison)

3 points

2 months ago

87.

A Git-like software that turns your local files into a knowledge-base (github.com/baehyunsol)

3 points

a year ago

88.

Shac: A framework for writing and running static analysis checks (github.com/shac-project)

3 points

3 years ago

89.

16 Opinionated Approaches to GKE (github.com)

3 points

8 years ago

90.

Clean Google Calendar (github.com/sfirrin)

3 points

9 years ago