Search Results for "checkers" - Page 2

... a user-defined maximum threshold on the approximation error introduced by the abstraction procedure. FAUST2 allows exporting the abstract model to well-known probabilistic model checkers, such as PRISM or MRMC. Alternatively, it can handle internally the computation of PCTL properties (e.g. safety or reach-avoid) over the abstract model, and refine the outcomes over the concrete dtMP via a quantified error that depends on the abstraction procedure and the given formula.

Русские шашки на JavaFX. Для запуска необхадима Java 8. Скачиваем отсюда http://jdk8.java.net.

An Gramadóir is a grammar checking engine that is designed for the rapid development of grammar checkers for minority languages and other languages with limited computational resources.

Voikko is a spell checking, grammar checking, morphological analysis and hyphenation system. Spell checkers are available for multiple languages, other features for Finnish only.

This is a project for creating corpora with misspellings marked and the correct word given. Example use could be for testing spell checkers.

TCP Java Games is a project aimed at creating a server to which users can connect and play games with each other. At the moment, only checkers exists but the project will be expanded to include other games as well. The project consists of a server which hosts the games and which each user connects to, and a client which connects to the server.

This project offers galician dictionaries for several spell checkers: "Ispell", "Myspell" , "Aspell", "Spell Checker for Edit Boxes" and "Excalibur".

JSpell is a Java API for providing text-checking functionality (spell checkers, grammar checkers, style checkers etc.) to Java programs. It is designed to support all text-checking engines via a plugin architecture, and to be as easy to use as possib

Joaquim is a java implementation of brazilian checkers (aka draughts) game. It has a console-based interface. Brazilian Checkers has the same rules as International Checkers but it is played on a 8x8 board.

Java based client / server online games engine & API for easy creation/running of real-time multiplayer games. Games include Battleships, Camelot, Checkers, Chess, Connect 4, Dots, Go, Octagons, Texas Hold'em Poker, Reversi, Spades, Tetris & Tic-tac-toe

This is a command line checkers game for UNIX-like operating systems. It is a fun family oriented board game!

flManowar is simple jabber client with boards games support (battleship,checkers and reversi included)

"Many Games" is a system for creating and running a nearly endless number of user-defined (or downloaded) games in a graphical system. It will support games, such as checkers, tetris, solitaire, breakout, and almost any other two dimensional game.

Trata-se de um projeto para criar uma extensão do Checkers frameworks com objetivo de tratar falhas de segurança ligadas a tampering attacks

Engine and interface to play the checkers variant Give & Take. At first glance, the game seems to be yet another boring checkers variant. That is until you realize what a change one subtle extra rule can make.

A Checkers game implementation in Java that is optimized for AI's. It includes a basic GUI and a trainer for learning AI's. This started as a Checkers program for a Checkers AI contest in the Stanford EPGY 2008 summer AI course.

The Lingual Quanta is an organization created by software engineers that are interested in Natural Language Processing technologies focused in libraries useful for projects such as grammar checkers, text markups etc.

`Tetra' is a board game, the 3D extended version of `Chinese Checkers' (see detail at: http://en.wikipedia.org/wiki/Chinese_Checkers). Our project `K.L.'s Tetra' is a platform for Tetra game play.

Bordeaux1 Chinese Checkers is a playable Chinese Checkers simulator with GUI and AI. It was developed for a master's project and thesis at the University of Sciences and Technologies of Bordeaux 1, France, by a group of four computer science students.

Moved to github: https://github.com/kesara/checkersplus Client server based, platform independent, multi player American Checker (English Draughts) game. With J2EE based server, Java Client and a Windows.NET client.

Games With Another Dimension. This project is for development of a set of 4 dimensional games. The current games include 4by and 5by tic-tac-toe and mazes. Additional games to add are Checkers, a Risk type game, a Pacman type game and a shooter game.

The Dolphin Project is intended to be a research project aggregating tools related to Open Source Satisfiability Solver tools and tools related to them like Bounded Model Checkers and Software Verifiers.

DamePlus is an OpenGL based checkers game including several game modes such as "Dame", "Dame International", "Wolf und Schaf" etc. Also for playing human vs. computer some AI is implemented.

The Java AI Gaming Engine is a collection of games that allow easy integration, testing, and competition of AIs. The games that are supported: Hex and Ataxx, and in the future: TicTacToe, Chess, Checkers, Rock-Paper-Scissors, and more.

QCheckers is a Qt version of the classic boardgame "checkers". Homepage: https://portnov.github.io/qcheckers GitHub: https://github.com/portnov/qcheckers