aeyno
PhD student in Pesto team, Inria, France I like security, cryptography, software architecture, low level programming and free software
France
Pinned Repositories
antlr4-docker
Docker container for Antlr4
devSetup
A simple CLI tool to install your dev environnement on linux
fran-c
A French programming language
Informatique-MPSI-MP
Les algorithmes utiles pour la prépa MPSI/MP
libmemtester-rs
A Rust library to check for faulty memory
memtester-rs
A cross-platform memory tester written in Rust
rofipaste
A tool to paste some useful things
Tesh
A simple POSIX Shell made for a school project
tree-sitter-tamarin
Tree-sitter grammar and syntax highlight for the Tamarin Prover theory files
tlspuffin
A Dolev-Yao-model-guided fuzzer for TLS
aeyno's Repositories
aeyno/rofipaste
A tool to paste some useful things
aeyno/antlr4-docker
Docker container for Antlr4
aeyno/devSetup
A simple CLI tool to install your dev environnement on linux
aeyno/fran-c
A French programming language
aeyno/Informatique-MPSI-MP
Les algorithmes utiles pour la prépa MPSI/MP
aeyno/libmemtester-rs
A Rust library to check for faulty memory
aeyno/progrss
aeyno/RofiTodo
A to-do list using Rofi compatible with todo.txt
aeyno/tlspuffin
A Dolev-Yao-model-guided fuzzer for TLS
aeyno/archlinux-hardening-scripts
aeyno/memtester-rs
A cross-platform memory tester written in Rust
aeyno/Tesh
A simple POSIX Shell made for a school project
aeyno/tree-sitter-tamarin
Tree-sitter grammar and syntax highlight for the Tamarin Prover theory files
aeyno/assembly-debugger
A tool to debug an assembly program using lldb
aeyno/comparable
A library for comparing data structures in Rust, oriented toward testing
aeyno/qmetaobject-rs
Integrate Qml and Rust by building the QMetaObject at compile time.
aeyno/sysinfo
Cross-platform library to fetch system information
aeyno/thirtybees-docker-compose
aeyno/tournesol
Free and open source code of the Tournesol platform. Learn more about the project on our Wiki https://wiki.tournesol.app/ or meet the community on Discord https://discord.gg/WvcSG55Bf3
aeyno/WatchTogether
Synchronize video players between web browsers