logic-puzzles

Port of Simon Tatham's Portable Puzzle Collection to the PocketBook eReader platform

Logic Engine for Grid-Using Puzzles - a better way to learn formal logic

zebra4j is a generator and solver library for Zebra puzzles, also knows as "logic grid puzzles".

Privacy-first logic puzzle app for Android. No ads, no account, fully offline.

[ACL 2025] FineReason: Evaluating and Improving LLMs' Deliberate Reasoning through Reflective Puzzle Solving

PWA adaptation of Simon Tatham’s Portable Puzzle Collection

Generator for a variety of logic puzzles drawn from books by Raymond Smullyan

Jogo de aventura pirata com três personagens jogáveis (Edward Teach, Thomas Tew e Henry Every). Cada personagem possui 3 fases com desafios de lógica, matemática e batalha naval. Desenvolvido em HTML, CSS e JavaScript puro.

Solve riddles, mysteries, brain teasers, and logic puzzles with AI. Auto Solves Games Like Sudoku, Connect The Dots. Gives Puzzles For You To Solve.

A local Chrome extension that automatically solves LinkedIn Games—including Queens, Tango, Zip, Crossclimb, Pinpoint, Mini Sudoku, Patches, and Wend—with Incognito support and reliable browser input.

A Python library and command-line tool for generating professional puzzle books including Sudoku and Maze puzzles. Create print-ready PDF books with customizable difficulty levels, professional layouts, and high-quality formatting.

Twelve classic & logic-puzzle browser games — vanilla HTML/CSS/JS, no build. Tic-Tac-Toe, 2048, Minesweeper, Memory, Chess, Connect Four, Lights Out, Mini Sudoku, Tango, Queens, Zip, Patches.

Awesome list of 2,200+ small OSS puzzle games/tooling on GitHub

Interactive logic puzzle solver using Prolog and WebAssembly with step-by-step reasoning visualization

Puzzles provides you a fun way to "invent" the key ideas on your own! Even if you fail to solve some puzzles, the time will not be lost as you will better appreciate the beauty and power of the underlying ideas.

A generator for 'Portia's Caskets'

🤖 Enhance your thinking skills with LongCat-Flash-Thinking, an interactive tool for quick and effective cognitive training and memory improvement.

Best LinkedIn Puzzle Solver Extension 2026: Auto-Win All Games

Sudoku solver using SAT: encode puzzles into CNF, solve with a SAT solver, and reconstruct the solution.

Logic puzzle solver