16 commits

Author	SHA1	Message	Date
Ohad Livne	a008426031	Install TLAPS for stronger verification of TLA+ models	2026-02-11 22:54:57 +02:00
Ohad Livne	9173b92ea9	Install the F* toolchain	2026-02-10 12:10:10 +02:00
Ohad Livne	0e61f5f32f	Support dynamic resource selection	2026-02-10 12:10:09 +02:00
Ohad Livne	e0c33b01b7	Use bash strict mode in most shell scripts	2025-07-12 23:33:20 +03:00
Ohad Livne	e67964fe6a	Install the kingfisher secret detection tool	2025-06-29 00:36:58 +03:00
Ohad Livne	69457a9603	Install the uv package manager	2025-06-04 22:50:48 +03:00
Ohad Livne	90ed9654e8	Run Audacity in Wayland-compatible mode	2025-06-04 22:47:23 +03:00
Ohad Livne	a54fe8c62b	Manage a user-defined version of the audacity application	2025-06-04 22:47:22 +03:00
Ohad Livne	efa5a95963	Enable the listing of private-mode Firefox as an application	2025-06-04 22:47:22 +03:00
Ohad Livne	d59302bb31	Remove the old venv-based Jupyter kernel	2025-06-04 22:47:08 +03:00
Ohad Livne	3929472997	Install minikube from its GitHub repository	2025-06-04 22:46:26 +03:00
Ohad Livne	77a5e344ae	Set up automated updates for GitHub-sourced binaries	2025-06-04 22:46:26 +03:00
Ohad Livne	c31da870d5	Create a Python3.12 Jupyter kernel using a test virtualenv	2025-06-04 22:45:30 +03:00
Ohad Livne	03db89d3e4	Use Firefox ESR as the default browser	2025-06-04 22:45:22 +03:00
Ohad Livne	34cb2167f1	Use private mode by default for Firefox	2025-06-04 22:44:45 +03:00
Ohad Livne	0c5c88dd30	Track XDG associations and default applications	2025-06-04 22:44:44 +03:00