anand-bala

signal-temporal-logic

A library for efficiently working with Signal Temporal Logic (STL) and its quantitative semantics. Has Python bindings!

dotfiles

My dotfiles and configuration files

PerceMon

Online monitoring for perception systems using Spatio-Temporal Quality Logic

cmake_cpp_template

CMake + CPP template repository

deepsort_ros

fishpkg

A collection of fish plugins that can be installed to ~/.fishpkg

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

bar

A featherweight, lemon-scented, bar based on xcb

Catch2

A modern, C++-native, header-only, test framework for unit-tests, TDD and BDD - using C++11, C++14, C++17 and later (or C++03 on the Catch1.x branch)

darknet_ros

YOLO ROS: Real-Time Object Detection for ROS

dataset_utils

A collection of scripts to translate some datasets I like to fit with YOLO's training format.

discrete-world

Discrete-world as the name says

mecha

A parser combinator library for Zig

monitoring_interfaces

mytexmf

Custom LaTeX classes and packages for my use

omega-automata

A library to create and manipulate Omega-regular automata

percemon-ros-example

perception-algorithms

Repository of PyTorch-based perception algorithms I use/have used in my research

perception_interfaces

ROS2 interfaces (messages) for perception algorithms

perception_ros2

probabilistic-timed-automata

pymdp

A package for defining, solving, and simulating Markov decision processes on discrete and continuous spaces.

python-setuptools-template

Python Setuptools project starter template. Includes settings for mypy, black, isort, flake8, etc.

range-v3

Range library for C++14/17/20, basis for C++20's std::ranges

scenario_runner

Traffic scenario definition and execution engine

stable-baselines3

PyTorch version of Stable Baselines, reliable implementations of reinforcement learning algorithms.

tensorforce

Tensorforce: a TensorFlow library for applied reinforcement learning

yolov3_deepsort

Object tracking implemented with YOLOv3, Deep Sort and Tensorflow.