Tool for suggesting lemma names in Coq verification projects
- coq
- machine-learning
- name-generation
- pytorch
Repository Index
47,133 repositories indexed
337–360 of 382 · Most stars
Example Python Application for OAuth2
Lightweight Docker monitoring dashboard with anomaly detection & Telegram alerts. One-liner install, zero config.
Convert Postman Collection v2.1 JSON into executable pytest test suites
- api-testing
- postman
- pytest
- python
Update or append the data to Google Sheet, or get the data on Google Sheet. by using HTTP to execute the Google Apps Script API compatible with ESP32
- esp32
- googlesheetsapi
- micropython
- googlescript
Prompt-injection firewall for LLM applications — 33 input detectors, 9 output scanners, federated ed25519-signed threat-intel feed. Apache 2.0, 1040 tests, F1 96.0% with 0% false positives. Docker, GitHub Action, LangChain/LlamaIndex/CrewAI integrations.
- agentic-ai
- ai-safety
- fastapi
- langchain
A python daemon that uses the Twitter Streaming API to access tweets and republishes them to an MQTT topic.
Micropython code which uses the AWS-IOT REST API to GET/POST device state info
A Python package for automating VideoIPath configuration workflows.
- videoipath
- media-over-ip
- python
- configuration-management
OpenStreetMap Boundaries for the World!
- countries
- gis
- openstreetmap
- osm
A client for the Archive-It And Webrecorder WASAPI Data Transfer API
♟︎ Update a pinned gist to contain your Chess.com Blitz, Bullet, Rapid, Puzzles & Daily Ratings
- chess
- rating
- pinned-gist
🎮 Update your pinned gist to show HoYoverse gameplay stats
- genshin-impact
- github-actions
- honkai-starrail
- hoyolab
Local-LLM alert triage for self-hosted SOCs.
Youtube API in MicroPython
A pygame API-compatible reimplementation for running `pygame`-style code inside Jupyter notebooks (backed by ipycanvas)
Authentication policy for pyramid using repoze.who 2.0 API
▶ Update a pinned gist to show your latest YouTube videos 📹
- pinned-gist
- youtube-api
Open BTC 5-minute prediction market sandbox for AI agents — register with one API call, get 1,000 test credits, and place a live order
- ai-agents
- prediction-markets
- starter-template
- trading-bot
An UI and API for mididings https://github.com/mididings/mididings
- mididings
- live-music-automation
- osc-integration
- python-midi
A library for generating OpenStreetMap's Overpass QL queries from Python objects.
- openstreetmap
- openstreetmap-api
- overpass-api
- overpass-ql
This MicroPython library provides a framework for interacting with HD44780-based LCD displays through a PCF8574 I/O expander. It offers a high-level API for LCD control, including text display, cursor manipulation, and backlight settings, while also providing lower-level access to the GPIO operations on the PCF8574.
Fetch and normalize parameterized URLs from the Wayback CDX API (OSINT, inspired by ParamSpider).
- bugbounty
- cdx
- cli
- kali-linux
Errbot backend for VK API (vk.com)
- vk-api
- vk
- chatbot
- errbot