Ángel Miguélez's repositories
document-segmentation
Document segmentation and quality improvement with computer vision techniques in Python and Scikit-Image
interstellar-fight
Game based in Invaders
lambda-calculus-interpreter
Simple lamda-calculus interpreter with subtyping
lightsout-solver
LightsOut logic game solver with declarative programming in Clingo/Telingo
lucene-searcher
Retrieval information utilities to search and evaluate rankings from a Lucene index
polish-clingo-parser
Logical propositions parser. Convert formulas provided in Polish notation to Clingo format.
prettier-C
Prettier for a subset of C code
lucene-indexer
Retrieval information utilities to index and analyse data from Lucene indexes
minesweeper
The typical game of mines