https://github.com/calcitem/sanmill

Sanmill is an open-source, UCI-like Mill/Morris/Merrills/Mühle/Malom (and its variants) program with CUI, Flutter GUI and Qt GUI, sharing and freely distributing the code, tools and data needed to deliver this mill game. We do this because we are convinced that open software and open data are key ingredients to make rapid progress.

ai alpha-beta-pruning bitboard board-game brettspiel ea15e84462 flutter game malom merrills mill mills minimax morris mtdf muehle muhle nine-mens-morris pvs stockfish

Last synced: 04 Apr 2025

https://github.com/dominhduy09/tapthelop12a2

Đây là hình ảnh lớp 12A2 cũng như là kết quả đậu đại học! Chúc mọi người hạnh phúc với con đường mình đã chọn...

cap3 html html5 image images javascript list pvs responsive tapthelop12a2 thoihocsinh thpt thptpvs

Last synced: 03 May 2026

https://github.com/wazzabeee/chess_ai

Java chess AI using Principal Variation Splitting, Piece Square Tables, Opening Book and Tapered Evaluation.

chess chess-ai minimax-alpha-beta-pruning opening-book piece-square-tables principal-variation-splitting pvs quiescence-search tapered-evaluation transposition-table

Last synced: 07 Sep 2025

https://github.com/samuelemusiani/project_37635

A program made to play a generalized version of connect 4 perfectly

connect4 connect4-ai-game connect4-game heuristics java pvs

Last synced: 05 Sep 2025

https://github.com/nokitakaze/pvs2codequality

PVS-to-CodeQuality logger converter

pvs pvs-studio

Last synced: 30 Jul 2025

https://github.com/nokitakaze/docker-pvs-studio

docker pvs pvs-studio

Last synced: 24 Mar 2025

https://github.com/jaalonso/cursos_de_ra

Recopilación de cursos de razonamiento automático.

acl2 agda automated-reasoning coq courses interactive-theorem-proving isabelle-hol lean otter proof-assistant prover9 pvs

Last synced: 18 May 2026