puyral

Pinned Repositories

clocktui
Language:Rust00
custom-nix
Language:Nix00
custom_latex_packages
some custom latex packages
Language:TeX0 1 00
dolev-yao-star
DY*: A Modular Symbolic Verification Framework for Executable Cryptographic Protocol Code
Language:OCaml0 0 00
dot2tex
Convert graphs generated by Graphviz to LaTeX friendly formats
Language:Python0 0 00
egglog
egraphs + datalog!
Language:Rust00
esp-idf
Espressif IoT Development Framework. Official development framework for Espressif SoCs.
Language:C0 0 00
garbaged-vec
Language:Rust0 1 00
geosans-beamer-theme
Language:TeX3 1 02
i3lock
improved screen locker
Language:C0 0 00

puyral's Repositories

puyral/geosans-beamer-theme
Language:TeX3 1 02
puyral/custom_latex_packages
some custom latex packages
Language:TeX0 1 00
puyral/dolev-yao-star
DY*: A Modular Symbolic Verification Framework for Executable Cryptographic Protocol Code
Language:OCaml0 0 00
puyral/dot2tex
Convert graphs generated by Graphviz to LaTeX friendly formats
Language:Python0 0 00
puyral/esp-idf
Espressif IoT Development Framework. Official development framework for Espressif SoCs.
Language:C0 0 00
puyral/garbaged-vec
Language:Rust0 1 00
puyral/i3lock
improved screen locker
Language:C0 0 00
puyral/ord-utils
Language:Rust0 1 00
puyral/scaling-potato
TBD
Language:Rust0 1 00
puyral/search-for-unsound-fstar-and-vampire
Looking for unsoundness when using `vampire` as a backend for `fstar`
Language:SMT0 1 00
puyral/supertag
A tag-based filesystem
Language:Rust0 0
puyral/transcoder
Python wrapper for ffmpeg for batch and/or concurrent transcoding
Language:Python0 0
puyral/vampire
The Vampire Theorem Prover
Language:C++0 0
puyral/zfs-snapshot-disk-usage-matrix
ZFS snapshot disk space usage accounting (Where did all my disk space go?!)
Language:Python0 0
puyral/zram-controller
Dynamic zram
Language:Shell1 0