Pinned Repositories
kapi-vim
kapi-sysconf
My system configuration with nix
libjade
Crypto library
mlkem-c-embedded
MLKEM implementation optimized for embedded microcontrollers
frodo-easycrypt
mlkem-c-aarch64
ML-KEM implementation optimized for aarch64
bench-test
dotfiles
myarchsetup
pqmx
Benchmarking framework for cryptographic workloads on Armv8.1M+Helium
potsrevennil's Repositories
potsrevennil/mlkem-c-aarch64
ML-KEM implementation optimized for aarch64
potsrevennil/kapi-vim
potsrevennil/kapi-sysconf
My system configuration with nix
potsrevennil/mlkem-c-embedded
MLKEM implementation optimized for embedded microcontrollers
potsrevennil/frodo-easycrypt
potsrevennil/libjade
Crypto library
potsrevennil/bench-test
potsrevennil/pqmx
Benchmarking framework for cryptographic workloads on Armv8.1M+Helium
potsrevennil/slothy
Assembly super-optimization via constraint solving
potsrevennil/dotfiles
potsrevennil/WebDriver
Try to build webdriver according to spec
potsrevennil/myarchsetup
potsrevennil/redmine
potsrevennil/webProgramming