Skip to content

@pyvypr VyPR

Change the repository type filter

All

    Repositories list

    16 repositories

    • VyPR-visualisation

      Public
      A web-based tool for visualisation of VyPR instrumentation and monitoring.
      JavaScript
      •0•0•0•4•Updated Dec 8, 2022Dec 8, 2022

    • VyPRServer

      Public
      A server for central storage and analysis of verdict data obtained during monitoring with VyPR.
      Python
      •
      GNU General Public License v3.0
      •4•1•0•5•Updated Dec 8, 2022Dec 8, 2022

    • home

      Public
      The VyPR project's website.
      HTML
      •
      Other
      •1•0•0•0•Updated Jun 15, 2022Jun 15, 2022

    • ecosystem-container

      Public
      A Docker container holding the entire VyPR ecosystem, including the core, the web tool, the analysis library and a visualisation tool.
      Shell
      •0•0•0•0•Updated Oct 6, 2020Oct 6, 2020

    • VyPR

      Public
      The main VyPR infrastructure for specification, instrumentation and monitoring.
      Python
      •
      GNU General Public License v3.0
      •1•7•0•1•Updated Oct 5, 2020Oct 5, 2020

    • VyPRLocal-py2

      Public
      Python 2 port of version of VyPR made to analyse local Python 3 programs.
      Python
      •
      GNU General Public License v3.0
      •0•0•0•0•Updated Sep 14, 2020Sep 14, 2020

    • VyPRAnalysis

      Public
      The Python-based analysis library for VyPR.
      Python
      •
      GNU General Public License v3.0
      •2•1•0•0•Updated Sep 7, 2020Sep 7, 2020

    • dockerofflineanalysis

      Public
      Docker-based offline analysis notebook using VyPR analysis library.
      Dockerfile
      •0•0•0•0•Updated May 20, 2020May 20, 2020

    • SampleWebService

      Public
      A sample Flask-based web service that includes the configuration files for monitoring with VyPR.
      Python
      •0•0•0•0•Updated May 7, 2020May 7, 2020

    • VyPRLocal

      Public
      VyPR for local Python programs
      Python
      •
      GNU General Public License v3.0
      •0•0•0•0•Updated Apr 15, 2020Apr 15, 2020

    • VyPR-py3

      Public
      Porting VyPR to Python 3
      Python
      •
      GNU General Public License v3.0
      •0•1•0•0•Updated Jan 31, 2020Jan 31, 2020

    • VyPRServer-py3

      Public
      Python 3 port of the VyPR Server
      Python
      •
      GNU General Public License v3.0
      •0•0•0•0•Updated Jan 31, 2020Jan 31, 2020

    • VyPRAnalysis-py3

      Public
      Python 3 port of the VyPRAnalysis library
      Python
      •
      GNU General Public License v3.0
      •0•0•0•0•Updated Jan 22, 2020Jan 22, 2020

    • OfflineAnalysisScripts

      Public
      A set of scripts that use VyPRAnalysis to perform some offline checks on data obtained via monitoring with VyPR.
      Python
      •0•0•0•0•Updated Jan 18, 2020Jan 18, 2020

    • VyPRTutorial

      Public
      A self-contained tutorial to be used by VyPR users, contributors, or as a Formal Methods education tool.
      Jupyter Notebook
      •
      GNU General Public License v3.0
      •1•0•0•0•Updated Aug 27, 2019Aug 27, 2019

    • IntegrationTesting

      Public
      Scripts for integration testing of VyPR.
      Shell
      •1•0•0•0•Updated Jul 25, 2019Jul 25, 2019