Martin Matyášek's repositories
deep-rl-hands-on
Examples and exercises from Deep Reinforcement Learning Hands-On
au-railway-station
Semestral project for Automatic Reasoning (A4M33AU) course (OI FEE CTU). Variant: ATP
rust-examples
Examples of various programming language concepts implemented in Rust
codecrafters-redis-rust
Build your own Redis Codecrafters challenge and more
au-sudoku-sat
General sudoku solver that uses SAT formulation and MiniSat solver
clickhouse.rs
A typed client for ClickHouse
codecrafters-http-server-rust
Build your own HTTP server Codecrafters challenge
codecrafters-shell-rust
Build your own Shell Codecrafters challenge
eza
A modern, maintained replacement for ls
http-log-anonymizer
GDPR-complient Kafka-to-ClickHouse ETL pipeline for HTTP logs
makespan-poc
PoC for makespan project https://github.com/matyama/makespan
mas-nqueens
Semestral project for Multi-Agent Systems (AE4M36MAS) course (OI FEE CTU).
maze-pathfinding
Simple maze pathfinding agent implementing A* search algorithm.
pah-uncertainty-planning
Algorithms for planning under uncertainty. Seminar projects for Planning and game playing course.
programming-in-haskell
Exercises from Programming in Haskell
rust-rdkafka
A fully asynchronous, futures-based Kafka client library for Rust based on librdkafka
zal-tutorials
Tutorial exercises for course B6B36ZAL @ FEE CTU