MoltenVK is a Vulkan Portability implementation. It layers a subset of the high-performance, industry-standard Vulkan graphics and compute API over Apple's Metal graphics framework, enabling Vulkan applications to run on macOS, iOS and tvOS.
Repository Index
66,762 visible repositories in the index
361–384 of 1,789 · Most stars
Experience-Driven Black-Box Cost Control for Coding Agents
- agentic-ai
- agentic-coding
- ai-coding
- ai-coding-assistant
DNS over HTTPS / DNS over Tor / DNSCrypt client, WireGuard proxifier, firewall, and connection tracker for Android.
- android-app
- firewall
- android-firewall
- dns-over-https
Zotero MCP: Connects your Zotero research library with Claude and other AI assistants via the Model Context Protocol to discuss papers, get summaries, analyze citations, and more.
- claude
- mcp
- zotero
- semantic-search
MimiClaw: Personal Agent on a $5 chip. No OS(Linux). No Node.js. No Mac mini. No Raspberry Pi. No VPS. Hardware agents OS. On device Muse.
:lollipop: Frontend for Home Assistant
- polymer
- webcomponents
- frontend
- home-assistant
Amazon EC2 instance comparison site
- ec2
- aws
- amazon
- rds
the Istanbul command line interface
- code-coverage
- javascript
- istanbul
⚡️next-generation personal AI assistant powered by LLM, RAG and agent loops, supporting computer-use, browser-use and coding agent, demo: https://demo.openagentai.org
Model interpretability and understanding for PyTorch
- interpretability
- interpretable-ai
- interpretable-ml
- feature-importance
Optimized Go Compression Packages
- zstd
- gzip
- compression
- decompression
TranslatedGeneral IM UI components. Android/iOS/RectNative ready. General IM chat UI components, now supporting Android/iOS/RN at the same time.
- ui-components
- instant-messaging
- android-component
- ios-component
The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
- proof-assistant
- coq
- theorem-proving
- dependent-types
Translated【🔞🔞🔞 Contains images not suitable for minors】AI exploration and summary based on my strengths in programming, drawing, and writing: StableDiffusion is a powerful image generation model that can generate new images by evolving an existing image. ChatGPT is a Transformer-based language generation model that can automatically generate suitable articles for an input topic. And Github Copilot is an intelligent programming assistant that can speed up everyday programming activities.
- ai
- aigc
- chatgpt
- github-copilot
Modularized faucet for EVM chains with different protection methods (Captcha, Mining, IP, Mainnet Balance, Gitcoin Passport and more)
- ethereum
- faucet
- testnet
- testnet-faucet
🔰 Instant PHP quality checks from your console
- php
- static
- analytics
- code
Bash Infinity is a modern standard library / framework / boilerplate for Bash
Framework agnostic sliced/tiled inference + interactive ui + error analysis plots
- object-detection
- instance-segmentation
- computer-vision
- small-object-detection
Agent OS is a system for injecting your codebase standards and writing better specs for spec-driven development.
Our main goal is to share tips from some well-known bughunters. Using recon methodology, we are able to find subdomains, apis, and tokens that are already exploitable, so we can report them. We wish to influence Onelinetips and explain the commands, for the better understanding of new hunters..
An AI-powered custom node for ComfyUI designed to enhance workflow automation and provide intelligent assistance
📚 A Neovim config designed from scratch to be understandable
- neovim
- neovim-config
- nvim
- nvimrc
Your personal assistant, on WhatsApp! The most user friendly userbot for the platform!
A C++ standalone library for machine learning
- flashlight
- machine-learning
- autograd
- cpp