Search: github.com/codestra | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

91.

Show HN: Constrained DSL for Reliable LLM Decisions

github.com/myinvestpilot

4 months ago

1 points

92.

Hack Review-A code review tool like coderabbit

github.com/DragonSenseiGuy

7 months ago

dragonsenseiguy

1 points

93.

A new bound-constrained derivative-free optimization method (C++) BiteOpt

github.com/avaneev

8 years ago

1 points

94.

Decider - an easy to use, open source C# Constraint Solver

github.com/lifebeyondfife

13 years ago

1 points

95.

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

github.com/sgroy10

4 months ago

1 points

96.

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

github.com/spencermarx

5 months ago

1 points

97.

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

github.com/willshacklett

5 months ago

1 points

98.

Show HN: UniVersCell – Universal constraint language and decision framework

github.com/FIFI93160

6 months ago

1 points

99.

The Expressive Power of Constraints

github.com/Dobiasd

7 months ago

1 points

100.

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

github.com/invariantlabs-ai

a year ago

1 points

101.

MarkovJunior - Probabilistic lang with pattern matching + constraint propagation

github.com/mxgmn

2 years ago

1 points

102.

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

github.com/richardanaya

2 years ago

1 points

103.

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

gist.github.com

3 years ago

1 points

104.

A fully open-source alternative to codesandbox [WIP]

github.com/ameerthehacker

6 years ago

1 points

105.

Automated data race detection from distributed traces via SMT constraint solving

github.com/jcp19

6 years ago

1 points

106.

TriWild: Robust Triangulation with Curve Constraints

github.com/wildmeshing

7 years ago

1 points

107.

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

github.com/seagreen

9 years ago

1 points

108.

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

github.com/Siorki

10 years ago

1 points

109.

Ask HN: Let's build an HN uBlacklist to improve our Google search results?

4 years ago

374 points

110.

Launch HN: Bloop (YC S21) – Code Search with GPT-4

3 years ago

264 points

111.

Show HN: Neosync – Open-Source Data Anonymization for Postgres and MySQL

github.com/nucleuscloud

2 years ago

246 points

112.

Launch HN: Noya (YC W23) – a new kind of design tool

3 years ago

241 points

113.

Launch HN: Porter (YC S20) – Open-source Heroku in your own cloud

5 years ago

239 points

114.

Show HN: SQL Explorer – Open-source reporting tool that Just Works

github.com/explorerhq

2 years ago

215 points

115.

Show HN: Allocate poker chips optimally with mixed-integer nonlinear programming

github.com/jstrieb

2 years ago

213 points

116.

Show HN: Prompts as WASM Programs

github.com/microsoft

2 years ago

209 points

117.

Show HN: Open-sourcing our text-to-CAD app

github.com/Adam-CAD

10 months ago

179 points

118.

Launch HN: Continue (YC S23) – Create custom AI code assistants

hub.continue.dev

a year ago

178 points

119.

Show HN: Minum – A minimal Java web framework

github.com/byronka

3 years ago

165 points

120.

Show HN: B-field, a novel probabilistic key-value data structure (`rust-bfield`)

github.com/onecodex

2 years ago

153 points