Search: github.com/Sjlver | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

121.

Amazon Flex FunCaptcha Solver

github.com/alaneta66

2 years ago

2 points

122.

Advent of Code Solvers

github.com/navarr

11 years ago

2 points

123.

LLM Transparency

github.com/st-tech

a month ago

1 points

124.

Show HN: I made a hit and blow solver comand line tool

github.com/ponyo877

2 years ago

1 points

125.

Show HN: lpviz – Interactive linear programming visualization in the browser

a day ago

8 points

126.

Poetiq: SOTA Reasoning on ARC-AGI

github.com/poetiq-ai

7 months ago

4 points

127.

Portfolio Covariance Optimization and Market Impact Capacity Engine

github.com/dy9gzbph7m-cpu

a day ago

2 points

128.

Ruzzle Lego Mindstorm Nxc NodeJS Solver

github.com/albertosarullo

13 years ago

1 points

129.

Poetiq: SOTA Reasoning on ARC-AGI

github.com/poetiq-ai

7 months ago

1 points

130.

Bugfreak a free opensource bug tracker for .net and android

13 years ago

2 points

131.

Logic Solver: a boolean satisfiability solver written in JavaScript

github.com/meteor

11 years ago

1 points

132.

PubGrub: A next-generation version solving algorithm

github.com/dart-lang

3 years ago

1 points

133.

Enhancing Factorio with SAT solvers

github.com/R-O-C-K-E-T

2 years ago

376 points

134.

CreuSAT: Formally verified SAT solver written in Rust and verified with Creusot

github.com/sarsko

4 years ago

315 points

135.

Image unshredding using a TSP solver

github.com/robinhouston

5 years ago

216 points

136.

Image unshredding using a TSP solver

github.com/robinhouston

10 years ago

205 points

137.

Autoresearch for SAT Solvers

github.com/iliazintchenko

3 months ago

167 points

138.

github.com/FelixNeutatz

12 years ago

165 points

139.

Buster: Captcha Solver for Humans

github.com/dessant

2 years ago

154 points

140.

A sudoku solver in 33 lines of Clojure

gist.github.com

14 years ago

148 points

141.

Gophersat: A SAT solver written in Go

github.com/crillab

9 years ago

133 points

142.

Sudoku Solver in 140 bytes

gist.github.com

15 years ago

123 points

143.

Show HN: My Python Solver for the On-Time Arrival Problem in Traffic Congestion

github.com/mehrdadn

9 years ago

121 points

144.

Show HN: Generate guitar tablature using a constraint solver

github.com/senshu

6 years ago

_mouvantsillage

109 points

145.

ToySMT – simple SMT solver under 1500 SLOC of pure C

github.com/DennisYurichev

8 years ago

91 points

146.

OpenSilver is a modern, plugin-free, open-source reimplementation of Silverlight

github.com/OpenSilver

6 years ago

84 points

147.

CUBOTino: A small, simple, 3D printed, inexpensive Rubik's Cube solver robot

github.com/AndreaFavero71

3 years ago

81 points

148.

HODLR: Fast direct solver and determinant computation for dense linear systems

github.com/sivaramambikasaran

9 years ago

69 points

149.

Buster: Captcha Solver for Humans

github.com/dessant

7 years ago

61 points

150.

Simple SAT Solver in Haskell

gist.github.com

14 years ago

57 points