Search: github.com/Sjlver | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

301.

Elkai – Python 3 travelling salesman (approximate) solver library

github.com/pyentropy

7 years ago

1 points

302.

Wafer: Parallelized 3D FDTD Schrödinger Equation Solver in Rust

github.com/Libbum

7 years ago

1 points

303.

Show HN: Rust Solver for the NYT's Letter Boxed Puzzle

github.com/SawyerHood

7 years ago

1 points

304.

Show HN: A Linjat Solver Using Z3

github.com/redfast00

7 years ago

1 points

305.

Show HN: Sliding Puzzle Game with Iterative Deepening A* AI Solver (iOS)

github.com/gsurma

7 years ago

1 points

306.

Show HN: A simple interactive maze creator and solver

github.com/Ngalstyan4

8 years ago

1 points

307.

Show HN: Rush Hour Puzzle Solver and Generator

github.com/fogleman

8 years ago

1 points

308.

Permutational Invariant Quantum Solver (PIQS)

github.com/nathanshammah

8 years ago

1 points

309.

SAT Solver for Formulae in 3-CNF Implemented in PostgreSQL

gist.github.com

8 years ago

1 points

310.

A sudoku solver application for Android

github.com/harsha-main

8 years ago

1 points

311.

Rosette is a solver-aided language for program synthesis and verification

github.com/emina

8 years ago

1 points

312.

Show HN: Java A* solver for sliding block puzzles

github.com/MaxLeiter

9 years ago

1 points

313.

External SAT Solver (PHP Composer)

github.com/composer

9 years ago

1 points

314.

1980s Turbo Pascal Solver for Puzzle “IN THIS SENTENCE THE NUMBER OF 0 IS _”

github.com/ehud

9 years ago

1 points

315.

Show HN: Pipes puzzle (a.k.a. Net) on a hexagonal grid

hexapipes.vercel.app

4 years ago

537 points

316.

Show HN: Allocate poker chips optimally with mixed-integer nonlinear programming

github.com/jstrieb

2 years ago

213 points

317.

Show HN: Safe-NPM – only install packages that are +90 days old

github.com/kevinslin

7 months ago

90 points

318.

Show HN: LoopMix128 – Fast C PRNG (.46ns), 2^128 Period, BigCrush/PractRand Pass

github.com/danielcota

a year ago

76 points

319.

Show HN: yolo-cage – AI coding agents that can't exfiltrate secrets

github.com/borenstein

5 months ago

60 points

320.

Show HN: xocc – C compiler based on BSD license

5 years ago

39 points

321.

Ask HN: Is an interdisciplinary career worth it?

8 years ago

28 points

322.

Show HN: Reviving a 20-year-old puzzle game Chromatron with Ghidra and AI

4 months ago

28 points

323.

Show HN: Block Sort, a mobile/PWA puzzle game without ads

matthijsgroen.github.io

2 years ago

20 points

324.

Show HN: Symbolic Circuit Distillation: prove program to LLM circuit equivalence

github.com/neelsomani

6 months ago

16 points

325.

Show HN: Paradict – Streamable multi-format serialization with schema

github.com/pyrustic

3 years ago

14 points

326.

Ask HN: What Are Your FOSS Philanthropy Hypotheticals?

16 years ago

14 points

327.

Show HN: An immutable ostree-based Arch Linux image

github.com/myyc

6 months ago

12 points

328.

Show HN: Open-source distributed quantum compute network

3 months ago

11 points

329.

Show HN: I open-sourced a $1M engine for closing loops in embedding space

github.com/onestardao

a year ago

8 points

330.

Show HN: Ant – A from-scratch JavaScript runtime in 9 MB

github.com/themackabu

a month ago

8 points