tale
Python module for ASP-like model search
PythonUpdated 8/17/2024
formalizacion
Coursework for 'Formalización de matemática y ciencias de la computación con asistentes de prueba'
IsabelleUpdated 7/29/2024
latex-markdown
A python module for compiling a Markdown-like DSL into pure Latex
PythonUpdated 7/3/2024
playground
Assorted functions
HaskellUpdated 2/13/2024