Search: github.com/ndri | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

151.

Machine Learning for the Vehicle Routing Problem (github.com/isotlaboratory)

2 points

3 years ago

152.

Elastic adds license checks to Logstash / Beats 7.13 (github.com/logstash-plugins)

2 points

5 years ago

153.

Clean implementations in TF2 of recent generative models – by Sarus Tech (github.com/sarus-tech)

2 points

6 years ago

154.

AeroSpace, i3-like tiling window manager for macOS (github.com/nikitabobko)

2 points

6 months ago

155.

AutoCodeBench: Large Language Models Are Automatic Code Benchmark Generators (github.com/Tencent-Hunyuan)

2 points

8 months ago

156.

Show HN: A simple implementation of Differentially Private RAG (github.com/sarus-tech)

2 points

a year ago

157.

Scala 2.12.11 (With Performance Improvements) (github.com/scala)

2 points

6 years ago

158.

How is CUE different from jsonnet? (github.com/cuelang)

2 points

7 years ago

159.

Perceptions of Probability (github.com/zonination)

2 points

8 years ago

160.

Bootstrap ClojureScript-Based React Native Apps (github.com/dmotz)

2 points

11 years ago

161.

Storing Files in Chess Games (github.com/WintrCat)

1 point

2 years ago

162.

A web app to manage your Two-Factor Authentication (2FA) accounts (github.com/Bubka)

1 point

3 years ago

163.

Show HN: ConcurrentML-style first-class synchronous operations for JavaScript (github.com/dhcmrlchtdj)

1 point

3 years ago

164.

Dependency Injection in Functional Programming (gist.github.com)

1 point

8 years ago

165.

A javascript reactive programming engine. (github.com/vic)

1 point

14 years ago

166.

Lean-PQ – Type-safe PostgreSQL bindings for Lean 4 via libpq FFI (github.com/typednotes)

1 point

3 months ago

167.

Blendogames Source Code (github.com)

1 point

6 years ago

168.

Show HN: A Rust-Powered CLI for macOS's “Night Shift” (github.com/smudge)

1 point

6 years ago

169.

SecGen creates vulnerable virtual machines (github.com/cliffe)

1 point

9 years ago

170.

Ducks Proposal: Redux Action and Reducer Bundles (github.com/erikras)

1 point

9 years ago

171.

Show HN: YDrip – An open source water meter that detects leaks (hackaday.io)

20 points

3 years ago

172.

Ask HN: Embedded Projects to Learn From?

2 points

4 years ago

173.

Prolog interpreter in Go (github.com/mndrix)

121 points

11 years ago

174.

Copatterns in Idris (github.com/idris-lang)

56 points

12 years ago

175.

Uniqueness types in Idris (github.com/idris-lang)

19 points

12 years ago

176.

Show HN: Fort.js – A modern progress bar for form completion (github.com/idriskhenchil)

15 points

3 years ago

177.

2048 in Idris (github.com/KesterTong)

5 points

12 years ago

178.

VDrift: Cross-Platform Driving Simulation (github.com/VDrift)

3 points

2 years ago

179.

Golog: Prolog Interpreter in Go (github.com/mndrix)

3 points

2 years ago

180.

Idris2: A purely functional programming language with first class types (github.com/idris-lang)

3 points

3 years ago