Search: github.com/Sjlver | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

241.

Kalidokit, a blendshape and kinematics solver for TensorFlow models

github.com/yeemachine

5 years ago

2 points

242.

Java Constraint Solver for Vehicle Routing Problem (VRP)

github.com/emarkou

6 years ago

2 points

243.

Show HN: Solver for multiphase flows with surface tension

github.com/cselab

6 years ago

2 points

244.

Modern solvers: Problems well-defined are problems solved

github.com/LeelaChessZero

6 years ago

2 points

245.

Show HN: A Vehicle Routing Problem solver written on Rust

github.com/reinterpretcat

6 years ago

2 points

246.

A Snake Egg Puzzle Solver

github.com/tuzz

6 years ago

2 points

247.

Inox: Solver for higher-order functional programs

github.com/epfl-lara

7 years ago

2 points

248.

Buster – captcha solver browser add-on

github.com/dessant

7 years ago

2 points

249.

PyTorch Implementation of Differentiable ODE Solvers

github.com/rtqichen

7 years ago

2 points

250.

Show HN: A solver for L-system grammars

github.com/calebwin

7 years ago

2 points

251.

Show HN: A simple solver for L-system grammars

github.com/calebwin

7 years ago

2 points

252.

Show HN: OpenAI's cartpole env solver

github.com/gsurma

8 years ago

2 points

253.

Julia suite for high-performance solvers of differential equations

github.com/JuliaDiffEq

8 years ago

2 points

254.

NeuroSAT: Learning a SAT Solver De Novo from Data

github.com/dselsam

8 years ago

2 points

255.

ripgrep: the raw speed of grep with the usability of the Silver Searcher

github.com/BurntSushi

9 years ago

2 points

256.

Ripgrep: the usability of the Silver Searcher with the raw speed of GNU grep

github.com/BurntSushi

9 years ago

2 points

257.

Discrete tomography and Z3 SMT-solver

github.com/dennis714

9 years ago

2 points

258.

Mathsteps, a step-by-step solver for math

github.com/socraticorg

9 years ago

2 points

259.

SnapSudoku – Sudoku solver using an image

github.com/prajwalkr

10 years ago

2 points

260.

A simple ClojureScript rubiks-cube-solver app using scenejs and reagent

10 years ago

sunilnandihalli

2 points

261.

Poker Hand Solver in JavaScript

github.com/goldfire

10 years ago

2 points

262.

Isabelle as a solver in Leon

github.com/epfl-lara

11 years ago

2 points

263.

GPU solver that matches Fujitsu's $1M Digital Annealer on cubic optimization

github.com/MysticCodingCat

2 months ago

1 points

264.

Show HN: Deep Learning (Global Linear Solvers), Polyharmonic Splines (No SGD)

github.com/xolod7

6 months ago

Yuriy_Bakhvalov

1 points

265.

A Wordament Solver

github.com/abhinababasu

4 years ago

1 points

266.

MSR Z3 Solver Bindings for Go

github.com/stefanbucur

11 years ago

1 points

267.

Peg Solitaire (HiQ) Solver Built Using Python

github.com/lsxliron

11 years ago

1 points

268.

C port of Facebook's Pop spring solver for animations (INTUAnimationEngine)

github.com/intuit

11 years ago

1 points

269.

Quartic equation solver for Node.js

github.com/lavelle

11 years ago

1 points

270.

Eight Puzzle Solver in Node.js Using A*

github.com/primaryobjects

11 years ago

1 points