- Abu Dhabi
- http://perin.space
-
-
munit Public
Forked from nemequ/munitµnit is a small testing framework for C
C Other UpdatedApr 18, 2022 -
fiat-crypto Public
Forked from mit-plv/fiat-cryptoCryptographic Primitive Code Generation by Fiat
Coq Other UpdatedJan 20, 2022 -
-
xmss-reference Public
Forked from XMSS/xmss-referenceRepository for the XMSS reference code, accompanying RFC 8391, XMSS: eXtended Merkle Signature Scheme
C Creative Commons Zero v1.0 Universal UpdatedDec 1, 2020 -
-
-
hash-sigs Public
Forked from cisco/hash-sigsA full-featured implementation of of the LMS and HSS Hash Based Signature Schemes from draft-mcgrew-hash-sigs-07.
C Other UpdatedJul 8, 2019 -
cfg Public
Dotfiles (install with https://gist.github.com/lucasperin/f9ea9b040745fbeb6160738fb3dec0ab)
Vim Script UpdatedMay 28, 2018 -
sqrl-paper Public
Attempt to describe and verify SQRL authentication protocol
TeX MIT License UpdatedJan 8, 2017 -
metodosEstatisticos Public
Exercícios e listas da disciplina de métodos estatísticos
R UpdatedJun 21, 2016 -
libcryptosec Public
Forked from LabSEC/libcryptosecC++ BSD 3-Clause "New" or "Revised" License UpdatedJun 15, 2016 -
pth_root_finite_fields Public
Sage implementations to extract p-th roots of polynomials in extension fields, using polynomial basis.
Python MIT License UpdatedFeb 16, 2016 -
-
SRBSLL Public
My Simple Recursive Bubble Sorted Linked List.. :)
C++ MIT License UpdatedMar 24, 2015 -
-
LinguagensFormais Public
Trabalho da disciplna de Ling. Formais
Java MIT License UpdatedMar 6, 2015 -
-
CG-Basics Public
Basic Graphical System with algorithms implementations
C++ GNU Lesser General Public License v2.1 UpdatedMar 6, 2015 -
rainloop-webmail Public
Forked from RainLoop/rainloop-webmailSimple, modern & fast web-based email client
JavaScript Other UpdatedDec 2, 2013