anand-bala Goto Github PK

argus

Tool/library for manipulating and monitoring temporal logic specifications

arte-os

Another Real-Time Embedded OS: My attempt at learning to create an RTOS.

automatax

bar

A featherweight, lemon-scented, bar based on xcb

boa

The fast conda package builder, based on mamba

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)

cdc2023-symbolicautomata-rl

Code for "Model-free Reinforcement Learning for Spatiotemporal Tasks using Symbolic Automata"

cmake_cpp_template

CMake + CPP template repository

darknet_ros

YOLO ROS: Real-Time Object Detection for ROS

darknet_ros2

ROS2 wrapper for AlexeyAB/darknet

dataset_ros

dataset_utils

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

deepsort_ros

discrete-world

Discrete-world as the name says

dotfiles

My dotfiles and configuration files

esrr-emrr-api

此代码为芜湖易来达雷达科技有限公司数据雷达ESRR和EMRR接口函数以及使用example。

fishpkg

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

jekyll-scholar

jekyll extensions for the blogging scholar

mecha

A parser combinator library for Zig

monitoring_interfaces

motionpantilt

Motion-controlled Pan-tilt

mytexmf

Custom LaTeX classes and packages for my use

nvim-config

My Neovim configurations

omega-automata

A library to create and manipulate Omega-regular automata

percemon

Online monitoring for perception systems using Spatio-Temporal Quality Logic

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

prism-parser-py

PRISM Model Checker Language PEG parser in Python