moraneus/pydejavu moraneus/pydejavu

  • Stars
    star
    1
  • Language
    Python
  • License
    Apache License 2.0
  • Created 3 months ago
  • Updated about 2 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
moraneus/pydejavu
github

moraneus

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

PyDejaVu is a powerful tool designed for two-phase Runtime Verification (RV) processing (similar to the Tp-DejaVu tool), combining the flexibility and expressiveness of Python with the rigorous, declarative monitoring capabilities of the DejaVu tool.

More Repositories

1

Google-Drive-Remove-Duplicates

Python script that helps to identify and optionally remove duplicate files in your Google Drive. It makes use of the Google Drive API to fetch file metadata and detect duplicates based on file hash.
Python
4
star
2

python-flask-tutorial

Explore Flask's core features through this repository, designed as a concise guide for both beginners and intermediate developers. It covers routing, templates, databases, and authentication, offering a practical approach to building dynamic web applications with Flask.
Python
4
star
3

TP-DejaVu

Enhanced version of the DEJAVU tool, optimized for two-phase Runtime Verification (RV). The first phase, written in Scala, enables operational RV with arithmetic, string, and Boolean operations using a clear syntax for updating summary variables. The second phase, based on the DEJAVU tool, performs monitoring against a first-order specification.
Scala
2
star
4

Google-Drive-Shared-Files-Scanner

Python script that utilizes the Google Drive API to scan your Google Drive files and folders, identify shared permissions, and provide insights on the shared access. This script aims to help you maintain control over your data by easily identifying and managing files and folders that are shared with others.
Python
2
star
5

Guide-to-Python-Behave

This repository hosts a concise yet illustrative implementation of Behave, a Python-based Behavior-Driven Development (BDD) framework.
Python
1
star
6

PoET

PoET (Partial Order Execution Tracer) is Python-based tool designed to evaluate and analyze all equivalent executions of a concurrent or distributed system based on a given execution trace
Python
1
star
7

RV-with-Allens-interval

Prolog
1
star
8

MonAmI

Python library for monitoring the foATL (First-Order Allen Temporal Logic), which is an extension of Allen's temporal logic.
Python
1
star
9

Dino-Dash

Dino Dash is a fast-paced, endlessly entertaining dinosaur-themed game built with Pygame. Inspired by the classic no-internet dinosaur game on Google Chrome.
Python
1
star
10

django-blog-application-tutorial

This is a simple blog application built with Django. It demonstrates basic CRUD operations (Create, Read, Update, Delete) with Django's models, views, and templates.
Python
1
star
11

pymenu-cli

PyMenu-CLI is a small Python library that simplifies the creation of interactive command-line interface (CLI) menus. It provides a convenient way to define hierarchical menu structures and associate actions with menu items.
Python
1
star