Pinned Repositories
benchexec
BenchExec: A Framework for Reliable Benchmarking and Resource Measurement
ftx
Unofficial Rust API bindings for the FTX exchange.
ftx-listener
generative-ai-for-beginners
12 Lessons, Get Started Building with Generative AI 🔗 https://microsoft.github.io/generative-ai-for-beginners/
jenkins-pipeline-cache-plugin
A cloud native file cache for Jenkins build pipelines which uses an S3-Bucket as storage provider.
kani
Kani Rust Verifier
latex-thesis-template
A full-featured LaTeX template with subfiles for writing technical theses or other professional texts.
nitwit-validator
A simple interpreter-based violation witness validator for C code.
par
A collection of parallel OpenMP functions.
prcheck
JanSvejda's Repositories
JanSvejda/benchexec
BenchExec: A Framework for Reliable Benchmarking and Resource Measurement
JanSvejda/ftx
Unofficial Rust API bindings for the FTX exchange.
JanSvejda/ftx-listener
JanSvejda/generative-ai-for-beginners
12 Lessons, Get Started Building with Generative AI 🔗 https://microsoft.github.io/generative-ai-for-beginners/
JanSvejda/jenkins-pipeline-cache-plugin
A cloud native file cache for Jenkins build pipelines which uses an S3-Bucket as storage provider.
JanSvejda/kani
Kani Rust Verifier
JanSvejda/latex-thesis-template
A full-featured LaTeX template with subfiles for writing technical theses or other professional texts.
JanSvejda/nitwit-validator
A simple interpreter-based violation witness validator for C code.
JanSvejda/par
A collection of parallel OpenMP functions.
JanSvejda/prcheck
JanSvejda/restrace
REST Trace Collector for build pipelines
JanSvejda/sv-comp
Information to reproduce results from SV-COMP