Python

ACL2-kerneltani/acl2-kernel

A Jupyter kernel for the ACL2 theorem prover, enabling interactive computational logic development in notebooks.

cowrie2neoxlfe/cowrie2neo

Parses Cowrie honeypot logs and imports them into a Neo4j graph database for security analysis.

tf-init-boosterhayorov/terraform-init-booster

A Python tool that accelerates Terraform initialization by caching and reusing downloaded modules for bulky blueprints.

uPyExplorerRetepRelleum/uPyExplorer

A modern file explorer and management tool for MicroPython devices like ESP32 and ESP8266.

MicroPython-BMPxxxbradcar/MicroPython_BMPxxx

A MicroPython driver for Bosch BMP585, BMP581, BMP390, BMP280, and BME280 pressure sensors via I2C, supporting altitude calculation and sensor configuration.

pyrobottrainingrobotpy/pyrobottraining

A hands-on training tool for learning FRC robot programming in Python using RobotPy WPILib libraries and unit tests.

Golem Arrayjohngrantuk/golem-array

A command-line tool for designing, simulating, and analyzing antenna arrays using distributed computing via the Golem Network.

Spin up PySpark and PySparkling on AWSkcrandall/EMR_Spark_Automation

Automates AWS EMR cluster deployment and Spark job submission with integrated logging and PySparkling support for H2O.

HUDINXCryptix720/HUDINX

A medium interaction SSH honeypot that logs brute force attacks and attacker shell interactions in Python.

thinking stats 2Wavelets/ThinkStats2

Text and supporting code for Think Stats, 2nd Edition, a practical introduction to statistics for programmers.

omarchy-theme-generatormaxberggren/omarchy-theme-generator

A theme generator for Omarchy that extracts colors from images and builds consistent themes across desktop applications.

UI Coverage ToolNikita-Filonov/ui-coverage-scenario-tool

A scenario-based UI test coverage tool that visualizes interactions directly on a live application preview.

ProfitPlay Agent Arenajarvismaximum-hue/profitplay-starter

An open prediction market arena where AI agents compete on 9 live game types using real asset price data.

collective.regenvcollective/collective.regenv

A Plone add-on that overrides portal registry settings using environment variables for flexible configuration management.

supervised-ipython-nbserverwritefaruq/supervised-ipython-nbserver

A secure, scalable IPython Notebook service for managing multiple notebook servers with LDAP authentication and supervisor process management.

koala-diffgodalida/koala-diff

A blazingly fast data comparison tool for Python that instantly compares massive CSV/Parquet datasets, powered by Rust.

matrix BOTrgomez90/matrix-bot

A Python Matrix bot that listens for uploaded files and automatically converts Quarto (.qmd) documents to PDF.

Darkest HourDarklightGames/DarkestHour

A total conversion mod for Red Orchestra: Ostfront 41-45, focusing on the Western Front of World War II from 1944 to 1945.

MOFGCNweiba/MOFGCN

A deep learning model that predicts drug response by fusing multi-omics data with graph convolutional networks.

mpsyncthilomichael/mpsync

A tool that automatically synchronizes code changes to a MicroPython board during development.

/run-cihackdays-io/toban-contribution-viewer

An AI-powered analytics platform that visualizes team contributions by analyzing data from Slack, GitHub, and Notion.

zELFseb3773/zelf

An extensible ELF64 packer for Linux x86_64 and AArch64, featuring 22 compression codecs, EXE filters, and ML-driven codec selection.

/explain-issue-fixhackdays-io/toban-contribution-viewer

An AI-powered analytics platform that visualizes team contributions by analyzing data from Slack, GitHub, and Notion.

htsimagingrraadd88/htsimaging

A Python package for analyzing high-throughput single-cell imaging data, including protein abundance, endocytosis, and particle tracking.

AtlasQcertego/AtlasQ

A Python wrapper for MongoDB Atlas Search that maintains MongoEngine's query syntax for seamless integration.

Flask-ReactizeAzure-Samples/flask-reactize

A Python Flask-based bootstrap to serve React applications with built-in API proxying and hot reload support.

Wagtail for Platform.shplatformsh-templates/wagtail

A Wagtail CMS template for Platform.sh with PostgreSQL, automatic TLS, and a demo app.

Transit App's gtfs-fares-v2-validatorTransitApp/gtfs-fares-v2-validator

A Python tool that validates GTFS fares-v2 datasets against the official specification and experimental extensions.

micropython-samttsjacklinquan/micropython-samtts

A MicroPython port of the classic Software Automatic Mouth (SAM) text-to-speech synthesizer for embedded systems.

AruCo landingradekholy24/aruco-landing

A proof-of-concept off-board control system for landing UAVs using PX4 and AruCo marker detection.

PoGoToolsnelsyeung/PoGoTools

A command-line interface tool for managing Pokemon Go accounts, including viewing IVs, transferring Pokemon, and recycling items.

micropython-cryptocfbjacklinquan/micropython-cryptocfb

A MicroPython module for AES-128 encryption and decryption using CFB mode, supporting both 128-bit and 8-bit variants.

Evaluating German Transformer Language Models with Syntactic Agreement TestsDFKI-NLP/gevalm

A framework for evaluating German transformer language models using syntactic agreement tests.

PyPeidFFRI/pypeid

A Python implementation of PEiD for detecting packers, compilers, and anti-debugging techniques in Windows PE files using YARA rules.

clean-historyAutomaat/zsh-clean-history

A smart Zsh plugin that automatically cleans shell history by removing typos and failed commands using similarity analysis.

pyCosmicWrapChihuahuaChain/pyCosmicWrap

A Python wrapper for interacting with Cosmos blockchain APIs and RPC endpoints, simplifying development on the Cosmos ecosystem.