Search: github.com/codestra | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

151.

Rails/Ruby BDD alternative: Spinach (codegram.github.com)

3 points

15 years ago

152.

Show HN: Sift – local hybrid search CLI in a single Rust binary (alexdk.com)

1 point

3 months ago

153.

Developing Online with GitHub Codespace (docs.github.com)

53 points

6 years ago

154.

Show HN: AxonFlow, governing LLM and agent workflows

11 points

saurabhjain1592

5 months ago

155.

Show HN: High deterministic real time in Python with copy and patch compiler (copapy.nonan.net)

2 points

5 months ago

156.

Ask HN: Can systems function correctly without memory?

1 point

5 months ago

157.

Easy and Long-Term Discord Bot Support

1 point

8 months ago

158.

Show HN: OOTB Code-Server, Easiest “VSCode on Browser” + HTTPS and GitHub Auth (github.com/nullpo-head)

11 points

6 years ago

159.

Show HN: Scan your code to see where user data is going (github.com/monoid-privacy)

2 points

3 years ago

160.

GitHub Codescanning (github.com/features)

390 points

6 years ago

161.

Show HN: Hocus – self-hosted alternative to GitHub Codespaces using Firecracker (github.com/hocus-dev)

291 points

3 years ago

162.

Show HN: WASM-powered codespaces for Python notebooks on GitHub (docs.marimo.io)

204 points

a year ago

163.

CAD/CAM constraint-based geometry sketcher for Blender (github.com/hlorus)

181 points

4 years ago

164.

Declarative GUI with constraints-based layout engine for Python (github.com/nucleic)

120 points

4 years ago

165.

MarkovJunior: Probabilistic PL based on pattern matching and constraint prop (github.com/mxgmn)

113 points

4 years ago

166.

Show HN: Generate guitar tablature using a constraint solver (github.com/senshu)

109 points

_mouvantsillage

6 years ago

167.

Constraint-based geometry (CAD) sketcher for Blender (github.com/hlorus)

106 points

4 years ago

168.

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

100 points

4 years ago

169.

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

91 points

7 years ago

170.

Show HN: DevPod – Codespaces but Open Source, Client-Only, and Unopinionated (github.com/loft-sh)

71 points

3 years ago

171.

Lang: Python module for enforcing programming language constraints (github.com/amitassaraf)

52 points

10 years ago

172.

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

48 points

3 years ago

173.

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

44 points

8 years ago

174.

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

39 points

9 years ago

175.

Show HN: MarkovJunior, PPL based on pattern matching and constraint propagation (github.com/mxgmn)

36 points

4 years ago

176.

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

34 points

3 years ago

177.

JIT Fuzzing Solver: experimental constraint solver using coverage-guided fuzzing (github.com/delcypher)

28 points

8 years ago

178.

Show HN: Get AWS Credentials in GitHub Codespaces (github.com/saml-to)

25 points

4 years ago

179.

Show HN: Pixlet – Build apps for highly-constrained displays with Starlark (github.com/tidbyt)

12 points

6 years ago

180.

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

11 points

6 years ago