jariazavalverde

José Antonio Riaza Valverde's repositories

fasill

Fuzzy Aggregators and Similarity Into a Logic Language

Language:PrologBSD-3-Clause21 50

blog

Blog sobre programación declarativa, lógica y funcional

Language:Haskell8 30

prolog-smtlib

An SMT-LIB parser in Prolog

Language:PrologBSD-3-Clause7 60

sat

Boolean satisfiability problem

Language:CBSD-3-Clause6 30

prolog-union-find

A union-find algorithm implementation for SWI-Prolog

Language:PrologBSD-3-Clause2 20

graphs

A generator of graphs written in Python and LaTeX

Language:TeXBSD-3-Clause1 20

prolog-dimacs

A set of parsers for DIMACS formats written in Prolog

Language:PrologBSD-3-Clause1 20

prolog-lens

Language:PrologBSD-3-Clause1 20

stuff

Random useless stuff

Language:Haskell1 20

ts-pio

A monadic library for I/O actions in TypeScript

Language:TypeScriptBSD-3-Clause1 20

dot-yayas

Language:ScalaBSD-3-Clause030

enumerability

Enumerable and countable data types in Haskell

Language:HaskellBSD-3-Clause020

fun-fun-plot

A Python 2D declarative plotting library

Language:PythonBSD-3-Clause020

grammar

Language:HaskellBSD-3-Clause020

hackage-turing-machines

A simple simulator for Turing machines

Language:HaskellMIT020

modular-synth

Modular synthesis in Haskell

Language:HaskellBSD-3-Clause020

moe

A monadic multimodal emotion recognition framework to detect and combine emotions in Haskell

Language:HaskellBSD-3-Clause020