Building committee (Vaad Bayit) management on Cloudflare Pages + D1 + R2 — secure auth, per-apartment login, monthly/yearly reports.

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 associat…

LLMrv is a framework for monitoring LLM conversations against formal safety policies in real time. It models conversations as event traces, specifies policies in past-time temporal logic (ptLTL), a…

The API to search, scrape, and interact with the web at scale. 🔥

Kairos: Python RV tool for PBTL on partial orders. Uses vector clocks, frontier-based global state evaluation, and DLNF transformation to verify past-time temporal logic on distributed traces, per …

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, de…

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.

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 implementation of Firebase's scrypt password hashing algorigtm.

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

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, offer…

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 library for monitoring the foATL (First-Order Allen Temporal Logic), which is an extension of Allen's temporal logic.

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 ma…

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 usi…

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…

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.