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.

Chinese Chess（中国象棋） - A Free iOS App（C & Obj-C & Swift）

The visilib project aims to provide an efficient and robust C++ library for exact visibility computation in 3D.

Module to simplify Citrix PVS or MCS based deployments by providing a set of useful helper functions

Курсовой проект по Проектированию вычислительных сетей, 3 семестр магистратуры ИУ7 МГТУ им Баумана

Automating Citrix with PowerShell

Citrix PVS Farm Replication

Đâ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...

独立开发的五子棋程序，仅用于学习。based on QT5 framework, implemented the mtd algorithm。

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

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

Bitboard chess engine that uses an NNUE model for node evaluation inside a PVS search. Move tables and plain magic bitboards are used for move generation

Open Source occlusion culling engine for 3D Scenes

Recopilación de cursos de razonamiento automático.

PVS-to-CodeQuality logger converter

Try this app using the below link

Verifying Multi-party Authentication Using Rank Functions and PVS

Competitive chess engine for the chess variant king of the hill

This repository holds a requirements document for an Isolette system. The requirements were proven complete using a theorem prover (PVS - Specification & Verification System)