Search: github.com/Sjlver | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

181.

Rust-analyzer to stabilize a new trait solver, with significant perf gains

github.com/rust-lang

10 months ago

4 points

182.

Probability-Based Sudoku Solver

github.com/icecolbeveridge

5 years ago

4 points

183.

Parameterized Equation Solver in Go

github.com/Knetic

6 years ago

4 points

184.

Katana – Automatic CTF Challenge Solver in Python3

github.com/JohnHammond

6 years ago

4 points

185.

RCube – Rubik's cube solver for large cubes

github.com/ShellPuppy

7 years ago

4 points

186.

Show HN: OpTorch, a PyTorch front end for the Ceres nonlinear solver

github.com/pronto-ai

7 years ago

4 points

187.

Dependency hell and Z3 SMT-solver

github.com/dennis714

9 years ago

4 points

188.

Ripgrep combines the usability of the Silver Searcher with the raw speed of grep

github.com/BurntSushi

9 years ago

4 points

189.

A SAT solver implementation in VHDL, welcome feedback

github.com/Sumith1896

10 years ago

4 points

190.

Show HN: Selen – Constraint Satisfaction Solver in Rust

github.com/radevgit

9 months ago

3 points

191.

Autoresearch for SAT Solvers

github.com/iliazintchenko

3 months ago

3 points

192.

Jax-FEM: A differentiable GPU-accelerated 3D FEM solver

github.com/deepmodeling

2 years ago

3 points

193.

Show HN: A Sudoku solver in TypeScript's type system

2 years ago

3 points

194.

Show HN: An open source solver faster than piosolver

github.com/bupticybee

5 years ago

3 points

195.

PHP Composer: External SAT Solver

github.com/composer

9 years ago

3 points

196.

FSudoku: a fast Sudoku solver in less than 300 lines of Python

github.com/jcoffland

9 years ago

3 points

197.

Yices SMT solver now open source

github.com/SRI-CSL

9 years ago

3 points

198.

NuCS vs. Choco: a pure-Python solver meets a JVM veteran

github.com/yangeorget

21 days ago

3 points

199.

Fix pathological performance in trait solver

github.com/rust-lang

a month ago

3 points

200.

Playing Minesweeper with a SMT Solver

github.com/stong

a year ago

3 points

201.

Beryl: A polyhedron solver designed to find embeddings of regular maps

github.com/HackerPoet

a year ago

3 points

202.

Calipso: Conic Augmented Lagrangian Interior-Point SOlver

github.com/thowell

a year ago

3 points

203.

CalcPy: Terminal calculator and advanced math solver (Python, IPython, SymPy)

github.com/idanpa

2 years ago

3 points

204.

Claspy: A Python constraint solver based on clasp

github.com/danyq

3 years ago

3 points

205.

HiGHS: High performance open source MILP and QP solver

github.com/ERGO-Code

4 years ago

3 points

206.

Show HN: Another Wordle Solver, Also Solves Nerdles

github.com/seFausto

4 years ago

3 points

207.

Show HN: A sudoku solver in pure Nix

github.com/siraben

4 years ago

3 points

208.

Open source Texas hold'em GTO solver

github.com/bupticybee

5 years ago

3 points

209.

“The Genius Square” Python puzzle solver

github.com/James-P-D

5 years ago

3 points

210.

The Silver Searcher (ag), but as a library

github.com/Theldus

5 years ago

3 points