Skip to content
#

tests

Here are 338 public repositories matching this topic...

PANTHER

This tool presents a novel approach to bolstering network protocol verification by integrating the Shadow network simulator with the Ivy formal verification tool to check time properties. Furthermore, it extends Ivy’s capabilities with a dedicated time module, enabling the verification of complex quantitative-time properties.

  • Updated Sep 22, 2026
  • Python

Library Management System is a compact desktop library-management app built with Python and Tkinter. It supports admin and member workflows, two-step sign-in (password + TOTP), book lending/returns, overdue tracking, CSV/JSON import‑export, and simple analytics. Data is saved locally and designed for learning, small libraries, and safe offline use.

  • Updated Jun 24, 2026
  • Python

HashAttackDemos; an educational Python toolkit demonstrating secure password hashing (Argon2id, bcrypt, scrypt) and common failure modes (MD5, rainbow tables). Includes reusable library hash_password_cracker, attack demos (dictionary/rainbow/hybrid), CLI tools, and unit tests - for defensive learning on data you own or are authorized to test.

  • Updated Feb 12, 2026
  • Python

TCP-Playground; A simple multi-client TCP, compact, cross‑platform Python multi‑client chat toolkit for learning and LAN testing. Includes host.py (server), clint.py (client), and net_utils.py utilities; supports optional TLS with password‑protected message encryption, CLI flags for scripted use, and unit tests for core validation.

  • Updated Feb 13, 2026
  • Python

Add this topic to your repo

To associate your repository with the tests topic, visit your repo's landing page and select "manage topics."

Learn more