Search: github.com/codestra | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

211.

NuCS: Fast Constraint Solving in Python

github.com/yangeorget

2 years ago

3 points

212.

Formatron: A high-performance constrained decoding library

github.com/Dan-wanna-M

2 years ago

3 points

213.

De-Redacting Elon's Email with Character-Count Constrained Llama2 Decoding

github.com/KhoomeiK

2 years ago

3 points

214.

AgentKit, a Full-Stack Starter Kit for Building Constrained Agents

github.com/BCG-X-Official

2 years ago

3 points

215.

Claspy: A Python constraint solver based on clasp

github.com/danyq

3 years ago

3 points

216.

FastMJPG: CLI tool for MJPG video with low latency on constrained hardware

github.com/adrianseeley

3 years ago

3 points

217.

Show HN: Eleven – Self-hosted Codespaces alternative (side-project)

github.com/eleven-sh

4 years ago

3 points

218.

The Cue Data Constraint Language

github.com/cue-lang

5 years ago

3 points

219.

Constraint Programming with MiniZinc and Phoenix/LiveView

github.com/bokner

5 years ago

3 points

220.

MorphNet: Fast, Simple Resource-Constrained Learning of Deep Network Structure

github.com/google-research

7 years ago

3 points

221.

Show HN: I modeled the puzzle game Railbound with Constraint Programming

github.com/Th1nhNg0

8 months ago

2 points

222.

Show HN: Chirp, My constraint-driven metaprogramming language

github.com/FrancoisChabot

11 days ago

2 points

223.

AI-Constrained Governance on Ethereum: A Live Deployment

github.com/thetaicore

5 months ago

2 points

224.

Hack Review-A code review tool like coderabbit

github.com/DragonSenseiGuy

7 months ago

dragonsenseiguy

2 points

225.

AmoebaJS: A Linear Constraint Solver in WebAssembly

github.com/zacharyvoase

9 years ago

2 points

226.

Type-checking and Constraint Validation in JavaScript (incl. Meteor)

github.com/ericching

13 years ago

2 points

227.

JS library for precise tracking of facial features via Constrained Local Models

github.com/auduno

13 years ago

2 points

228.

A Python library to constrain tweets or messages

github.com/cd34

13 years ago

2 points

229.

Show HN: Cordium – FOSS self-hosted sandbox platform alt. Codespaces/E2B/Daytona

github.com/octelium

16 days ago

2 points

230.

Show HN: db_leftovers: Better Indexes and Constraints for Rails

github.com/pjungwir

14 years ago

2 points

231.

Show HN: Design is Code – UML to TDD tests that constrain AI code generation

mossgreen.github.io

4 months ago

2 points

232.

Show HN: Catelingo – Constraint-Based Semantic Validity Checker for LLM Outputs

github.com/ShinobuMiya

6 months ago

2 points

233.

MCP-Scan: Constrain, log and scan your MCP server for security vulnerabilities

github.com/invariantlabs-ai

8 months ago

2 points

234.

A MCP server for solving optimization problems with constraints

github.com/sdiehl

a year ago

2 points

235.

mcp-scan: Constrain, log and scan MCP traffic for security vulnerabilities

github.com/invariantlabs-ai

a year ago

2 points

236.

Constrained Random Walks

github.com/ivanbelenky

a year ago

2 points

237.

mcp-solver: MCP server for constraint optimization and solving

github.com/szeider

a year ago

2 points

238.

Glyphs-generator: glyph generation tool with geometric constraints

github.com/v4nn4

2 years ago

2 points

239.

A 99th percentile hockey pool builder using a constraint solver

gist.github.com

3 years ago

2 points

240.

Clownfish: Constrained Decoding for LLMs Against JSON Schema

github.com/newhouseb

3 years ago

2 points