Repository Index

Metaprogramming, verified meta-theory and implementation of Rocq in Rocq

• coq
• metaprogramming
• coq-formalization
• rocq

Location and syntax aware text objects which *do what you mean*

• treesitter
• tree-sitter
• nvim
• neovim

A simple macOS app for monitoring the status of cloud services

• macos
• app
• cloud
• services

TranslatedImage Recognition captcha without image segmentation

• captcha-breaking
• python
• tensorflow
• captcha

:art: An intuitive iOS color picker built in Swift.

• cocoapods
• swift
• color-picker
• ios-animation

Highlight arguments' definitions and usages, using Treesitter

• lua
• neovim
• tree-sitter
• neovim-plugin

A curated list of awesome system integration software and resources.

• esb
• bpm
• ipaas
• apimanagement

Paaster is a secure and user-friendly pastebin application that prioritizes privacy and simplicity. With end-to-end encryption and paste history, Paaster ensures that your pasted code remains confidential and accessible.

• pastebin
• paaster
• e2ee
• paste

A flexible, partial, out-of-order and real-time typeahead search library

Simple high quality GIF encoding

• encoding-gifs
• ffmpeg
• gif

CMake integration in Neovim

• cmake
• neovim
• cmake-tools
• lua

Oracle3: open-source trading engine and MCP server for prediction markets. Finds fee-adjusted no-arbitrage violations across related event contracts and trades them live on Kalshi, Polymarket and Solana, or on paper, under pre-trade risk limits. 13 MCP tools, JSON CLI, agent skills, 600+ tests.

• algorithmic-trading
• kalshi
• polymarket
• python

Turn DeepSeek Harness into a self-hosted enterprise Agent platform with knowledge, deep research, content generation, vibe coding, browser automation, governance, and admin controls.

• agent
• ai-agents
• dsh-plugin
• enterprise-agents

Simple backup tool for PostgreSQL

The ultimate Python binding for Vulkan API

• vulkan
• python

REST API Client Library

• nodejs
• javascript
• http
• https

Simplifying encrypted traffic analysis for researchers by making protocol decryption effortless.

• frida
• ssl
• security
• hooking

Minimalistic SSH deployment

Simple migrations system for php

An elastic material bottom sheet implementation for Flutter.

Awesome IIIF-related resources

• iiif
• iiif-apis
• iiif-image
• iiif-presentations

A high performance, shared memory, lock free, cross platform, single file, no dependencies, C++11 key-value store

TranslatedA simple and stable cross-browser testing tool.

AI Plugin is a powerful extension for the Payload CMS, integrating advanced AI capabilities to enhance content creation and management.

• ai
• ai-writing
• payloadcms
• plugin