mrushyendra/fiction-solver

Stars
1
Language
Python
Created 11 months ago
Updated 11 months ago

mrushyendra/fiction-solver

mrushyendra

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

A Python solver for "Fiction", a Wordle-inspired game. Play as a librarian or guesser against the computer.

planar-segmentation

Segmentation of a video frame into ground and upright objects using sparse and dense optical flow techniques in OpenCV.

godot-z3

Demo project showcasing the use of a custom C++ library for invoking the Z3 SMT Solver in Godot 3

dafny-lite

Verification condition generator for a simple imperative language

godot-deep-dive

A Deep Dive Into the Godot Game Engine

Chalk

CDCL based SAT Solver for boolean formulas in DIMACS CNF format

dialog-flow-bank-bot

Webhook for a dialogflow banking bot. Demonstrates the use of chaining and output contexts to enable validation of parameters before an intent is fulfilled.