Math & CS awesome List, distinguished by proof and logic technique
Repository Index
47,133 repositories indexed
2,161–2,184 of 5,661 · Most stars
Anomaly Detection and Correlation library
- anomaly-detection
- anomalydetection
:chart_with_upwards_trend: Adaptive: parallel active learning of mathematical functions
- adaptive-learning
- machine-learning
- python
- live-plots
Import C++ files directly from Python!
A collection of AWS penetration testing junk
NFStream: a Flexible Network Data Analysis Framework.
- data-science
- data-analysis
- data-mining
- network-analysis
An auto-evolution framework that optimizes anything — your 7×24 team of algorithm engineers.
- evolutionary-algorithms
- rsi-ai
- self-improvement
- llm-agent
Python package for earth-observing satellite data processing
- python
- satellite
- weather
- hacktoberfest
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
Toolbox for quantitative trajectory evaluation of VO/VIO
Visualize large time series data with plotly.py
Your single pane of glass for real-time analytics into MySQL/MariaDB & ProxySQL
- monitoring
- mysql
- python
Run ruff, isort, pyupgrade, mypy, pylint, flake8, and more on Jupyter Notebooks
- python
- jupyter-notebook
- pre-commit
- codequality
WeeWX code repository
- weather
- python
- weewx
- raspberry-pi
Zero Breach — local, read-only scanner that checks a computer for indicators of the AdFection / Candiru ad-delivered spyware campaign. No network, no admin, no dependencies.
- digital-security
- forensics
- incident-response
- ioc
Portfolio optimization with deep learning.
- deep-learning
- portfolio-optimization
- finance
- machine-learning
GVS5H: Five Qwen3.8-27B Models Match Claude Fable 5 on LiveCodeBench Hard | Fable 5 Level Coding for a Fifth the Price - or on a Single GPU
Easily configure macOS security settings from the terminal.
Computational framework for reinforcement learning in traffic control
- reinforcement-learning
- traffic-control
- benchmark
- autonomous
EL2 hypervisor and toolchain that boots macOS on the ASUS A16 (Snapdragon X2 Elite), with an Adreno Metal/IOGPU stack
The open-source governance layer for AI agents: write the rules declaratively, Bernstein enforces them and produces the verifiable, replayable record. Free, Apache-2.0. https://bernstein.run
- agent-orchestrator
- deterministic-replay
- air-gap
- audit-trail
NGINX configuration static analyzer
Evaluate OMR sheets fast and accurately using a scanner 🖨 or your phone 🤳.
- opencv
- image-processing
- omr
- omr-sheet
Deep Object Pose Estimation (DOPE) – ROS inference (CoRL 2018)