Pinned Repositories
secret-santa
Project for the Introduction to Modern Cryptography course. Consists of a 'secret santa' web app implemented using cryptography.
2018-1-Jocelyns-Minions-T3
2018-1-No-puedo-tengo-tarea-de-Ingenieria-de-Software-T4
metacoq
Metaprogramming in Coq
secd
A simple SECD to ARM Assembler compiler. Built using beautiful-racket by @mbutterick.
PyMuPDF
PyMuPDF is a high performance Python library for data extraction, analysis, conversion & manipulation of PDF (and other) documents.
GPRicci's Repositories
GPRicci/metacoq
Metaprogramming in Coq
GPRicci/secd
A simple SECD to ARM Assembler compiler. Built using beautiful-racket by @mbutterick.