manthonyaiello

M. Anthony Aiello's repositories

Python package providing CLI utils — mostly for experimentation

020

Core framework for developing portable automated build systems

Language:Python010

Multi-engine SMT-based automatic model checker for safety properties of Lustre programs

Language:OCamlApache-2.0010

Sources for learn.adacore.com

Language:AdaCC-BY-4.0010

Project to auto-create libraries adhering to the LMCP specification

Language:JavaNOASSERTION010

Project for multi-UAV cooperative decision making

Language:C++NOASSERTION010

Support to automatically install dependencies for and build OpenUxAS

Language:PythonNOASSERTION010

Models of OpenUxAS

NOASSERTION010

Language:Ada010

QGen Demo based on the RC_Car_Demo

Language:Ada010

Language:Jupyter NotebookNOASSERTION010

Syntax highlighting and snippets for LUSTRE

AGPL-3.0010