Search: github.com/Sjlver | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

181.

Dependency hell and Z3 SMT-solver (github.com/dennis714)

4 points

9 years ago

182.

Ripgrep combines the usability of the Silver Searcher with the raw speed of grep (github.com/BurntSushi)

4 points

9 years ago

183.

A SAT solver implementation in VHDL, welcome feedback (github.com/Sumith1896)

4 points

10 years ago

184.

Show HN: Selen – Constraint Satisfaction Solver in Rust (github.com/radevgit)

3 points

8 months ago

185.

Autoresearch for SAT Solvers (github.com/iliazintchenko)

3 points

3 months ago

186.

Jax-FEM: A differentiable GPU-accelerated 3D FEM solver (github.com/deepmodeling)

3 points

2 years ago

187.

Show HN: A Sudoku solver in TypeScript's type system (tsplay.dev)

3 points

2 years ago

188.

Show HN: An open source solver faster than piosolver (github.com/bupticybee)

3 points

5 years ago

189.

PHP Composer: External SAT Solver (github.com/composer)

3 points

9 years ago

190.

FSudoku: a fast Sudoku solver in less than 300 lines of Python (github.com/jcoffland)

3 points

9 years ago

191.

Yices SMT solver now open source (github.com/SRI-CSL)

3 points

9 years ago

192.

Fix pathological performance in trait solver (github.com/rust-lang)

3 points

20 days ago

193.

Playing Minesweeper with a SMT Solver (github.com/stong)

3 points

a year ago

194.

Beryl: A polyhedron solver designed to find embeddings of regular maps (github.com/HackerPoet)

3 points

a year ago

195.

Calipso: Conic Augmented Lagrangian Interior-Point SOlver (github.com/thowell)

3 points

a year ago

196.

CalcPy: Terminal calculator and advanced math solver (Python, IPython, SymPy) (github.com/idanpa)

3 points

2 years ago

197.

Claspy: A Python constraint solver based on clasp (github.com/danyq)

3 points

3 years ago

198.

HiGHS: High performance open source MILP and QP solver (github.com/ERGO-Code)

3 points

4 years ago

199.

Show HN: Another Wordle Solver, Also Solves Nerdles (github.com/seFausto)

3 points

4 years ago

200.

Show HN: A sudoku solver in pure Nix (github.com/siraben)

3 points

4 years ago

201.

Open source Texas hold'em GTO solver (github.com/bupticybee)

3 points

5 years ago

202.

“The Genius Square” Python puzzle solver (github.com/James-P-D)

3 points

5 years ago

203.

The Silver Searcher (ag), but as a library (github.com/Theldus)

3 points

5 years ago

204.

Buster: ReCAPTCHA Solver Browser Extension (github.com/dessant)

3 points

5 years ago

205.

Show HN: Cyberpwned, an automatic solver for Cyberpunk's hacking minigame (github.com/nicolas-siplis)

3 points

5 years ago

206.

Buster: Captcha Solver Extension for Humans (github.com/dessant)

3 points

7 years ago

207.

PyTorch Implementation of Differentiable ODE Solvers (github.com/rtqichen)

3 points

8 years ago

208.

A really fast klotski game solver written in JavaScript (github.com/jeantimex)

3 points

9 years ago

209.

ripgrep: the usability of Silver Searcher with the raw speed of grep (github.com/BurntSushi)

3 points

10 years ago

210.

Show HN: PyVRP, an open-source vehicle routing problem solver (github.com/PyVRP)

2 points

4 months ago