pvs
Here are 20 public repositories matching this topic...
Recopilación de cursos de razonamiento automático.
-
Updated
Jun 24, 2022
-
Updated
Feb 11, 2021 - Dockerfile
Verifying Multi-party Authentication Using Rank Functions and PVS
-
Updated
Mar 15, 2022
This repository holds a requirements document for an Isolette system. The requirements were proven complete using a theorem prover (PVS - Specification & Verification System)
-
Updated
Nov 7, 2017 - TeX
Java chess AI using Principal Variation Splitting, Piece Square Tables, Opening Book and Tapered Evaluation.
-
Updated
Dec 15, 2022 - Java
A program made to play a generalized version of connect 4 perfectly
-
Updated
Sep 3, 2023 - Java
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
-
Updated
Jul 9, 2022 - C++
Open Source occlusion culling engine for 3D Scenes
-
Updated
Jun 23, 2023 - C++
Đâ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...
-
Updated
Oct 4, 2023 - SCSS
Курсовой проект по Проектированию вычислительных сетей, 3 семестр магистратуры ИУ7 МГТУ им Баумана
-
Updated
Mar 8, 2019 - C
Module to simplify Citrix PVS or MCS based deployments by providing a set of useful helper functions
-
Updated
Jul 30, 2017 - PowerShell
-
Updated
Aug 8, 2024 - Java
The visilib project aims to provide an efficient and robust C++ library for exact visibility computation in 3D.
-
Updated
Jun 18, 2024 - C++
Chinese Chess(中国象棋) - A Free iOS App(C & Obj-C & Swift)
-
Updated
Sep 12, 2021 - Swift
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.
-
Updated
Sep 22, 2024 - Dart
Improve this page
Add a description, image, and links to the pvs topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the pvs topic, visit your repo's landing page and select "manage topics."