This is your work, valued
Sweden
Kaj Munhoz Arfvidsson
Advanced@kaarmu
Working on formal methods in control. Also interested in programming language design.
typst.vim. Vim plugin for Typst
382splash. A library of color palettes for Typst.
60git-token. Manage git tokens with password protected files.
5safe_intersections. Ensuring Safety at Intelligent Intersections: Temporal Logic Meets Reachability Analysis
3rosonic. Write pythonic ROS nodes, fast and comfortably
3dotfiles. Lua
2zig-v4l2. v4l2 interface in zig!
1 views searches