Search: github.com/xmonad | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

151.

Show HN: qdbp – a minimal, elegant, safe, and expressive programming language

github.com/dghosef

3 years ago

22 points

152.

Show HN: Logos of Aether – Rebuilding Physics Without Zero or Empty Space

github.com/chrisnchips42-blip

6 months ago

10 points

153.

Toward a new mathematical theory of computation.

17 years ago

5 points

154.

Danom: Structures for durable programming patterns in C#.

github.com/pimbrouwers

2 years ago

4 points

155.

Show HN: Lean-pq a typesafe PostgreSQL connector for lean

github.com/typednotes

3 months ago

2 points

156.

Show HN: MLtraq – Track and Collaborate on AI Experiments (Open-Source)

2 years ago

2 points

157.

The card game War, written in Haskell

github.com/dmjio

13 years ago

2 points

158.

Show HN: Admiran: a pure, lazy functional language and self-hosting compiler

github.com/taolson

4 months ago

2 points

159.

Show HN: Voft – VAVR‑style objects for Typscript

github.com/artus

a year ago

2 points

160.

[ANN] Halva 0.2.0 – Idiomatic Scala in Java

10 years ago

2 points

161.

Python DataService

2 years ago

1 points

162.

Highway – Efficient and performance-portable SIMD

github.com/google

5 years ago

31 points

163.

Why rust-docs-MCP is the only MCP tool I like

github.com/snowmead

8 months ago

2 points

164.

Experimenting with policy gradient methods in Jax

github.com/elliotvilhelm

a year ago

2 points

165.

Policy Evaluation in Grid World

github.com/elliotvilhelm

2 years ago

1 points