Phantom types for Python.
- phantom-types
- static-analysis
- mypy
- python
47,133 repositories indexed
2,209–2,232 of 3,418 · Most stars
Phantom types for Python.
A simple yet highly configurable Mastodon bot that posts geotagged aerial imagery of a random location in the world.
The first exam for code agents in the physical world: frozen robot tasks from many benchmark suites, each answered with a program and verified in a separate sandbox. Runs on Harbor.
OPEM (Open Source PEM Fuel Cell Simulation Tool)
TranslatedBring the Codex imagegen workflow and prompt library to any agent; supports one-command installation with npm/pnpm, a companion skill, a standalone API, and a Qwen-Image compatible gateway.
Automated mapping of pedestrian networks from aerial imagery tiles
Communicating with godot engine through shared memory
ROS extensions and implementations for py_trees
Automated 3D cell detection in very large images
Hardware testing for the software world. Real or virtual, local or remote, human, automated or agentic.
From a universe of models to Collective Model Intelligence.
High performance computational platform in Python for the spectral Galerkin method
A fast xgboost feature selection algorithm
:movie_camera: Everything about your movies within the command line.
'Packet Capture Forensic Evidence eXtractor' is a tool that finds and extracts files from packet capture files
Find, verify and organize your game library. Native Windows and Docker, DAT checks, ROM Hub plugins, and optional RomM/Cartridge integration.
Django application that performs SAST and Malware Analysis for Android APKs
Deep and Machine Learning for Microscopy
[DEPRECATED] Self-Supervised Extrinsic Calibration using 3D Spatial Transformer Networks
Stacked Generalization (Ensemble Learning)
HTTP/2 Last Frame Synchronization (also known as Single Packet Attack) low Level Library / Tool based on Scapy + Exploit Timing Attacks
Feather agent harness, training integrations, and evaluation tools for knowledge work
An autonomous agent that profiles, optimizes, and validates AI training code.
🕸️ Blazing fast GraphQL endpoints finder using subdomain enumeration, scripts analysis and bruteforce. 🕸️