Pinned Repositories
cbmc
C Bounded Model Checker
eldarica
The Eldarica model checker
mailR
A utility to send emails from the R programming environment
openssl
sharpSAT
The #SAT solver sharpSAT
cryptominisat
An advanced SAT Solver
example-go-goget
An example Go project that does not use any package manager to demonstrate SourceClear scans.
fvwm3
FVWM version 3 -- the successor to fvwm2
vladrich's Repositories
vladrich/x11-window-search
Navigate between X11 windows by typing
vladrich/json-viewer
Display JSON file as tree in GUI
vladrich/fvwm3
FVWM version 3 -- the successor to fvwm2
vladrich/run-hidden
run-hidden runs Windows console apps like PowerShell with hidden console window.
vladrich/WebGoat
WebGoat 8.0
vladrich/svg2tikz
Convert SVG figures to TiKZ
vladrich/mailR
A utility to send emails from the R programming environment
vladrich/wiki-parser
vladrich/example-go-goget
An example Go project that does not use any package manager to demonstrate SourceClear scans.
vladrich/openssl
vladrich/links
Links to stuff arising from or related to the HACS workshop.
vladrich/cbmc
C Bounded Model Checker
vladrich/get-flash-videos
Download or play videos from various Flash-based video hosting sites, without having to use the Flash player.
vladrich/sharpSAT
The #SAT solver sharpSAT
vladrich/eldarica
The Eldarica model checker
vladrich/cryptominisat
An advanced SAT Solver