kaarmu
Research Engineer at KTH -- Robotics ; Computer vision ; Autonomous driving ; Programming language design
Sweden
kaarmu's Stars
esphome/esphome
ESPHome is a system to control your ESP8266/ESP32 by simple yet powerful configuration files and control them remotely through Home Automation systems.
gtbook/robotics
Notebook-based book "Introduction to Robotics and Perception" by Frank Dellaert and Seth Hutchinson
ntjess/typst-drafting
Some common drafting utilities for the `typst` document typesetter
peng1999/typst-pyrunner
Run python code in typst
tsoding/nobuild
Header only library for writing build recipes in C.
vectr-ucla/direct_lidar_inertial_odometry
[IEEE ICRA'23] A new lightweight LiDAR-inertial odometry algorithm with a novel coarse-to-fine approach in constructing continuous-time trajectories for precise motion correction.
PRQL/prql
PRQL is a modern language for transforming data — a simple, powerful, pipelined SQL replacement
fffaraz/awesome-cpp
A curated list of awesome C++ (or C) frameworks, libraries, resources, and shiny things. Inspired by awesome-... stuff.
vinta/awesome-python
An opinionated list of awesome Python frameworks, libraries, software and resources.
avelino/awesome-go
A curated list of awesome Go frameworks, libraries and software
awesome-selfhosted/awesome-selfhosted
A list of Free Software network services and web applications which can be hosted on your own servers
kokke/tiny-regex-c
Small portable regex in C
lvignoli/typst-action
Typst GitHub action
typst/packages
Packages for Typst.
rgossiaux/svelte-headlessui
Unofficial Svelte port of the Headless UI component library
loizoshad/zonopy
This repository contains the source-code developed and used to generate all the results in the research paper "Formal Verification of Linear Temporal Logic Specifications Using Hybrid Zonotope-Based Reachability Analysis", as well as the MSc thesis project "Hybrid Zonotope-Based Reachability Analysis For Linear Temporal Logic Specifications".
pypa/hatch
Modern, extensible Python project management
pydata/numexpr
Fast numerical array expression evaluator for Python, NumPy, Pandas, PyTables and more
vmayoral/ros-robotics-companies
A list of robotics companies using the Robot Operating System (ROS and ROS 2).
NirAharon/BoT-SORT
BoT-SORT: Robust Associations Multi-Pedestrian Tracking
SFU-MARS/optimized_dp
Optimizing Dynamic Programming-Based Algorithms
cornell-zhang/heterocl
HeteroCL: A Multi-Paradigm Programming Infrastructure for Software-Defined Heterogeneous Computing
Gewi413/typst-autodoc
A documentation renderer for typst libraries
do-mpc/do-mpc
Model predictive control python toolbox
ggerganov/whisper.cpp
Port of OpenAI's Whisper model in C/C++
dylanaraps/pure-sh-bible
📖 A collection of pure POSIX sh alternatives to external processes.
maxpert/marmot
A distributed SQLite replicator built on top of NATS
openai/whisper
Robust Speech Recognition via Large-Scale Weak Supervision
musescore/MuseScore
MuseScore is an open source and free music notation software. For support, contribution, bug reports, visit MuseScore.org. Fork and make pull requests!
andreasKroepelin/polylux
A package for creating slides in Typst