andsanmar

PhD @ HexHive @ EPFL

EPFLLausanne

Pinned Repositories

AdventCode
Language:Python18 12 013
andsanmar.github.io
My personal webpage
Language:HTML0 2 00
dotfiles
My personal configuration of my desktop enviroment
Language:Emacs Lisp2 2 21
saturate
A custom SAT solver in rust
Language:Rust1 2 30
trust-sec23
71
hexhive.github.io
HexHive homepage
Language:HTML9 24 02
specrop
Code repository for experiments in SpecROP paper
Language:C10 4 15
Git-Talk17
Language:Python0 4 00
piaroll
Simplified rhythm editor for PS activity
Language:JavaScript2 2 10

andsanmar's Repositories

andsanmar/dotfiles
My personal configuration of my desktop enviroment
Language:Emacs Lisp2 2 21
andsanmar/saturate
A custom SAT solver in rust
Language:Rust1 2 30
andsanmar/andsanmar.github.io
My personal webpage
Language:HTML0 2 00