Math & CS awesome List, distinguished by proof and logic technique
Repository Index
47,133 repositories indexed
145–168 of 318 · Most stars
Trace-native CI/CD for AI agents: grade production traces, cluster failures, freeze them into replayable regression tests, and block PRs that regress. Self-hostable.
Self-hosted outdoor activity tracker :bicyclist: [mirror of codeberg repository: https://codeberg.org/FitTrackee/FitTrackee]
- self-hosted
- activity-tracker
- outdoor-activities
- workout-tracker
AssetFurnace: the most complete open-source image-to-3D pipeline (Oct 2026). Prompt or picture → textured, rigged, animated game character, locally on Apple Silicon or NVIDIA. Pixal3D, TRELLIS.2, Hunyuan3D, SF3D, auto-rig and 21 moves. For indie game devs and 3D artists. Free, Apache-2.0.
- 3d-generation
- 3d-models
- apple-silicon
- blender
PostgreSQL configuration wizard
A curated list of gradient boosting research papers with implementations.
- gradient-boosting
- gradient-boosting-classifier
- gradient-boosting-machine
- gradient-boosted-trees
Web tool for database management
- autocomplete
- database
- database-backup
- database-client
Bitcart is a free and open-source self-hosted payment processor for BTC, LTC, BCH, XMR, ETH, TRX, USDT and more
Translated麦麦省钱助手 (Maimai Money-Saving Assistant, "McMc money-saving helper") — an ordering cost optimization Skill based on McDonald's MCP. It works out the cheapest ordering plan for the current store and proactively warns about add-on traps for reaching the order threshold.
30 different honeypots in one package! (dhcp, dns, elastic, ftp, http proxy, https proxy, http, https, imap, ipp, irc, ldap, memcache, mssql, mysql, ntp, oracle, pjl, pop3, postgres, rdp, redis, sip, smb, smtp, snmp, socks5, ssh, telnet, vnc)
- pypi
- monitoring-tool
- network-analysis
- malware-analysis
Nintendo Switch library manager, with automated management tasks, serving your library to multiple supported clients on your Switch, with shop customization and multi user authentication.
- tinfoil
- atmosphere
- homebrew
- switch
Complete logs of the experiments in the blog post 'LLMs can understand and write neural network weights'
A simple but powerful self-hosted finance tracker
Self-hosted torrent video streaming service compatible with Chromecast, AppleTV & Kodi deployable in the cloud
Pythonic tool for orchestrating machine-learning/high performance/quantum-computing workflows in heterogeneous compute environments.
- hpc
- workflow
- workflow-automation
- workflow-management
Download and listen to your music, playlists, and podcasts, along with album art and metadata
- spotify-downloader
- downloader
- music
- music-downloader
Rich-powered CLI that breaks each HTTP request into DNS, connect, TLS, wait, and transfer phases with waterfall timelines, compact summaries, or metrics-only output.
Krawl is a customizable, lightweight, cloud-native web deception server and anti-crawler that creates fake web applications with low-hanging vulnerabilities using realistic, randomly generated decoy data and AI-generated HTML templates.
- anti-crawling
- cloud-native
- crawler
- deception
Backup and recovery manager for PostgreSQL
- backup
- incremental-backups
- restore
- archiving
PostgreSQL Remote Control
- postgresql
- database
- rdbms
- management
Asynchronous interface for peewee ORM powered by asyncio
- peewee
- python
- asyncio
- mysql
Some CircuitPython tricks, mostly reminders to myself
- circuitpython
- qtpy
- raspberrypipico
- itsybitsym4
Real-time network monitor + outbound firewall — see & block every connection. Privacy-first, local-first, Rust fleet agent, SIEM exports, 8 languages. / Moniteur réseau temps réel + pare-feu sortant, agent de flotte Rust, exports SIEM. 100 % local.
Personal Web Assistant
- ifttt
- python
- self-hosted
- web-monitor