deduction

There are 11 repositories under deduction topic.

kesiev/kuroshimu
Kuroshimu is a procedural black box investigation game: guess what happened to 6 persons trapped by a cute journalist dog in an endlessly resetting simulated world.
Language:JavaScript8 3 01
petrusmatiros/eyesopen
👀 Mafia/ToS/Werewolf inspired web based game. Play the famous social deduction game, with 14 unique roles!
Language:JavaScript8 1 31
heqin-zhu/system-L
:arrow_right:Formal logic deduction based on system-L
Language:Python5 0 02
trentpiercy/secret-hitler
Secret Hitler pass and play SPA. Built with @Vuejs
Language:HTML5 1 12
DeepDeducing/GameofLife
This repository contains codes of deep deducing playing Game of Life.
Language:Python1 2 00
Michaelsladkov/matlog_lab2
Language:Java1 1 00
micheleorsi/grakn
The Database for AI
Language:Java1 1 00
qdeduction/qbar
the rational proof assistant
Language:Rust1 3 00
TecMF/GraphProver
A graph based prover.
Language:M41 4 00
DeepDeducing/Sudoku
This repository contains codes of deep deducing solving blank Sudoku.
Language:Python0 2 00
ipserc/QUADRATIC-EQUATION-SOLUTION
Deduction of the expression of the quadratic equation solution
1 0