Search: github.com/Sjlver | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

121.

Ruzzle Lego Mindstorm Nxc NodeJS Solver (github.com/albertosarullo)

1 point

13 years ago

122.

Poetiq: SOTA Reasoning on ARC-AGI (github.com/poetiq-ai)

1 point

6 months ago

123.

Bugfreak a free opensource bug tracker for .net and android (bugfreak.co)

2 points

13 years ago

124.

Logic Solver: a boolean satisfiability solver written in JavaScript (github.com/meteor)

1 point

11 years ago

125.

PubGrub: A next-generation version solving algorithm (github.com/dart-lang)

1 point

3 years ago

126.

Enhancing Factorio with SAT solvers (github.com/R-O-C-K-E-T)

376 points

2 years ago

127.

CreuSAT: Formally verified SAT solver written in Rust and verified with Creusot (github.com/sarsko)

315 points

4 years ago

128.

Image unshredding using a TSP solver (github.com/robinhouston)

216 points

5 years ago

129.

Image unshredding using a TSP solver (github.com/robinhouston)

205 points

10 years ago

130.

Autoresearch for SAT Solvers (github.com/iliazintchenko)

167 points

3 months ago

131.

2048 Solver (github.com/FelixNeutatz)

165 points

12 years ago

132.

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

154 points

2 years ago

133.

A sudoku solver in 33 lines of Clojure (gist.github.com)

148 points

14 years ago

134.

Gophersat: A SAT solver written in Go (github.com/crillab)

133 points

9 years ago

135.

Sudoku Solver in 140 bytes (gist.github.com)

123 points

15 years ago

136.

Show HN: My Python Solver for the On-Time Arrival Problem in Traffic Congestion (github.com/mehrdadn)

121 points

9 years ago

137.

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

109 points

_mouvantsillage

6 years ago

138.

ToySMT – simple SMT solver under 1500 SLOC of pure C (github.com/DennisYurichev)

91 points

8 years ago

139.

OpenSilver is a modern, plugin-free, open-source reimplementation of Silverlight (github.com/OpenSilver)

84 points

6 years ago

140.

CUBOTino: A small, simple, 3D printed, inexpensive Rubik's Cube solver robot (github.com/AndreaFavero71)

81 points

3 years ago

141.

HODLR: Fast direct solver and determinant computation for dense linear systems (github.com/sivaramambikasaran)

69 points

9 years ago

142.

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

61 points

7 years ago

143.

Simple SAT Solver in Haskell (gist.github.com)

57 points

14 years ago

144.

Show HN: Python 3 TSP solver based on LKH (cross platform) (github.com/dimitrovskif)

57 points

7 years ago

145.

WASM Builds of the Z3 SMT Solver (github.com/cpitclaudel)

55 points

7 years ago

146.

Discharging Lean goals into SMT solvers (github.com/ufmg-smite)

52 points

2 years ago

147.

Releasing my Texas holdem solver (opensourced) (github.com/bupticybee)

47 points

5 years ago

148.

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

39 points

9 years ago

149.

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

28 points

8 years ago

150.

Fastest Javascript Sudoku Solver (attractivechaos.github.com)

26 points

15 years ago