Search: github.com/Sjlver | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

151.

Show HN: Python 3 TSP solver based on LKH (cross platform)

github.com/dimitrovskif

7 years ago

57 points

152.

WASM Builds of the Z3 SMT Solver

github.com/cpitclaudel

7 years ago

55 points

153.

Discharging Lean goals into SMT solvers

github.com/ufmg-smite

2 years ago

52 points

154.

Releasing my Texas holdem solver (opensourced)

github.com/bupticybee

5 years ago

47 points

155.

Show HN: A pure Swift port of the Cassowary linear constraints solver

github.com/tribalworldwidelondon

9 years ago

39 points

156.

JIT Fuzzing Solver: experimental constraint solver using coverage-guided fuzzing

github.com/delcypher

8 years ago

28 points

157.

Fastest Javascript Sudoku Solver

attractivechaos.github.com

15 years ago

26 points

158.

Show HN: An Excel Wordle Solver

github.com/cgranier

4 years ago

23 points

159.

Show HN: Per-instance TSP Solver with No Pre-training (1.66% gap on d1291)

6 months ago

21 points

160.

Yahtzeeql – Yahtzee solver that's mostly SQL

github.com/charliemeyer

a year ago

20 points

161.

Show HN: Simple Wordle solver in command line in Python

github.com/KevinXuxuxu

4 years ago

13 points

162.

AI Regex Scientist: A self-improving regex solver

5 months ago

9 points

163.

OCR sodoku solver for iOS

github.com/Haoest

15 years ago

9 points

164.

Show HN: AI Captcha Solver for Chrome

github.com/noCaptchaAi

3 years ago

8 points

165.

Show HN: Distributed SAT solver in Elixir

10 years ago

7 points

166.

JuLS – A Julia Local Search Solver

github.com/amazon-science

10 months ago

6 points

167.

Show HN: Open-Source Quantum Solver for Maximum Independent Set Problems

a year ago

6 points

168.

Bevy XPBD Moving Away from XPBD Solver over Nvidia Patent

github.com/Jondolf

2 years ago

5 points

169.

Build PoC of VehicleRoutingProblem Solver API Using Rust/AWS/Terraform

github.com/reinterpretcat

6 years ago

5 points

170.

Show HN: A firewall analysis library using the Z3 SMT solver

github.com/Z3Prover

8 years ago

5 points

171.

Sudoku solver in 1-line of CoffeeScript (with explanation)

gist.github.com

14 years ago

4 points

172.

A Very Small SAT Solver (From Haskell) Now in Dafny, Proved Correct with LLMs

github.com/namin

5 months ago

4 points

173.

Iteration is all you need: ARC-2 solver inspired by Grover's search algorithm

github.com/zoecarver

9 months ago

4 points

174.

Show HN: A Vaadin Algebra and Calculus Solver Built with AI Assistance

4 months ago

4 points

175.

Sudoku solver using Z3-Prover

github.com/awkwardbunny

5 years ago

4 points

176.

Show HN: Slsqp4j - a JVM Wrapper around the popular SLSQP solver

github.com/skew-markets

6 years ago

4 points

177.

Show HN: Solver for the game 24 in Python

github.com/chris-kuo

7 years ago

4 points

178.

Ask HN: Do you use a UI layout constraint solver?

9 years ago

4 points

179.

2048 Solver with dramatically improved efficiency

github.com/celwell

12 years ago

4 points

180.

The CP-SAT Primer: Using and Understanding Google OR-Tools' CP-SAT Solver

github.com/d-krupke

2 days ago

4 points