Repository Index

Build dependency graphs between Coq objects [maintainers=@Karmaki,@ybertot]

• coq
• dependency-graph
• dependency-analysis
• docker-coq-action

equity research and financial analysis

TranslatedA terminal AI coding assistant built from scratch in Java 21

Turn a Mac into an Apple TV-style box: tvOS-style home screen, streaming apps at full quality, and your phone as the remote.

ZoneTree.FullTextSearch is an open-source library that extends ZoneTree to provide efficient full-text search capabilities. It offers a fast, embedded search engine suitable for applications that require high performance and do not rely on external databases.

Dynamic message sequence charts for d3.

Uncensored AI models from RouterHub — the website for one-key API access to Claude, GPT, Gemini, Grok, DeepSeek, GLM and Qwen, with uncensored and abliterated variants where available. OpenAI- and Anthropic-compatible. Pay per token.

• abliterated-models
• ai-api
• ai-gateway
• anthropic-compatible

soilDB: Simplified Access to National Cooperative Soil Survey Databases

• nrcs
• usda
• soil
• soil-survey

Inquiries extension for Refinery CMS

A contract programming library for Common Lisp in the style of Eiffel’s Design by Contract ™.

• common-lisp
• eiffel
• postcondition
• preconditions

Zigbee2mqtt connectivity nodes for node-red

Example showcasing how to use Prisma + Postgres + Jest, where each test has its own unique DB context

• prisma
• prisma2
• jest
• postgres

The repository host gives no description.

software package for automation

• smart-home
• go
• golang
• smarthome

A Magento 2 module that enables configurable CORS Headers on the GraphQL and REST APIs

• magento
• graphql
• cors
• magento2

Zabbix Database Monitoring Service (Oracle, Pg, MySQL, MS SQL, DB2, etc.)

• rdbms
• database
• mysql
• zabbix

Compilado de recursos sobre Computação Quântica em português

Cache and mock network requests in Playwright

• cache
• network
• playwright
• playwright-javascript

gen_lang is a dart library for internationalization. Extracts messages to generate dart files required by Intl, inspired by Intl_translation and Flutter i18n

• flutter
• flutter-plugin
• flutter-package
• flutter-plugins

Examples of GraphQL Elixir Plug endpoints mounted in Phoenix

High quality cart for developers.

Android Secure SharedPreferences Using Facebook Conceal Encryption

• conceal
• facebook
• android
• encryption

Custom treesitter queries for Home Manager nix files, in Neovim

• home-manager
• neovim
• neovim-plugin
• nix

Todo example for koa-graphql and relay