Pinned Repositories
clocktui
custom-nix
custom_latex_packages
some custom latex packages
darktable-lua-scripts
dolev-yao-star
DY*: A Modular Symbolic Verification Framework for Executable Cryptographic Protocol Code
dot2tex
Convert graphs generated by Graphviz to LaTeX friendly formats
eduroam-flake
install eduroam on Nix systems
geosans-beamer-theme
nixomagus
z3.rs
Rust bindings for the Z3 solver.
puyral's Repositories
puyral/z3.rs
Rust bindings for the Z3 solver.
puyral/clocktui
puyral/custom-nix
puyral/custom_latex_packages
some custom latex packages
puyral/darktable-lua-scripts
puyral/dolev-yao-star
DY*: A Modular Symbolic Verification Framework for Executable Cryptographic Protocol Code
puyral/eduroam-flake
install eduroam on Nix systems
puyral/egglog
egraphs + datalog!
puyral/eza
A modern alternative to ls
puyral/nixomagus
puyral/ord-utils
puyral/search-for-unsound-fstar-and-vampire
Looking for unsoundness when using `vampire` as a backend for `fstar`
puyral/egg
egg is a flexible, high-performance e-graph library
puyral/empty-flake
puyral/lua-scripts
puyral/mathlib4
The math library of Lean 4
puyral/nixpkgs
Nix Packages collection & NixOS
puyral/rnote
Sketch and take handwritten notes.
puyral/rpds
Rust persistent data structures
puyral/sass-rocket-fairing
A rocket fairing to compile sass files automagically on change
puyral/secpriv-beamer-template
puyral/shared_child.rs
a wrapper around std::process::Child that lets multiple threads wait or kill at once
puyral/squirrel-prover
The Squirrel Prover repository. An interactive prover for the formal verification of security protocols.
puyral/steel
An embedded scheme interpreter in Rust
puyral/transcoder
Python wrapper for ffmpeg for batch and/or concurrent transcoding
puyral/turboprint-nix
puyral/uv2nix
puyral/vampire
The Vampire Theorem Prover
puyral/z3
The Z3 Theorem Prover
puyral/zdb-recover
Copy files off of a ZFS pool that have corrupted blocks using ZDB