moraneus

Pinned Repositories

• 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.

  Language:Python40

• iPRV-DejaVu

  The DejaVu runtime verification system employs BDDs (Binary Decision Diagrams) to store data from observed events. This enhanced version of DejaVu offers predictions based on isomorphic classes for the forthcoming k steps.

  Language:Scala31

• 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.

  Language:Scala20

• MonAmI

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

  Language:Python10

• 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

  Language:Python10

• pydejavu

  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.

  Language:Python10

• 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.

  Language:Python40

• 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.

  Language:Python20

• 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.

  Language:Python10

• 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.

  Language:Python10

moraneus's Repositories