Search: github.com/ipdr | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

121.

Dependently typed FizzBuzz in Idris

gist.github.com

11 years ago

1 points

122.

Type-safe physical computations and unit conversions in Idris

github.com/timjb

12 years ago

1 points

123.

A type safe Idris2 web framework targeting NodeJS

github.com/kbertalan

2 years ago

1 points

124.

A very simple example of verification in Idris

gist.github.com

8 years ago

1 points

125.

Show HN: I built an ISP infrastructure emulator from scratch with a custom vBNG

aether.saphal.me

3 months ago

68 points

126.

Ask HN: MS Word alternatives for writing academic reports

12 years ago

22 points

127.

Show HN: WinCse – Access Object Storage in Windows Explorer (Now AWS, GCP, etc.)

github.com/cbh34680

a year ago

14 points

128.

Show HN: LLMOne – Deploy LLMs from bare metal to production in hours

github.com/EM-GeekLab

a year ago

5 points

129.

Show HN: Create AI-Generated Pokemon Cards (Using Python, Midjourney, GPT)

github.com/pixegami

3 years ago

4 points

130.

Show HN: Sinain captures screen and audio in KG, shares it with agents/peers

anthillnet.github.io

a month ago

2 points

131.

Show HN: Ldbg: a Python library to ask LLMs while debugging

github.com/arthursw

8 months ago

2 points

132.

Show HN: Foxp – a TypeScript type checker enabling pseudo dependent types

github.com/taiyakihitotsu

a year ago

2 points

133.

Show HN: Iris – first MCP-native eval and observability tool for AI agents

github.com/iris-eval

3 months ago

1 points

134.

Show HN: Msg-rs – High performance messaging library in Rust

github.com/chainbound

7 months ago

1 points

135.

Show HN: Chatpdb – GPT for your Python debugger

github.com/Never-Over

2 years ago

1 points

136.

VS Code inserting 'Co-Authored-by Copilot' into commits regardless of usage

github.com/microsoft

2 months ago

1513 points

137.

AltTab is introducing a Pro version and staying open source

github.com/lwouis

a month ago

32 points

138.

Richardfontana/GPL.next - Fork of GPL

github.com/richardfontana

14 years ago

14 points

139.

Show HN: React Drag-N-Drop Email Editor

github.com/unroll-io

9 years ago

10 points

140.

RFC: Remove support for Russian Elbrus processor

github.com/xianyi

4 years ago

7 points

141.

Improving GitHub reviews with fixup commits and a helpful bot

github.com/salemove

9 years ago

5 points

142.

Self-Hosted/local ML-Powered RSS/Web Reader with Web-UI

github.com/MLdog

9 years ago

5 points

143.

Show HN: Iframely - self-hosted embeds gateway (MIT)

github.com/itteco

13 years ago

3 points

144.

Rust-base64: restore {encode, decode} convenience functions

github.com/marshallpierce

3 years ago

3 points

145.

Show HN: My "More Random" Random Number Generator

gist.github.com

15 years ago

2 points

146.

Zero Clipboard by jonrohan - copy text to clipboard via Flash & JavaScript

jonrohan.github.com

13 years ago

2 points

147.

Rapid Prototyping for Microarchitectural Attacks

github.com/libtea

4 years ago

2 points

148.

Show HN: The Simplest Express Socket.io Boilerplate

github.com/yefim323

13 years ago

idroppedthesopa

1 points

149.

Muscle Memory: Sublime Text Keyboard Shortcuts for MacOS X

gist.github.com

13 years ago

1 points

150.

Patched ruby 1.9.3-p0 for 30% faster rails boot

gist.github.com

14 years ago

1 points