Kaj Munhoz Arfvidsson's repositories
safe_intersections
Ensuring Safety at Intelligent Intersections: Temporal Logic Meets Reachability Analysis
Language:Zig000
awesome-typst
Awesome Typst Links
Language:HTML000
jetson-containers
Machine Learning Containers for NVIDIA Jetson and JetPack-L4T
kaj-class
My very own TeX class!
Language:TeX000
Language:C++000
nats-ros-connector
Enables pub/sub messaging between two ROS robots in different networks over NATS.
Apache-2.0000
nvim-lspconfig
Quickstart configs for Nvim LSP
Apache-2.0000
optimized_dp
Optimizing Dynamic Programming-Based Algorithms
playground
Playground for quick stuff when needed
pytools
Python tool set
Language:Python000
thesis_mvp
Thesis MVP demo
tpope-me
A collection of tpope's vim plugins
MIT000
typst-ieee
An IEEE template for Typst.
typst-packages
Packages for Typst. Open for submissions now.
Language:RustApache-2.0000
typst-slides
A template for creating slides in Typst
Language:Python000
v4l2py
v4l2 rocks in python!
Language:PythonGPL-3.0000