jdupak

diploma-thesis

yup

Yay Upgraded

gccrs

GCC Front-End for Rust

nixpkgs

Nix Packages collection

svgscene

Library which can create QGraphicsScene from SVG image

thesis-slides-rustgcc

Memory Safety Analysis for Rust GCC -- Thesis Defense Slides

zig

General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.

aconfmgr

A configuration manager for Arch Linux

composer-git-hooks

Easily manage git hooks in your composer config

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.

cv

Diagrams.net-CPU-scheme-kit

FEL-PSBrute

Functions to interface with the BRUTE evaluation system at FEE CTU in Prague.

FEL-PSBruteEvaluation

FEL-PSCodeReview

Code review tool for manual homework evaluation

flameshot

Powerful yet simple to use screenshot software :desktop_computer: :camera_flash:

lang-talk-borrow-checker

Slides for #lang-talk meetup talk

PAP-RISC-V-CPU-VERILOG

Simple RISC-V CPU with 5-stage pipeline created as semestral work at FEE CTU.

pmd

An extensible multilanguage static code analyzer.

reference

The Rust Reference

riscv-asm-manual

RISC-V Assembly Programmer's Manual

rofi-copyq

Use Rofi to search CopyQ's clipboard history and set the clipboard to the selected snippet

school

Soubory ze semináře z programování

upload-tartifact

Upload Tar Artifact GHA