Search: github.com/solvingj | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

31.

S.A.R.C.A.S.M: Slightly Annoying Rubik's Cube Automatic Solving Machine

github.com/vindar

8 months ago

278 points

32.

Solving Advent of Code with jq

github.com/odnoletkov

4 years ago

216 points

33.

Solving the first 100 Project Euler problems using 100 languages

github.com/jaredkrinke

a year ago

184 points

34.

Optimize CSS with SAT Solving

github.com/matthewhague

2 years ago

163 points

35.

Snabb Switch – A toolkit for solving novel problems in networking

github.com/SnabbCo

12 years ago

137 points

36.

Solving a Dungeons and Dragons riddle using Prolog

gist.github.com

3 years ago

127 points

37.

Problem Solving and Clojure 1.9 (2018)

github.com/matthiasn

7 years ago

95 points

38.

Solving a physics problem symbolically with C#

gist.github.com

11 years ago

87 points

39.

A Common Lisp library for solving linear programming problems

github.com/neil-lindquist

7 years ago

86 points

40.

Solving State Explosion with Petri-Nets and Vector Clocks

github.com/bitwrap

9 years ago

86 points

41.

Solving the NY Times "Pips" game with F#

github.com/brianberns

8 months ago

63 points

42.

Solving Sudoku with the Python package resolver

github.com/konstin

2 years ago

49 points

43.

Solving a puzzle using the Isabelle proof assistant

gist.github.com

8 years ago

48 points

44.

Show HN: System Prompt Learning – LLMs Learn Problem-Solving from Experience

a year ago

48 points

45.

Constrain – Interactive figures using declarative constraint solving

github.com/andrewcmyers

3 years ago

48 points

46.

Demos of Stream Processing Solving Real-World Problems

github.com/risingwavelabs

a year ago

45 points

47.

Show HN: Solving the ~95% legislative coverage gap using LLM's

6 months ago

41 points

48.

Show HN: IEEE Micromouse simulator – write and test maze-solving code

github.com/mackorone

7 years ago

38 points

49.

Solving the KAYAK crossword puzzle with code

github.com/stepanbujnak

11 years ago

34 points

50.

CompactLog – Solving CT Scalability with LSM-Trees

github.com/Barre

a year ago

30 points

51.

Qbsolv – Solving QUBO Problems in D-Wave

github.com/dwavesystems

9 years ago

23 points

52.

Show HN: Unicaps - a Python package for CAPTCHA solving

github.com/sergey-scat

4 years ago

17 points

53.

A generic dependency solving tool in Ruby

github.com/CocoaPods

11 years ago

15 points

54.

Lightning Flash: A collection of tasks for solving problems with deep learning

github.com/PyTorchLightning

5 years ago

14 points

55.

Show HN: Solving complex optimization problems with Google OR-Tools in browser

github.com/Axelwickm

19 days ago

12 points

56.

Solving the local optima problem – NQueens

github.com/Dpbm

a year ago

11 points

57.

Atomic Display Switching: Solving

github.com/piot5

3 months ago

9 points

58.

Solving the “N+1 Selects Problem” with Muse

github.com/kachayev

11 years ago

9 points

59.

Solving the ESM in Node.js Odyssey

gist.github.com

8 years ago

9 points

60.

Show HN: Solving Sudoku using PHP.

gist.github.com

15 years ago

8 points