Giacomo Fenzi's repositories
LatinDiachronicDatabase
A database for quantitative analysis of Latin literature
idris2-vim
Vim mode for Idris 2
kickstart.nvim
A launch point for your personal nvim configuration
vOW4SIKE
The vOW4SIKE project provides C code that implements the parallel collision search algorithm by van Oorschot and Wiener (vOW). The algorithm can be instantiated for generic collision finding and for solving the supersingular isogeny problem in the context of the Supersingular Isogeny Key Encapsulation protocol SIKE.
num-integer
Integer trait and functions for Rust
PQCrypto-SIDH
SIDH Library is a fast and portable software library that implements state-of-the-art supersingular isogeny cryptographic schemes. The chosen parameters aim to provide security against attackers running a large-scale quantum computer, and security against classical algorithms.
rust-analyzer
An experimental Rust compiler front-end for IDEs
salsa
A generic framework for on-demand, incrementalized computation. Inspired by adapton, glimmer, and rustc's query system.