Search: github.com/codestra | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

61.

Show HN: Recode – Free, open-source, community-driven Codespaces alternative (github.com/recode-sh)

100 points

4 years ago

62.

The CUE Data Constraint Language (github.com/cuelang)

91 points

7 years ago

63.

Show HN: Eleven – open-source alternative to Codespaces (github.com/eleven-sh)

48 points

3 years ago

64.

Cosyan – Transactional RDBMS with multi-table constraint logic (github.com/gsvigruha)

44 points

8 years ago

65.

Show HN: A pure Swift port of the Cassowary linear constraints solver (github.com/tribalworldwidelondon)

39 points

9 years ago

66.

CodeCrafters CEO adds his paid service as a next step after finishing Rustlings (github.com/rust-lang)

34 points

3 years ago

67.

Show HN: Catnip – Run Claude Code from Your iPhone Using GitHub Codespaces (github.com/wandb)

9 points

5 months ago

68.

Show HN: Optimally allocate poker chips using constrained optimization (github.com/jstrieb)

6 points

2 years ago

69.

Doxa – Economical-constrainted ABM simulator with Ollama (github.com/VincenzoManto)

6 points

a month ago

70.

A constrained approach to coding agents (github.com/brainless)

5 points

a month ago

71.

Proposal: Generics: use type sets to remove type keyword in constraints (github.com/golang)

4 points

5 years ago

72.

Create Golomb rulers with constraint programming (github.com/strateos)

4 points

6 years ago

73.

Show HN: NLCS – A Natural Language Constraint System for LLMs (github.com/chwmath-netizen)

3 points

6 months ago

74.

Loco – Constraint Programming for Clojure (github.com/aengelberg)

3 points

11 years ago

75.

Show HN: Eleven – Self-hosted Codespaces alternative (side-project) (github.com/eleven-sh)

3 points

3 years ago

76.

Show HN: I modeled the puzzle game Railbound with Constraint Programming (github.com/Th1nhNg0)

2 points

8 months ago

77.

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

2 points

dragonsenseiguy

7 months ago

78.

AmoebaJS: A Linear Constraint Solver in WebAssembly (github.com/zacharyvoase)

2 points

9 years ago

79.

JS library for precise tracking of facial features via Constrained Local Models (github.com/auduno)

2 points

13 years ago

80.

Show HN: Design is Code – UML to TDD tests that constrain AI code generation (mossgreen.github.io)

2 points

3 months ago

81.

MCP-Scan: Constrain, log and scan your MCP server for security vulnerabilities (github.com/invariantlabs-ai)

2 points

7 months ago

82.

Comparison of GitHub Codespaces vs. JetBrains Space vs. Gitpod vs. code-server (github.com/coder)

2 points

3 years ago

83.

Iron v1.1.2 (A type constraint system for Scala) is available (github.com/Iltotore)

2 points

5 years ago

84.

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

1 point

4 months ago

85.

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

1 point

dragonsenseiguy

7 months ago

86.

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

1 point

8 years ago

87.

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

1 point

13 years ago

88.

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

1 point

3 months ago

89.

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

1 point

4 months ago

90.

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

1 point

4 months ago