You cannot select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

patryk4815 567ac6048c mypy: fix typing issues + CI + lint.sh (#3141) ... * fix mypy errors		6 months ago
..
_docs	Use gdb/lldb from pypi (#3119)	6 months ago
common.sh	mypy: fix typing issues + CI + lint.sh (#3141)	6 months ago
docs-live.sh	make the doc scripts runnable from anywhere (#3040)	7 months ago
generate-docs.sh	make the doc scripts runnable from anywhere (#3040)	7 months ago
generate-readme.py	Show demo gif on docs front page (#3055)	6 months ago
nix-build.sh	Remove poetry and add uv packet manager (#2726)	10 months ago
nix-update-flake-lock.sh	Remove poetry and add uv packet manager (#2726)	10 months ago
release.sh	More robust uv usage (#2986)	7 months ago
verify-docs.sh	make the doc scripts runnable from anywhere (#3040)	7 months ago