Anand Balakrishnan's repositories
signal-temporal-logic
A library for efficiently working with Signal Temporal Logic (STL) and its quantitative semantics. Has Python bindings!
cmake_cpp_template
CMake + CPP template repository
repo_symaut
Algebraic RV algorithm implementation in Java
darknet_ros2
ROS2 wrapper for AlexeyAB/darknet
symbolic-automata-monitors
Simple implementation of symbolic automata for monitoring real-valued signals
boa
The fast conda package builder, based on mamba
CDC2023-SymbolicAutomata-RL
Code for "Model-free Reinforcement Learning for Spatiotemporal Tasks using Symbolic Automata"
dataset_utils
A collection of scripts to translate some datasets I like to fit with YOLO's training format.
nvim-config
My Neovim configurations
omega-automata
A library to create and manipulate Omega-regular automata
perception-algorithms
Repository of PyTorch-based perception algorithms I use/have used in my research
perception_interfaces
ROS2 interfaces (messages) for perception algorithms
pyesminilib
A minimal wrapper around esminiLib using cffi
python-setuptools-template
Python Setuptools project starter template. Includes settings for mypy, black, isort, flake8, etc.
ros-humble
Recipes for ROS 2 Humble Hawksbill
scenario_runner
Traffic scenario definition and execution engine
semiring-einsum
Generic PyTorch implementation of einsum that supports different semirings
stable-baselines3
PyTorch version of Stable Baselines, reliable implementations of reinforcement learning algorithms.