There are no reviews yet. Be the first to send feedback to the community and the maintainers!
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-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.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.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.Guide-to-Python-Behave
This repository hosts a concise yet illustrative implementation of Behave, a Python-based Behavior-Driven Development (BDD) framework.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 traceRV-with-Allens-interval
MonAmI
Python library for monitoring the foATL (First-Order Allen Temporal Logic), which is an extension of Allen's temporal logic.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.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.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.Love Open Source and this site? Check out how you can help us