André Cerqueira's repositories
hostfiles
A collection of category-specific host files
MIT000
SAT-Satisfiability-Solver
Implementação de um provador de fórmulas proposicionais.
Language:Prolog000
void-docs
mdbook source for docs.voidlinux.org
Language:CSSCC-BY-SA-4.0000
void-packages
The Void source packages collection
Language:ShellNOASSERTION000
xbps
The X Binary Package System (XBPS)
Language:CNOASSERTION000