Repositories list

• tangrampro-verify-examples

  Public
  C++

  •1•0•0•0•Updated Nov 9, 2023Nov 9, 2023

• uas-communication-component

  Public
  C++ application for sending serialized Tangram LMCP CSI messages to OpenAMASE

  C++

  •0•0•0•0•Updated Jul 14, 2023Jul 14, 2023

• autonomous-uav-demo

  Public
  A simple autonomous UAV mission example

  C++

  •0•0•0•0•Updated Jun 12, 2023Jun 12, 2023

• sbt-gitlab

  Public
  sbt plugin to allow dependency resolution and artifact publishing for gitlab

  Scala

  •

  Apache License 2.0

  •20•0•0•1•Updated Jan 22, 2023Jan 22, 2023

• sa4u

  Public
  Static Analysis for Unit Type Error Detection

  C++

  •3•0•0•0•Updated Oct 7, 2022Oct 7, 2022

• OSSRH-84675

  Public
  0•0•0•0•Updated Sep 20, 2022Sep 20, 2022

• homemonitor

  Public
  Tangram Maker project to design and integrate a home monitor system

  C++

  •0•0•0•0•Updated Jun 15, 2022Jun 15, 2022

• mavpx4-mission

  Public
  Tangram Maker tutorial to create a MAVLink PX4 ground control station, and example mission C++ app

  C++

  •2•4•0•0•Updated Jun 1, 2022Jun 1, 2022

• fiat

  Public
  Mostly Automated Synthesis of Correct-by-Construction Programs

  Coq

  •

  Other

  •32•1•0•0•Updated Mar 24, 2022Mar 24, 2022

• infer

  Public
  A static analyzer for Java, C, C++, and Objective-C

  OCaml

  •

  MIT License

  •2k•0•0•0•Updated Mar 9, 2022Mar 9, 2022

• transformer-app-demo

  Public
  C++ application that uses Tangram LMCP and STANAG4586 CSIs and associated transform to send data to OpenAMASE

  C++

  •0•0•0•0•Updated Jan 25, 2022Jan 25, 2022

• ZeroMQProxy

  Public
  A ZeroMQ proxy for publishing and subscribing to common endpoints

  C++

  •0•1•1•0•Updated Jan 25, 2022Jan 25, 2022

• e-vent

  Public
  MIT Project: A low cost emergency ventilator controller

  C++

  •31•0•0•0•Updated May 5, 2020May 5, 2020

• mavlink

  Public
  Marshalling / communication library for drones.

  CMake

  •

  Other

  •1.9k•0•0•0•Updated Oct 25, 2019Oct 25, 2019

• pixhawk-proxy

  Public
  OpenUxAS service communicating with Pixhawk autopilot via MAVLINK

  Rust

  •

  MIT License

  •2•0•0•0•Updated Oct 21, 2019Oct 21, 2019

• OpenUxAS

  Public
  Project for multi-UAV cooperative decision making

  C++

  •

  Other

  •38•0•0•0•Updated Oct 16, 2019Oct 16, 2019

• KDIS_Fork

  Public
  Fork of sourceForge project "KDIS" - an open source DIS library by a guy named Karl

  C++

  •

  BSD 2-Clause "Simplified" License

  •0•0•0•0•Updated Oct 3, 2019Oct 3, 2019

• open-dis-cpp

  Public
  C++ implementation of the Distributed Interactive Simulation (DIS) protocol, IEEE-1278.1

  C++

  •

  BSD 2-Clause "Simplified" License

  •68•0•0•0•Updated Sep 17, 2019Sep 17, 2019

• ZMQProxy-Docker

  Public
  Dockerized ZMQ Proxy

  Dockerfile

  •0•0•0•0•Updated Sep 11, 2019Sep 11, 2019

• ladon

  Public
  A SDK for access control policies: authorization for the microservice and IoT age. Inspired by AWS IAM policies. Written for Go.

  Go

  •

  Apache License 2.0

  •225•0•0•0•Updated Jul 25, 2018Jul 25, 2018

• go-debug

  Public
  Environment based debugger for golang

  Go

  •

  MIT License

  •1•0•0•0•Updated Jun 21, 2018Jun 21, 2018

• kind2

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

  OCaml

  •

  Apache License 2.0

  •13•0•0•0•Updated Jun 18, 2018Jun 18, 2018

• docker-doxygen

  Public
  Dockerfile to build a container image enclosing Doxygen

  Dockerfile

  •

  MIT License

  •4•0•0•0•Updated Aug 1, 2017Aug 1, 2017