Search: github.com/codestra | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

271.

Show HN: OpenJet – An offline agent harness for memory-constrained edge hardware

github.com/L-Forster

3 months ago

1 points

272.

Show HN: SpecLock – AI Constraint Engine that stops AI from breaking locked code

github.com/sgroy10

4 months ago

1 points

273.

Show HN: SpecLock – Constraint enforcement for AI coding tools (Bolt.new, Claude

github.com/sgroy10

4 months ago

1 points

274.

Show HN: AI-assert – Constraint verification for LLM outputs (278 lines, Python)

github.com/kaantahti

4 months ago

1 points

275.

Show HN: Kodus – Open-Source Alternative to CodeRabbit

github.com/kodustech

4 months ago

1 points

276.

Forget CodeRabbit. Meet Open Code Review, Open Source Multi-Agent Code Review

github.com/spencermarx

5 months ago

1 points

277.

Show HN: Runtime AI safety via a continuous "constraint strain" score

github.com/willshacklett

5 months ago

1 points

278.

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

5 months ago

1 points

279.

Show HN: UniVersCell – Universal constraint language and decision framework

github.com/FIFI93160

6 months ago

1 points

280.

The Expressive Power of Constraints

github.com/Dobiasd

8 months ago

1 points

281.

Mcp-scan: constrain, log and scan your active MCP connections

github.com/invariantlabs-ai

a year ago

1 points

282.

Dockside: Self-Hosted GitHub Codespaces

github.com/newsnowlabs

2 years ago

1 points

283.

MarkovJunior - Probabilistic lang with pattern matching + constraint propagation

github.com/mxgmn

2 years ago

1 points

284.

Rust library to convert JSON Schema to GBNF grammar to constrain LlamaCPP output

github.com/richardanaya

2 years ago

1 points

285.

Using GitHub Codespaces is my new default for editing a static Jekyll site

gist.github.com

3 years ago

1 points

286.

CAD Sketcher – Constraint-based geometry sketcher for blender

github.com/hlorus

4 years ago

1 points

287.

Cadsketcher – Constraint-based geometry sketcher for blender

github.com/hlorus

4 years ago

1 points

288.

WIP sewing pattern maker – verlet physics constraint vector editing

github.com/softfab

5 years ago

1 points

289.

Show HN: A generic policy and constraint evaluator (Go)

github.com/tadasv

5 years ago

1 points

290.

ICU4X: Solving i18n for client-side and resource-constrained environments

github.com/unicode-org

5 years ago

1 points

291.

GitHub: Codespaces

docs.github.com

6 years ago

1 points

292.

Directly open GitHub repo in codesandbox

github.com/dferber90

6 years ago

1 points

293.

A fully open-source alternative to codesandbox [WIP]

github.com/ameerthehacker

6 years ago

1 points

294.

Automated data race detection from distributed traces via SMT constraint solving

github.com/jcp19

6 years ago

1 points

295.

TriWild: Robust Triangulation with Curve Constraints

github.com/wildmeshing

7 years ago

1 points

296.

New Postgres 12 SET NOT NULL constraint creation with minimal lock

7 years ago

1 points

297.

React wrapp. components for connecting inputs to HTML5 Constraint Validation API

github.com/dsheiko

8 years ago

1 points

298.

Son (& SonU): constrained JSON, canonical and embedded?

github.com/seagreen

9 years ago

1 points

299.

RegPack – self-contained packer for size-constrained JavaScript code

github.com/Siorki

10 years ago

1 points

300.

Sketch-Flavored Auto Layout-Like Constraints

github.com/matt-curtis

11 years ago

1 points