Math & CS awesome List, distinguished by proof and logic technique
Repository Index
47,133 repositories indexed
241–264 of 565 · Most stars
Hercules is the world’s first open-source testing agent, enabling UI, API, Security, Accessibility, and Visual validations – all without code or maintenance. Automate testing effortlessly and let Hercules handle the heavy lifting! ⚡
- ai
- autogen
- automation
- browser
Don't reverse engineer it twice. 17,000+ open-source tools built by reverse engineering closed apps, APIs, devices, protocols, file formats, games and AI tools. Search site + agent skill + MCP server, refreshed nightly.
Dissect is a digital forensics & incident response framework and toolset that allows you to quickly access and analyse forensic artefacts from various disk and file formats, developed by Fox-IT (part of NCC Group).
- dfir
- dissect
- python
🦖 ClawBio - The first bioinformatics-native AI agent skill library. Local-first. Reproducible. Open. Free.
A Theano framework for building and training neural networks
IntelMQ is a solution for IT security teams for collecting and processing security feeds using a message queuing protocol.
- cybersecurity
- threat
- ioc
- malware
A lightweight Python web API framework.
A clinical decision-evidence benchmark: pull the one fact an answer rests on, and see whether the assistant's action moves with the evidence. Built on HealthBench.
Kapowarr is a software to build and manage a comic book library, fitting in the *arr suite of software.
- comic
- comic-downloader
- comicbook
- comics
Provides an uniform layer to support PyQt5, PySide2, PyQt6, PySide6 with a single codebase
- python
- qtpy
- spyder
- qt-gui
Python Performance Benchmark Suite
- python
- performance
- benchmark
"Security Incidents In A Box!" A modular, menu-driven, cross-platform tool for building customized, time-delayed, distributed security events. Easily create custom event chains for Blue- & Red Team drills and sensor / alert mapping. Red Teams can create decoy incidents, distractions, and lures to support and scale their operations. Build event sequences ("narratives") to simulate realistic scenarios and generate corresponding network and filesystem artifacts.
Translated🍔 Maimen Certification Machine (麦门认证机) — Upload any image and the AI will identify your Maimen (McDonald's fan community) status: a certification meme card + meal recommendations based on real nutrition data + one-click coupon claiming. Entry for the 2026 McDonald's Programmer Creative Development Contest
Tessera: beautiful, easy touch screens for Home Assistant on affordable ESP32 panels, 2.8 to 10.1 inch (CYD, Guition, Waveshare). Drag-and-drop editor, no YAML, no MQTT.
- cyd
- esp32
- esp32-2432s028r
- esphome
Useful localization tools with Python API for building localization & translation systems
- translate
- localization
- hacktoberfest
- i18n
AUR helper with minimal dependencies. Review PKGBUILDs all in once, next build them all without user interaction.
- aur
- arch-linux
- aur-helper
A powerful todo list application for the console, using the todo.txt format.
- todoapp
- cli
- python
- todotxt
PettingZoo and Gymnasium bindings for popular reinforcement learning environments outside of Farama
- deepmind-control-suite
- deepmind-lab
- gymnasium
- reinforcement-learning
The Classical Language Toolkit
FactCircuit: an auditable claim-and-evidence verification loop with immutable provenance, staged checks, bounded retrieval, and reproducible evaluation.
- accuracy-decline
- ai-safety
- audit-trail
- fact-checking
RapidPro allows organizations to visually build scalable interactive messaging applications.
🧠+🎧 Build your music algorithms and AI models with the next-gen DAW 🔥
The repository host gives no description.