Search: github.com/ckan | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

961.

Show HN: Dependently typed language for proofs that you can implement in one day (github.com/caotic123)

138 points

5 years ago

962.

Free Software network services and web applications which can be hosted locally (github.com/Kickball)

138 points

7 years ago

963.

Why Brit Ruby 2013 was cancelled and why this is not ok (gist.github.com)

134 points

14 years ago

964.

Show HN: BrowserBox – do stuff with browsers that you can't normally (github.com/dosyago)

134 points

3 years ago

965.

Canonical LXD forked by former project leader stgraber (github.com/stgraber)

130 points

3 years ago

966.

A simple MUD server in Python which can be run on a Raspberry Pi (github.com/Frimkron)

126 points

2 years ago

967.

Office-open-xml-viewer: Office XML document viewer that renders to HTML Canvas (github.com/yukiyokotani)

126 points

12 hours ago

968.

The new ASP.NET Core 2.0 packages can no longer be used on .NET Desktop (github.com/aspnet)

124 points

9 years ago

969.

Mixing Vue.js templates with server-side templates can lead to XSS (github.com/dotboris)

124 points

8 years ago

970.

Show HN: I built a MCP server so Claude can play Minesweeper (github.com/tonypan2)

123 points

a year ago

971.

A band you can book via GitHub pull request (github.com/rawfunkmaharishi)

122 points

10 years ago

972.

Archive that can be reconstructed with total loss of file system structure (github.com/MarcoPon)

122 points

9 years ago

973.

Show HN: turn videos into ASCII art (open source, js+canvas) (collidingscopes.github.io)

121 points

2 years ago

974.

ThinScript, an experimental programming language that can compile to WebAssembly (github.com/evanw)

119 points

9 years ago

975.

Can your REPL do this? (whalliburton.github.com)

119 points

15 years ago

976.

Web app for interviewing technical candidates in the browser (github.com/paf31)

119 points

13 years ago

977.

Andromeda Invaders: A 1980s-arcade-style game using HTML5, Canvas, Web Audio (github.com/susam)

116 points

4 years ago

978.

Zynga open sources panning and zooming library for HTML and Canvas (github.com/zynga)

116 points

15 years ago

979.

Show HN: Qq: like jq, but can transcode between many formats (github.com/JFryy)

115 points

2 years ago

980.

Elasticsearch node crashes can cause data loss (github.com/elastic)

112 points

11 years ago

981.

VNC client using HTML5 (Web Sockets, Canvas) with encryption (github.com/kanaka)

111 points

16 years ago

982.

Can we get more decentralised than the Fediverse? (gist.github.com)

108 points

2 years ago

983.

Microsoft rejects documentation PR because AI chatbots can't display tables (github.com/MicrosoftDocs)

108 points

a year ago

984.

Show HN: Octofriend, a cute coding agent that can swap between GPT-5 and Claude (github.com/synthetic-lab)

107 points

10 months ago

985.

Erlang R19 Release Candidate Available (github.com/erlang)

106 points

10 years ago

986.

No, your cryptocurrency cannot work (gist.github.com)

105 points

5 years ago

987.

Can you help me understand the benefit of require.js? (gist.github.com)

105 points

13 years ago

988.

Fast UI Draw is a library that provides a higher performance Canvas interface (github.com/intel)

105 points

6 years ago

989.

What we can learn from vintage computing (github.com/readme)

101 points

3 years ago

990.

A list of Free Software network services and web apps that can be hosted locally (github.com/Kickball)

101 points

10 years ago