Extra Tools
An easy to use on-screen annotation software inspired by Epic Pen.
Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.
SearXNG is a free internet metasearch engine which aggregates results from various search services and databases. Users are neither tracked nor profiled.
Microsoft PowerToys is a collection of utilities that help you customize Windows and streamline everyday tasks
Free and open-source software that allows users to set animated desktop wallpapers and screensavers powered by WinUI 3.
AutoHotkey - macro-creation and automation-oriented scripting utility for Windows.
Pandoc document export plugin for Obsidian (https://obsidian.md)
Integrate Git version control with automatic commit-and-sync and other advanced features in Obsidian.md
Automatic extraction of relevant features from time series:
A lightweight utility that makes the Windows taskbar translucent/transparent.
Make Zotero effective for us LaTeX holdouts
An extremely fast Python linter and code formatter, written in Rust.
Extremely fast Query Engine for DataFrames, written in Rust
A toolchain for web projects, aimed to provide functionalities to maintain them. Biome offers formatter and linter, usable via CLI and LSP.
Incredibly fast JavaScript runtime, bundler, test runner, and package manager – all in one
⚓ A collection of high-performance JavaScript tools.
Nim is a statically typed compiled systems programming language. It combines successful concepts from mature languages like Python, Ada and Modula. Its design focuses on efficiency, expressiveness,…
Language server for GLSL (autocomplete, goto-definition, formatter, and more)
GlazeWM is a tiling window manager for Windows inspired by i3wm.