Search: github.com/Sjlver | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

241.

Buster – captcha solver browser add-on (github.com/dessant)

2 points

7 years ago

242.

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

2 points

7 years ago

243.

Show HN: A solver for L-system grammars (github.com/calebwin)

2 points

7 years ago

244.

Show HN: A simple solver for L-system grammars (github.com/calebwin)

2 points

7 years ago

245.

Show HN: OpenAI's cartpole env solver (github.com/gsurma)

2 points

8 years ago

246.

Julia suite for high-performance solvers of differential equations (github.com/JuliaDiffEq)

2 points

8 years ago

247.

NeuroSAT: Learning a SAT Solver De Novo from Data (github.com/dselsam)

2 points

8 years ago

248.

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

2 points

9 years ago

249.

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

2 points

9 years ago

250.

Discrete tomography and Z3 SMT-solver (github.com/dennis714)

2 points

9 years ago

251.

Mathsteps, a step-by-step solver for math (github.com/socraticorg)

2 points

9 years ago

252.

SnapSudoku – Sudoku solver using an image (github.com/prajwalkr)

2 points

10 years ago

253.

A simple ClojureScript rubiks-cube-solver app using scenejs and reagent (github.com)

2 points

sunilnandihalli

10 years ago

254.

Poker Hand Solver in JavaScript (github.com/goldfire)

2 points

10 years ago

255.

Isabelle as a solver in Leon (github.com/epfl-lara)

2 points

11 years ago

256.

GPU solver that matches Fujitsu's $1M Digital Annealer on cubic optimization (github.com/MysticCodingCat)

1 point

2 months ago

257.

Show HN: Deep Learning (Global Linear Solvers), Polyharmonic Splines (No SGD) (github.com/xolod7)

1 point

Yuriy_Bakhvalov

5 months ago

258.

A Wordament Solver (github.com/abhinababasu)

1 point

4 years ago

259.

MSR Z3 Solver Bindings for Go (github.com/stefanbucur)

1 point

11 years ago

260.

Peg Solitaire (HiQ) Solver Built Using Python (github.com/lsxliron)

1 point

11 years ago

261.

C port of Facebook's Pop spring solver for animations (INTUAnimationEngine) (github.com/intuit)

1 point

11 years ago

262.

Quartic equation solver for Node.js (github.com/lavelle)

1 point

11 years ago

263.

Eight Puzzle Solver in Node.js Using A* (github.com/primaryobjects)

1 point

11 years ago

264.

Quick'n'dirty solver for gameaboutsquares.com (gist.github.com)

1 point

12 years ago

265.

[ANN] gocrosswise - A brute force cross word solver in Go (github.com/andreas-gone-wild)

1 point

13 years ago

266.

Sudoku2go: sudoku grabber and solver using OpenCV, JavaFX, and Scala (github.com/rladstaetter)

1 point

13 years ago

267.

Decider - an easy to use, open source C# Constraint Solver (github.com/lifebeyondfife)

1 point

13 years ago

268.

Show HN: Verifying AWS Costs Deterministically with Z3 SMT Solver (WASM) (github.com/KLOUCEO)

1 point

a month ago

269.

Bitwuzla: Satisfiability Modulo Theories (SMT) Solver (github.com/bitwuzla)

1 point

a month ago

270.

Show HN: WTF-CLI – An AI-powered terminal error solver written in Rust (github.com/JitseLambrichts)

1 point

JitseLambrichts

3 months ago