Pinned Repositories
qtrvsim
RISC-V CPU simulator for education purposes
diploma-thesis
gccrs
GCC Front-End for Rust
svgscene
Library which can create QGraphicsScene from SVG image
thesis-slides-rustgcc
Memory Safety Analysis for Rust GCC -- Thesis Defense Slides
yup
Yay Upgraded
jdupak's Repositories
jdupak/diploma-thesis
jdupak/yup
Yay Upgraded
jdupak/gccrs
GCC Front-End for Rust
jdupak/nixpkgs
Nix Packages collection
jdupak/svgscene
Library which can create QGraphicsScene from SVG image
jdupak/thesis-slides-rustgcc
Memory Safety Analysis for Rust GCC -- Thesis Defense Slides
jdupak/zig
General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.
jdupak/aconfmgr
A configuration manager for Arch Linux
jdupak/composer-git-hooks
Easily manage git hooks in your composer config
jdupak/COVID-plot-toy-CZ
This is my toy project for monitoring COVID ill count using data API from Czech Ministry of Heath and and autofiting exponential models. Have fun.
jdupak/cv
jdupak/Diagrams.net-CPU-scheme-kit
jdupak/FEL-PSBrute
Functions to interface with the BRUTE evaluation system at FEE CTU in Prague.
jdupak/FEL-PSBruteEvaluation
jdupak/FEL-PSCodeReview
Code review tool for manual homework evaluation
jdupak/flameshot
Powerful yet simple to use screenshot software :desktop_computer: :camera_flash:
jdupak/lang-talk-borrow-checker
Slides for #lang-talk meetup talk
jdupak/PAP-RISC-V-CPU-VERILOG
Simple RISC-V CPU with 5-stage pipeline created as semestral work at FEE CTU.
jdupak/pmd
An extensible multilanguage static code analyzer.
jdupak/reference
The Rust Reference
jdupak/riscv-asm-manual
RISC-V Assembly Programmer's Manual
jdupak/rofi-copyq
Use Rofi to search CopyQ's clipboard history and set the clipboard to the selected snippet
jdupak/school
Soubory ze semináře z programování
jdupak/slides-gnu-cauldron-2024-borrowing-polonius
jdupak/upload-tartifact
Upload Tar Artifact GHA