Repositories list

• credal-bayesian-deep-learning

  Public
  0•1•0•0•Updated Oct 19, 2024Oct 19, 2024

• smedl-fiat-code

  Public
  Formalization of SMEDL

  Coq

  •0•0•0•0•Updated Aug 14, 2021Aug 14, 2021

• SMEDL

  Public
  SMEDL is a runtime verification framework to specify monitors, to generate code from specifications, and to deploy the monitors in a centralized or distributed settings.

  C

  •

  MIT License

  •0•0•0•0•Updated Jul 22, 2021Jul 22, 2021

• ROSLab

  Public
  ROSLab is a high-level programming environment based on ROS that allows a simplified and intuitive programming of robots using design blocks and links.

  HTML

  •

  Apache License 2.0

  •3•8•0•0•Updated May 17, 2021May 17, 2021

• HACMSDemo

  Public
  A cross-platform graphical Python application used to display ROS telemetry

  Python

  •

  Other

  •22•52•0•0•Updated Oct 22, 2014Oct 22, 2014

• DatadumpTool

  Public
  A Python-based command-line utility for deploying, querying, and generating statistics from MongoDB datadumps.

  0•0•0•0•Updated Jun 6, 2013Jun 6, 2013

• TrustForge

  Public
  0•0•0•0•Updated Jun 5, 2013Jun 5, 2013