Search: github.com/codestra | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

241.

Java Constraint Solver for Vehicle Routing Problem (VRP) (github.com/emarkou)

2 points

6 years ago

242.

How to Implement Complex Data Integrity Constraints and Rules (github.com/AnghelLeonard)

2 points

6 years ago

243.

How to Implement Complex Data Integrity Constraints and Rules (github.com/AnghelLeonard)

2 points

6 years ago

244.

Cooperative OS for resource-constrained devices (github.com/TECREA)

2 points

6 years ago

245.

Show HN: Find missing foreign key constraints in Rails (yeet_dba) (github.com/kevincolemaninc)

2 points

7 years ago

246.

Compile and Run Constraint Handling Rules (CHR) in JavaScript (github.com/fnogatz)

2 points

9 years ago

247.

Constraint-level if statements in Haskell (github.com/mikeizbicki)

2 points

11 years ago

248.

Ask HN: Constrained LLM Games

1 point

2 months ago

249.

Show HN: Constrained DSL for Reliable LLM Decisions (github.com/myinvestpilot)

1 point

4 months ago

250.

Show HN: Design constraints from Top Companies as AI agent skills (github.com/ihlamury)

1 point

4 months ago

251.

Claude-quill your inline parallel coderabbit (github.com/blas0)

1 point

5 months ago

252.

Hack Review-A code review tool like coderabbit (github.com/DragonSenseiGuy)

1 point

dragonsenseiguy

7 months ago

253.

Show HN: Dockside: open-source self-hosted 'Codespaces' for small teams (dockside.io)

1 point

newstechfounder

2 years ago

254.

Generate Media Using Resource Constrained Devices (github.com/iamgmujtaba)

1 point

2 years ago

255.

Unpin.py – a tool to remove harmful version constraints from wheels (github.com/KOLANICH-tools)

1 point

4 years ago

256.

Constraint-Based Geometry Sketcher for Blender (github.com/hlorus)

1 point

5 years ago

257.

A new bound-constrained derivative-free optimization method (C++) BiteOpt (github.com/avaneev)

1 point

8 years ago

258.

Decider - an easy to use, open source C# Constraint Solver (github.com/lifebeyondfife)

1 point

13 years ago

259.

From source code 2 LLM constraints:a semantic extractor for Python, SwiftUI, Lua (github.com/whitecell-dev)

1 point

12 days ago

260.

Show HN: OpenJet – An offline agent harness for memory-constrained edge hardware (github.com/L-Forster)

1 point

3 months ago

261.

Show HN: SpecLock – AI Constraint Engine that stops AI from breaking locked code (github.com/sgroy10)

1 point

3 months ago

262.

Show HN: SpecLock – Constraint enforcement for AI coding tools (Bolt.new, Claude (github.com/sgroy10)

1 point

3 months ago

263.

Show HN: AI-assert – Constraint verification for LLM outputs (278 lines, Python) (github.com/kaantahti)

1 point

3 months ago

264.

Show HN: Kodus – Open-Source Alternative to CodeRabbit (github.com/kodustech)

1 point

4 months ago

265.

Forget CodeRabbit. Meet Open Code Review, Open Source Multi-Agent Code Review (github.com/spencermarx)

1 point

4 months ago

266.

Show HN: Runtime AI safety via a continuous "constraint strain" score (github.com/willshacklett)

1 point

4 months ago

267.

Show HN: JsonUI – Constrain AI agents through code structure, not prompts

1 point

4 months ago

268.

Show HN: UniVersCell – Universal constraint language and decision framework (github.com/FIFI93160)

1 point

5 months ago

269.

The Expressive Power of Constraints (github.com/Dobiasd)

1 point

7 months ago

270.

Mcp-scan: constrain, log and scan your active MCP connections (github.com/invariantlabs-ai)

1 point

a year ago