Pinned Repositories
autonomous-uav-demo
A simple autonomous UAV mission example
docker-doxygen
Dockerfile to build a container image enclosing Doxygen
fiat
Mostly Automated Synthesis of Correct-by-Construction Programs
go-debug
Environment based debugger for golang
ladon
A SDK for access control policies: authorization for the microservice and IoT age. Inspired by AWS IAM policies. Written for Go.
mavlink
Marshalling / communication library for drones.
mavpx4-mission
Tangram Maker tutorial to create a MAVLink PX4 ground control station, and example mission C++ app
pixhawk-proxy
OpenUxAS service communicating with Pixhawk autopilot via MAVLINK
ZeroMQProxy
A ZeroMQ proxy for publishing and subscribing to common endpoints
ZMQProxy-Docker
Dockerized ZMQ Proxy
Tangram Flex's Repositories
TangramFlex/mavpx4-mission
Tangram Maker tutorial to create a MAVLink PX4 ground control station, and example mission C++ app
TangramFlex/fiat
Mostly Automated Synthesis of Correct-by-Construction Programs
TangramFlex/ZeroMQProxy
A ZeroMQ proxy for publishing and subscribing to common endpoints
TangramFlex/autonomous-uav-demo
A simple autonomous UAV mission example
TangramFlex/docker-doxygen
Dockerfile to build a container image enclosing Doxygen
TangramFlex/go-debug
Environment based debugger for golang
TangramFlex/ladon
A SDK for access control policies: authorization for the microservice and IoT age. Inspired by AWS IAM policies. Written for Go.
TangramFlex/mavlink
Marshalling / communication library for drones.
TangramFlex/OpenUxAS
Project for multi-UAV cooperative decision making
TangramFlex/OSSRH-84675
TangramFlex/pixhawk-proxy
OpenUxAS service communicating with Pixhawk autopilot via MAVLINK
TangramFlex/sa4u
Static Analysis for Unit Type Error Detection
TangramFlex/sbt-gitlab
sbt plugin to allow dependency resolution and artifact publishing for gitlab
TangramFlex/transformer-app-demo
C++ application that uses Tangram LMCP and STANAG4586 CSIs and associated transform to send data to OpenAMASE
TangramFlex/ZMQProxy-Docker
Dockerized ZMQ Proxy
TangramFlex/e-vent
MIT Project: A low cost emergency ventilator controller
TangramFlex/homemonitor
Tangram Maker project to design and integrate a home monitor system
TangramFlex/infer
A static analyzer for Java, C, C++, and Objective-C
TangramFlex/KDIS_Fork
Fork of sourceForge project "KDIS" - an open source DIS library by a guy named Karl
TangramFlex/kind2
Multi-engine SMT-based automatic model checker for safety properties of Lustre programs
TangramFlex/open-dis-cpp
C++ implementation of the Distributed Interactive Simulation (DIS) protocol, IEEE-1278.1
TangramFlex/tangrampro-verify-examples
TangramFlex/uas-communication-component
C++ application for sending serialized Tangram LMCP CSI messages to OpenAMASE