José Antonio Riaza Valverde's Projects
Blog sobre programación declarativa, lógica y funcional
Enumerable and countable data types in Haskell
Fuzzy Aggregators and Similarity Into a Logic Language
A Python 2D declarative plotting library
A generator of graphs written in Python and LaTeX
A simple simulator for Turing machines
Modular synthesis in Haskell
A monadic multimodal emotion recognition framework to detect and combine emotions in Haskell
A set of parsers for DIMACS formats written in Prolog
An SMT-LIB parser in Prolog
A union-find algorithm implementation for SWI-Prolog
Boolean satisfiability problem
Random useless stuff
A monadic library for I/O actions in TypeScript