ildyria
Cryptographer, PhD in Formal Methods and Cryptography Main dev of @LycheeOrg
ABN AMRO Bank N.V.Netherlands
Pinned Repositories
Advanced-Git-In-30minutes
Arimaa
bib.py
Simple script to align and check your file.bib.
cv
dotfiles
iFilger
Light power aura classic with aura by defaults.
laptop-setup-ansible
Automation of redeployment in case of Disaster Recovery 🤯
Tukui_DrTracker
A little DrTracker for Tukui Arena Frames
Lychee
A great looking and easy-to-use photo-management-system you can run on your server, to manage and share photos.
ildyria's Repositories
ildyria/iFilger
Light power aura classic with aura by defaults.
ildyria/Advanced-Git-In-30minutes
ildyria/Arimaa
ildyria/Tukui_DrTracker
A little DrTracker for Tukui Arena Frames
ildyria/CompCert
The CompCert C verified compiler
ildyria/MorusBias
ildyria/ProjectEuler
My solutions to ProjectEuler's problems
ildyria/Tukui_ClassMonitor
Monitor class resources such as combo points, energy, runes, soul shard, mana, ... (aka enhanced sCombo)
ildyria/MiniMorus
ildyria/ProjetAqCo
ildyria/VST
Verified Software Toolchain
ildyria/AnswerPortal
ildyria/Constraint
ildyria/cryptanalyses
Random stuff about crypto
ildyria/fstar-mode.el
Emacs support for F*
ildyria/hyblab
ildyria/language-jaz
ildyria/Mage-analyser
source code of my Mage analyser
ildyria/opam-repository
Personal opam repository because it is easier to track my own package...
ildyria/Reseau
ildyria/SimSoC-Cert
https://gforge.inria.fr/projects/simsoc-cert/
ildyria/small-civ
ildyria/stlink
stm32 discovery line linux programmer
ildyria/WoWRanked