Member of the Rust Leadership Council and the Rust Compiler and Infrastructure teams. I work as an open-source contributor as a Sovereign Tech Fellow.
hardware-effects. Demonstration of various hardware effects.
3kcargo-wizard. Cargo subcommand for configuring Cargo projects for best performance.
1.1kcargo-pgo. Cargo subcommand for optimizing Rust binaries/libraries with PGO and BOLT.
779rust-delegate. Rust method delegation with less boilerplate
527hardware-effects-gpu. Demonstration of various hardware effects on CUDA GPUs.
391rust-course-fei. Rust course taught at FEI VŠB-TUO.
219cargo-remark. Cargo subcommand for viewing LLVM optimization remarks.
206davis. Assembly debugger written in Angular 2.
68sigmod-2018. Code for the SIGMOD 2018 programming contest. Finished at 2nd place.
13debug-visualizer. Program memory visualizer for GDB/LLDB (bachelor thesis)
12rustlang.cz. Web that gathers information about the Rust community in the Czech Republic.
10sigmod-2019. Code for the SIGMOD 2019 programming contest. Finished at 2nd place.
8memviz. VSCode extension for visualizing address space of C programs
7llvm-instrument. LLVM instrumentation
7rustc-error-evolution. JavaScript
7kobzol.github.io. Blog about programming stuff.
7async-iterator-examples. Examples of Rust async iterators
6phd. Materials for my PhD thesis.
6cuda-profile. Instrumentation based profiler for CUDA (master thesis)
6talks. Source code and slides for my public talks.
5handmade-quake. Quake recreated by following the tutorial from Philip Buuck (https://www.youtube.com/channel/UCXgjH2-Mrb3-h1_iWurz7dQ).
4advent-of-code. Advent of code solutions
4intellij-rust. Rust plugin for the IntelliJ Platform: https://intellij-rust.github.io/
4rust-cmd-spawn-bench. Benchmark for process spawning in Rust, on Linux.
3kobzol.
3rustc-perf. Website for graphing performance of rustc
3cfggen. Python configuration generator
3rust-web-app-demo. Demo of a small newsletter web app in Rust.
2kpzd. Materiály pro předmět Knihovny pro paralelní zpracování dat
1mdBook. Create book from markdown files. Like Gitbook but implemented in Rust
1sigmod-2017. Code for the SIGMOD 2017 programming contest. Finished at 15th place.
1pyladies-extended. Jupyter Notebook
1