Bazel tools to analyze C/C++ metadata and target dependencies

fast-openISP: a faster re-implementation of openISP

Cross compilation framework to create native packages for the Synology's NAS

This repository contains material related to A Versatile Cybersecurity Development Lifecycle (AVCDL)

Contributed Papers on Critical Reliability Programming

Eliminate all the tedious hassle when making state-of-the-art C++ 14 - 23 libraries!

CodeChecker is an analyzer tooling, defect database and viewer extension for static and dynamic analyzer tools.

Video++, a C++14 high performance video and image processing library.

Model-based design and verification for robotics.

The C++ Network Library Project -- cross-platform, standards compliant networking library.

Integrate Doxygen-generated html docs into Qt Creator tooltips

Range-based for loops to iterate over a range of numbers or values

A C++ Library for Discrete Graphical Models

The BLOG programming language

C++ unsigned 128 bit integer type

Safe email made simple

Qt Creator dark colored theme inspired by JetBrains Dracula

Qt Creator Cppcheck integration plugin [deprecated]

The Multiagent Decision Process (MADP) Toolbox - planning and learning in multiagent systems.

Qt Creator Google Test framework integration plugin [deprecated]

End-To-End is a crypto library to encrypt, decrypt, digital sign, and verify signed messages (implementing OpenPGP)

A modern, portable, easy to use crypto library.

A library for creating and using probabilistic graphical models

Python library for Causal AI

Repository for the ongoing development of the Brown-UMBC Reinforcement Learning And Planning (BURLAP) java library

Some Reinforcement Learning in Python

A Library of MDP algorithms for Artificial Intelligence

hmdp is a C++ library and tools for solving Markov Decision Processes (MDPs) with hybrid discrete and/or continuous state-spaces.

Factored MDP implementation for applications in energy efficiency. Code copyright - Zico Kolter.