Search: github.com/codestra | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

181.

SAT-Physical Thermodynamic Framework: treating constraints as a thermal system

github.com/alikamp

17 days ago

12 points

182.

Show HN: Pixlet – Build apps for highly-constrained displays with Starlark

github.com/tidbyt

6 years ago

12 points

183.

Create Golomb rulers using constraint programming with IBM CPLEX

github.com/strateos

6 years ago

11 points

184.

Show HN: Catnip – Run Claude Code from Your iPhone Using GitHub Codespaces

github.com/wandb

5 months ago

9 points

185.

Quality Food Comes from Constraints

gist.github.com

6 months ago

9 points

186.

Show HN: Igor – Constraint Programming for Clojure

github.com/routaverra

3 months ago

8 points

187.

Layr – a modular UX and product constraint system for AI-built interfaces

github.com/layr-hq

5 days ago

8 points

188.

SLOTHY: Assembly Optimization via Constraint Solving

github.com/slothy-optimizer

2 years ago

7 points

189.

Show HN: Eleven – Free, open-source, Codespaces alternative with automatic HTTPS

github.com/eleven-sh

4 years ago

7 points

190.

Show HN: Optimally allocate poker chips using constrained optimization

github.com/jstrieb

2 years ago

6 points

191.

Doxa – Economical-constrainted ABM simulator with Ollama

github.com/VincenzoManto

2 months ago

6 points

192.

Show HN: Give Claude a GitHub Codespace to automate all your apps via MCP

github.com/keyboard-dev

a year ago

5 points

193.

A constrained approach to coding agents

github.com/brainless

2 months ago

5 points

194.

Show HN: SAT Solver/Constraint Programming library in Go

github.com/irfansharif

5 years ago

5 points

195.

Calder – Interactive constraints for controlling the growth of procedural models

github.com/calder-gl

7 years ago

5 points

196.

Analog Chess – pieces are not constrained to a grid

github.com/ehulinsky

3 years ago

4 points

197.

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

9 years ago

4 points

198.

MSC3917: Cryptographically Constrained Room Membership

github.com/matrix-org

3 years ago

4 points

199.

Proposal: Generics: use type sets to remove type keyword in constraints

github.com/golang

5 years ago

4 points

200.

Create Golomb rulers with constraint programming

github.com/strateos

6 years ago

4 points

201.

Nvshare: Transparent GPU sharing without memory size constraints

github.com/grgalex

3 years ago

3 points

202.

Show HN: Selen – Constraint Satisfaction Solver in Rust

github.com/radevgit

9 months ago

3 points

203.

Show HN: Relic, a tiny coding agent for ancient and constrained systems

github.com/felixrieseberg

18 days ago

3 points

204.

Show HN: NLCS – A Natural Language Constraint System for LLMs

github.com/chwmath-netizen

7 months ago

3 points

205.

Show HN: Self-Hosted OSS Trading Journal with GitHub's Codespace in 1 Command

github.com/gitricko

10 months ago

3 points

206.

Loco – Constraint Programming for Clojure

github.com/aengelberg

11 years ago

3 points

207.

CPMpy: Constraint Programming and Modeling library in Python, based on NumPy

github.com/CPMpy

8 days ago

3 points

208.

Self-hosted browser fingerprinting and bot detection with real-world constraints

github.com/antoinevastel

a month ago

3 points

209.

Show HN: LaReview, local open-source CodeRabbit alternative

github.com/puemos

5 months ago

3 points

210.

Strong Type Constraints for Scala

github.com/Iltotore

a year ago

3 points