A query engine for any combination of data sources. Query your files and APIs as if they were databases!
- javascript
- python
- query-language
- rust
Repository Index
74,860 visible repositories in the index
5,065–5,088 of 13,652 · Most stars
Formal verification for AI: a Lean 4 + Dafny proof checker that catches fake AI proofs (reward hacking), and verified recursive self-improvement (RSI) for coding agents. AI for math, physics and software engineering.
- proof-assistant
- lean4
- ai-agents
- ai-for-math
Test your download and upload speed using fast.com
- speed-test
- cli-app
- command-line-tool
- nodejs
An easy-to-use PHP QrCode generator with first-party support for Laravel.
- php
- laravel
- laravel-package
- hacktoberfest
Converts a string to a slug. Includes integrations for Symfony, Silex, Laravel, Zend Framework 2, Twig, Nette and Latte.
- php
- twig
- slugify
- symfony
Plan, apply and roll back changes to a production ontology, with a blast radius report and a proof an auditor can re-check.
- ai-native
- description-logics
- knowledge-graph
- mcp
Pic Smaller – Compress JPEG, PNG, WEBP, AVIF, SVG and GIF images intelligently
- safe-compression
- compress-images
- offscreencanvas
- webassembly
aptly - Debian repository management tool
Self-referential self-improving agents that can optimize for any computable task
Multilingual PHP CMS built with Laravel and bootstrap
Show, Attend, and Tell | a PyTorch Tutorial to Image Captioning
- pytorch
- pytorch-tutorial
- show-attend-and-tell
- image-captioning
🔮 A refreshing functional take on deep learning, compatible with your favorite libraries
Bookmark manager for the wizards 🧙
- bookmarks
- self-hosted
- typescript
- docker
A dead simple tool to sign files and verify digital signatures.
- cryptography
- crypto
- signatures
- ed25519
An easy solution to page controllers like NetEase News
Cross-platform desktop GUI app to clean image metadata
- exif
- exiftool
- electron
- javascript
A curated list of awesome Kotlin frameworks, libraries, documents and other resources
- kotlin-language
- android-development
- kotlin-plugin
- kotlin-android
Easily optimize images using PHP
- php
- image
- optimizer
- performance
Reference client for Bitmessage: a P2P encrypted decentralised communication protocol:
- bitmessage
- pybitmessage
- p2p-communication-protocol
- python
A powerful and easy to use segmented view (segmentedcontrol, pagingview, pagerview, pagecontrol, categoryview) (腾讯新闻、今日头条、QQ音乐、网易云音乐、京东、爱奇艺、腾讯视频、淘宝、天猫、简书、微博等所有主流APP分类切换滚动视图)
- page
- pagecontrol
- switch
- segment
:page_facing_up: Markdown to PDF converter
Beef Programming Language
- programming-language
- compiler
- ide
- beef-language
TranslatedAn Agent Skill that keeps a video's embedded subtitles, extracts frames precisely, and generates 3:4 long images for social media
- agent-skills
- codex
- social-media
- subtitles
Pure Swift iOS download framework with background downloads, relaunch recovery, resumable transfers, and task management.