Repository Index

Server for storing persistent data for Ripple clients

Coq plugin providing tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators [maintainer=@palmskog]

• coq-plugin
• coq-tactic
• coq
• docker-coq-action

Ice-cool 🧊 Remix + Directus starter template.

• directus
• remix
• remix-stack
• template

Erlang public_key cryptography wrapper for Elixir

The repository host gives no description.

⚙️ A collection of Swift extensions for wide range of Vapor data types and classes

• vapor
• swift
• serverside-swift

Ecto type for saving encrypted passwords using Comeonin

• ecto
• comeonin
• password-hash

Menu bar macOS app for running rkt in a macOS hypervisor CoreOS VM.

• coreos
• rkt
• containers
• macosx

A minimal dark colorscheme that you can actually read at a glance.

• colorscheme
• neovim
• nvim
• nvim-colorscheme

Copy lines with file path, line number, and repository URL metadata. Perfect for sharing code snippets with context.

• editing-support
• neovim
• neovim-lua
• neovim-plugin

Expand and repeat expression to multiple lines for neovim.

Desktop & phone notifications for AI coding agents (Claude Code, Codex, Gemini CLI, Cursor). Native VS Code support. Toast + ntfy push. Zero dependencies.

• ai-agent
• ai-coding
• claude-code
• cli

Moodpeak – tiny tools that quietly pull you out of a bad mood and back to peak focus.

• archlinux
• omarchy
• omarchy-theme
• ricing

VK API Wrapper

• vk-api
• delphi
• api
• rest

Use JavaScript to generate JavaScript

• preprocessor
• build-tool
• babel
• webpack

Get typed access to the DbEntityEntry<T>.OriginalValues property bag

MyFin Budget - Rest API for the personal finances platform that'll help you budget, keep track of your income/spending and forecast your financial future.

• budget-app
• nodejs
• nodejs-api
• personal-finance-manager

Common Lisp UUID library with zero dependencies

• common-lisp
• utility-library
• uuid

⚽ Live football(soccer) scores, fixtures and standings for the competition you follow (World Cup, Premier League, LALIGA, Champions League and 12 more) in your terminal, your Claude Code and Cursor CLI statusline, and MCP clients. No API key. Independent fan project. Not affiliated with FIFA, any confederation, league or club, or Anthropic.

• claude-code
• cli
• football
• futbol

Fast, zero-dependency cost calculator and customizable statusline for Claude Code. Single binary, no runtime needed.

• anthropic
• claude
• claude-code
• cli

A puzzle game for the Game Boy Color (CGB), Analogue Pocket (AP) and Game Gear(GG). Build pets in all shapes and sizes, keep the board clear.

• game-boy-color
• game-boy
• gameboy
• retrodev

This is the Aura theme for Omarchy.org, providing a visually appealing configuration set for your Linux desktop environment.

• archlinux
• omarchy
• omarchy-theme

Complimentary event template helpers to the {{on}} modifier

• ember
• emberjs
• ember-addon
• ember-template-helper

A playground for experimenting with multiple additive animations in Core Animation.