Python

tor-browser-seleniumwebfp/tor-browser-selenium

A Python library for automating Tor Browser with Selenium WebDriver for privacy-focused web scraping and testing.

Gato-XAdnaneKhan/Gato-X

A fast scanning and attack toolkit for identifying and exploiting GitHub Actions vulnerabilities at scale.

KEVMkframework/evm-semantics

A formal semantics of the Ethereum Virtual Machine (EVM) written in the K framework, enabling verification and symbolic execution of smart contracts.

PiClockn0bel/PiClock

A customizable digital clock display designed for Raspberry Pi and monitors, featuring weather, news, and optional hardware integration.

komljenkomljen/dockerfile-examples

A collection of Dockerfile examples and management scripts for popular applications like WordPress, Jenkins, and Redis.

cairo-vmstarkware-libs/cairo-vm

A Rust implementation of the Cairo virtual machine for executing and proving provable programs in the StarkNet ecosystem.

MIT OpenCourseWare Lectures on Linear Algebra (18.06) as Jupyter Notebooksjuanklopper/MIT_OCW_Linear_Algebra_18_06

Jupyter notebooks implementing Gilbert Strang's MIT linear algebra course (18.06) with Python examples.

qkerasgoogle/qkeras

A quantization extension for Keras that provides drop-in replacement layers for creating quantized deep learning models in TensorFlow.

FMPyCATIA-Systems/FMPy

A Python library for simulating Functional Mock-up Units (FMUs) with support for FMI standards and multiple interfaces.

iocextractInQuest/python-iocextract

A Python library and CLI for extracting and refanging defanged Indicators of Compromise (IOCs) from text.

sqlalchemy-stubsdropbox/sqlalchemy-stubs

Mypy plugin and type stubs for SQLAlchemy to enable precise static type checking in Python.

FlawFinderdavid-a-wheeler/flawfinder

A static analysis tool that scans C/C++ source code for potential security vulnerabilities using lexical scanning.

qfcpindexis/qfc

A shell auto-complete tool for real-time multi-directory file matching, enhancing terminal navigation and editing.

Solid100/Solid

A Python framework for gradient-free optimization, featuring common algorithms like genetic algorithms and simulated annealing.

Cassiopeiameraki-analytics/cassiopeia

A Python framework for the Riot Games League of Legends API, designed for easy data access and analysis.

typing-extensionspython/typing_extensions

Backported and experimental type hints for Python, enabling modern typing features on older versions and early access to new proposals.

recmetricsstatisticianinstilettos/recmetrics

A Python library providing evaluation metrics and diagnostic tools for recommender systems.

EasyClangCompleteniosus/EasyClangComplete

A Sublime Text plugin providing robust, out-of-the-box autocompletion for C, C++, Objective-C, and Objective-C++ using clang.

FIFEfifengine/fifengine

A multi-platform isometric game engine with C++ core and Python bindings for creating extensible 2D games.

pyhsmmmattjj/pyhsmm

A Python library for Bayesian inference in Hidden Markov Models (HMMs) and Hidden semi-Markov Models (HSMMs) with nonparametric extensions.

PyTouneGRAAL-Research/poutyne

A simplified Keras-like framework for PyTorch that reduces boilerplate code for training neural networks.

Jenkins Attack FrameworkAccenture/jenkins-attack-framework

A command-line tool for security testing and offensive operations against Jenkins CI/CD servers.

R-NetHKUST-KnowComp/R-Net

TensorFlow implementation of R-Net for machine reading comprehension on the SQuAD dataset.

SqueezeSegBichenWuUCB/SqueezeSeg

A convolutional neural network model for real-time road-object segmentation from 3D LiDAR point clouds.

StarDataTorchCraft/StarData

A large-scale StarCraft: Brood War replay dataset for AI research, containing 65,646 games with frame and action data.

TabGANDiyago/Tabular-data-generation

A Python library for generating high-quality synthetic tabular data using GANs, diffusion models, and large language models.

aiomqttempicano/aiomqtt

A pure asyncio MQTT client library for Python with full MQTTv5 support and no callbacks.

i2csshwouterdebie/i2cssh

A csshX-like SSH tool for iTerm2 that connects to multiple machines using split panes and broadcast input.

stickylandxiaohk/stickyland

A JupyterLab extension that breaks the linear presentation of notebooks by enabling sticky, floating cells for interactive dashboards.

JTVAEwengong-jin/icml18-jtnn

A junction tree variational autoencoder for generating valid molecular graphs with desired chemical properties.

vulkanrealitix/vulkan

A Python CFFI extension providing a complete and Pythonic wrapper for the Vulkan graphics and compute API.

playwright-pytestmicrosoft/playwright-pytest

A pytest plugin for writing end-to-end browser tests using Playwright.

DDADTRI-ML/DDAD

A benchmark dataset for long-range (up to 250m) dense depth estimation in autonomous driving, featuring 360° LiDAR ground truth.

Async flavortestdrivenio/fastapi-crud-async

A production-ready FastAPI CRUD API example with async/await, PostgreSQL, and comprehensive Pytest testing.

RAUDIcybersecsi/RAUDI

Automatically generates and updates Docker images for tools lacking official images using GitHub Actions.

BlueSkyTUDelft-CNS-ATM/bluesky

An open-source Python-based air traffic simulator for research on air traffic management and air traffic flows.