Garden:
- System
-
Parameterized complexity hierarchy
-
Hardness reductions of decision problems
-
Rust cheetsheet
-
Scientific Latex
-
This website
-
Hat chromatic number of graphs
| tags:[ research ]
-
Length of a synchronizing word of finite automata
-
Programming languages
| tags:[ programming language ]
-
Matchings
| tags:[ popular matchings stable marriage ]
-
Typing practice
-
ACM Overview
-
Nástroj pro správu skriptů
| tags:[ program ]
-
Lower bound graphs for known Ramsey numbers
| tags:[ research ]
-
-
Computational and space complexity theory
-
Interesting websites
-
LEAN theorem prover
-
Manim
- Review response
-
Science
-
TikZ
-
Tools for writing a paper