Search: github.com/ipdr | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

121.

Dependently typed FizzBuzz in Idris (gist.github.com)

1 point

11 years ago

122.

Type-safe physical computations and unit conversions in Idris (github.com/timjb)

1 point

12 years ago

123.

A type safe Idris2 web framework targeting NodeJS (github.com/kbertalan)

1 point

2 years ago

124.

A very simple example of verification in Idris (gist.github.com)

1 point

8 years ago

125.

Show HN: I built an ISP infrastructure emulator from scratch with a custom vBNG (aether.saphal.me)

68 points

3 months ago

126.

Ask HN: MS Word alternatives for writing academic reports

22 points

12 years ago

127.

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

14 points

a year ago

128.

Show HN: LLMOne – Deploy LLMs from bare metal to production in hours (github.com/EM-GeekLab)

5 points

a year ago

129.

Show HN: Create AI-Generated Pokemon Cards (Using Python, Midjourney, GPT) (github.com/pixegami)

4 points

3 years ago

130.

Show HN: Sinain captures screen and audio in KG, shares it with agents/peers (anthillnet.github.io)

2 points

24 days ago

131.

Show HN: Ldbg: a Python library to ask LLMs while debugging (github.com/arthursw)

2 points

7 months ago

132.

Show HN: Foxp – a TypeScript type checker enabling pseudo dependent types (github.com/taiyakihitotsu)

2 points

a year ago

133.

Show HN: Iris – first MCP-native eval and observability tool for AI agents (github.com/iris-eval)

1 point

3 months ago

134.

Show HN: Msg-rs – High performance messaging library in Rust (github.com/chainbound)

1 point

6 months ago

135.

Show HN: Chatpdb – GPT for your Python debugger (github.com/Never-Over)

1 point

2 years ago

136.

VS Code inserting 'Co-Authored-by Copilot' into commits regardless of usage (github.com/microsoft)

1513 points

a month ago

137.

AltTab is introducing a Pro version and staying open source (github.com/lwouis)

31 points

11 days ago

138.

Richardfontana/GPL.next - Fork of GPL (github.com/richardfontana)

14 points

14 years ago

139.

Show HN: React Drag-N-Drop Email Editor (github.com/unroll-io)

10 points

9 years ago

140.

RFC: Remove support for Russian Elbrus processor (github.com/xianyi)

7 points

4 years ago

141.

Improving GitHub reviews with fixup commits and a helpful bot (github.com/salemove)

5 points

9 years ago

142.

Self-Hosted/local ML-Powered RSS/Web Reader with Web-UI (github.com/MLdog)

5 points

9 years ago

143.

Show HN: Iframely - self-hosted embeds gateway (MIT) (github.com/itteco)

3 points

13 years ago

144.

Rust-base64: restore {encode, decode} convenience functions (github.com/marshallpierce)

3 points

3 years ago

145.

Show HN: My "More Random" Random Number Generator (gist.github.com)

2 points

15 years ago

146.

Zero Clipboard by jonrohan - copy text to clipboard via Flash & JavaScript (jonrohan.github.com)

2 points

13 years ago

147.

Rapid Prototyping for Microarchitectural Attacks (github.com/libtea)

2 points

4 years ago

148.

Show HN: The Simplest Express Socket.io Boilerplate (github.com/yefim323)

1 point

idroppedthesopa

13 years ago

149.

Muscle Memory: Sublime Text Keyboard Shortcuts for MacOS X (gist.github.com)

1 point

13 years ago

150.

Patched ruby 1.9.3-p0 for 30% faster rails boot (gist.github.com)

1 point

14 years ago