Python

PyCoqejgallego/pycoq

Python bindings and libraries for interacting with the Coq interactive proof assistant programmatically.

website-wasmkamiyaa/website-wasm

A personal website built with Rust and WebAssembly using the Yew framework.

Python MQTT Client Shellbapowell/python-mqtt-client-shell

An interactive command-line shell for testing MQTT client communications, built with Python and the Eclipse Paho library.

honeyntpfygrave/honeyntp

A Python-based NTP honeypot that logs NTP scan attempts and DDoS reconnaissance into Redis for security monitoring.

Flask-JWT-Routerjoegasewicz/flask-jwt-router

A Flask library for adding JWT-based authentication and authorization to routes, supporting both basic tokens and Google OAuth 2.0.

more-completionsMenkeTechnologies/zsh-more-completions

A massive collection of tens of thousands of auto-generated and cleaned zsh command completions.

Highway Networkfomorians/highway-cnn

A TensorFlow implementation of convolutional highway networks for deep learning experiments.

Gatopraetorian-inc/gato

A security tool for enumerating and exploiting pipeline vulnerabilities in GitHub Actions workflows and self-hosted runners.