Pinned Repositories
e3-core
Core framework for developing portable automated build systems
learn
Sources for learn.adacore.com
cli
Python package providing CLI utils — mostly for experimentation
e3-core
Core framework for developing portable automated build systems
kind2
Multi-engine SMT-based automatic model checker for safety properties of Lustre programs
learn
Sources for learn.adacore.com
LmcpGen
Project to auto-create libraries adhering to the LMCP specification
OpenUxAS
Project for multi-UAV cooperative decision making
OpenUxAS-bootstrap
Support to automatically install dependencies for and build OpenUxAS
OpenUxAS_Models
Models of OpenUxAS
manthonyaiello's Repositories
manthonyaiello/cli
Python package providing CLI utils — mostly for experimentation
manthonyaiello/e3-core
Core framework for developing portable automated build systems
manthonyaiello/kind2
Multi-engine SMT-based automatic model checker for safety properties of Lustre programs
manthonyaiello/learn
Sources for learn.adacore.com
manthonyaiello/LmcpGen
Project to auto-create libraries adhering to the LMCP specification
manthonyaiello/OpenUxAS
Project for multi-UAV cooperative decision making
manthonyaiello/OpenUxAS-bootstrap
Support to automatically install dependencies for and build OpenUxAS
manthonyaiello/OpenUxAS_Models
Models of OpenUxAS
manthonyaiello/PIN_FSM
manthonyaiello/RC_Car_Demo
QGen Demo based on the RC_Car_Demo
manthonyaiello/stable-diffusion
manthonyaiello/vscode-lustre
Syntax highlighting and snippets for LUSTRE
manthonyaiello/zeromq-Ada
Ada-bindings for 0mq