Search: github.com/codestra | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

181.

Show HN: Catnip – Run Claude Code from Your iPhone Using GitHub Codespaces (github.com/wandb)

9 points

5 months ago

182.

Quality Food Comes from Constraints (gist.github.com)

9 points

5 months ago

183.

Show HN: Igor – Constraint Programming for Clojure (github.com/routaverra)

8 points

3 months ago

184.

SLOTHY: Assembly Optimization via Constraint Solving (github.com/slothy-optimizer)

7 points

2 years ago

185.

Show HN: Eleven – Free, open-source, Codespaces alternative with automatic HTTPS (github.com/eleven-sh)

7 points

4 years ago

186.

Show HN: Optimally allocate poker chips using constrained optimization (github.com/jstrieb)

6 points

2 years ago

187.

Doxa – Economical-constrainted ABM simulator with Ollama (github.com/VincenzoManto)

6 points

a month ago

188.

Show HN: Give Claude a GitHub Codespace to automate all your apps via MCP (github.com/keyboard-dev)

5 points

10 months ago

189.

A constrained approach to coding agents (github.com/brainless)

5 points

a month ago

190.

Show HN: SAT Solver/Constraint Programming library in Go (github.com/irfansharif)

5 points

5 years ago

191.

Calder – Interactive constraints for controlling the growth of procedural models (github.com/calder-gl)

5 points

7 years ago

192.

Analog Chess – pieces are not constrained to a grid (github.com/ehulinsky)

4 points

3 years ago

193.

Ask HN: Do you use a UI layout constraint solver?

4 points

9 years ago

194.

MSC3917: Cryptographically Constrained Room Membership (github.com/matrix-org)

4 points

3 years ago

195.

Proposal: Generics: use type sets to remove type keyword in constraints (github.com/golang)

4 points

5 years ago

196.

Create Golomb rulers with constraint programming (github.com/strateos)

4 points

6 years ago

197.

Nvshare: Transparent GPU sharing without memory size constraints (github.com/grgalex)

3 points

3 years ago

198.

Show HN: Selen – Constraint Satisfaction Solver in Rust (github.com/radevgit)

3 points

8 months ago

199.

Show HN: NLCS – A Natural Language Constraint System for LLMs (github.com/chwmath-netizen)

3 points

6 months ago

200.

Show HN: Self-Hosted OSS Trading Journal with GitHub's Codespace in 1 Command (github.com/gitricko)

3 points

9 months ago

201.

Loco – Constraint Programming for Clojure (github.com/aengelberg)

3 points

11 years ago

202.

Self-hosted browser fingerprinting and bot detection with real-world constraints (github.com/antoinevastel)

3 points

19 days ago

203.

Show HN: LaReview, local open-source CodeRabbit alternative (github.com/puemos)

3 points

4 months ago

204.

Strong Type Constraints for Scala (github.com/Iltotore)

3 points

a year ago

205.

NuCS: Fast Constraint Solving in Python (github.com/yangeorget)

3 points

2 years ago

206.

Formatron: A high-performance constrained decoding library (github.com/Dan-wanna-M)

3 points

2 years ago

207.

De-Redacting Elon's Email with Character-Count Constrained Llama2 Decoding (github.com/KhoomeiK)

3 points

2 years ago

208.

AgentKit, a Full-Stack Starter Kit for Building Constrained Agents (github.com/BCG-X-Official)

3 points

2 years ago

209.

Claspy: A Python constraint solver based on clasp (github.com/danyq)

3 points

3 years ago

210.

FastMJPG: CLI tool for MJPG video with low latency on constrained hardware (github.com/adrianseeley)

3 points

3 years ago