Discover @moraneus Open Source projects

Moraneus (@moraneus)

moraneus

Stars
23
Global Rank 587,022 (Top 21 %)
Followers 1
Following 1
Registered over 5 years ago
Most used languages

Python
83.3 %

Prolog
8.3 %

Scala
8.3 %

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.

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.

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 trace

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