alvinary

Pinned Repositories

formalizacion
Coursework for 'Formalización de matemática y ciencias de la computación con asistentes de prueba'
Language:Isabelle1 1 00
latex-markdown
A python module for compiling a Markdown-like DSL into pure Latex
Language:Python1 1 01
playground
Assorted functions
Language:Haskell0 1 00
tale
Python module for ASP-like model search
Language:Python2 2 00
BackEnd
Language:Python0 0 00
FrontEnd
Language:JavaScript00
La-Cosa
Implementación sobre interfaz web del juego de cartas La Cosa
Language:Python0 0 00
practical-fm
A gently curated list of companies using verification formal methods in industry
504 56 938
cpython
The Python programming language
Language:Python63.6k 1.5k 70.1k30.5k

alvinary's Repositories

alvinary/tale
Python module for ASP-like model search
Language:Python2 2 00
alvinary/formalizacion
Coursework for 'Formalización de matemática y ciencias de la computación con asistentes de prueba'
Language:Isabelle1 1 00
alvinary/latex-markdown
A python module for compiling a Markdown-like DSL into pure Latex
Language:Python1 1 01
alvinary/playground
Assorted functions
Language:Haskell0 1 00