tools

Mechanical engineering in Dutch literally translates to "toolmakership". Turns out software tools are just as useful and important! Here are some of the tools I enjoy using:

Teamwork


Pre-commit

Sometimes you forget to run checks on your code, this will automagically check the specific files you are committing with your preferred tools. πŸ”—

Gitkraken

Allows me to better manage multiple projects that are composed of multiple repos each, by providing multi repo project overviews. πŸ”—

MKDocs Material

Really great and polished experience for adding Automated documentation generated from Docstrings to your project. πŸ”—

Zotero

Reference manager that’s not owned by evil publisher and the new iPad app is actually really great! πŸ”—


Personal


z4h

Natural and really sensible modern extension of the general shell experience. πŸ”—

PDM

Respects PEP Standards for pyproject.toml, unlike Poetry. πŸ”—

Ruff

The main benefit is that it is now all included in one, much faster, tool. πŸ”—


Technical


Zenoh

Flexible distributed messaging that just works, with innovative new communication patterns. πŸ”—

NiceGUI

Start prototyping your frontend in just 3 lines of Python code, choose from many easy-to-use components including 3D scenes! πŸ”—

Mprocs

While Docker compose is usefull for starting longer running services together, for robotics we also want to conveniently restart specific services for testing. πŸ”—