Repository Index

Coq Repository at Nijmegen [maintainers=@spitters,@VincentSe,@Lysxia]

• coq-library
• real-number
• coq
• coq-ci

Multi purpose "OnAir Lamp" solution targeted for use in professional broadcast environments

Set up Claude Code once. Your whole company gets it. Self-hosted Claude Code and Codex with your company files, team skills, MCP and per-person folder permissions.

• agent-skills
• ai-workspace
• claude-code
• codex

Extensive math expression evaluator library for JavaScript and Node.js

• typescript
• interpreter
• javascript
• calculator

A cross-platform Vulkan layer which checks Vulkan applications for best practices on Arm Mali devices.

boxd self-host installer

Just like scyther, this menu helps you cut through bugs in your iOS app.

• swift
• ios

GrijjyCloudLogger, remote logging for Windows, iOS, Android, macOS and Linux

A framework that provides CurtainController. CurtainController is a container view controller that implements a content-curtain interface. You can find a similar implementation in applications like Apple Maps, Find My, Stocks, etc. Someone calls it "Pull Up" or "Bottom Sheet".

• swift
• pull-up
• bottom-sheet
• curtain

Open remote git repositories in the comfort of Neovim.

• git
• neovim
• neovim-plugin
• nvim

Modern desktop application (Rust + Tauri v2 + Svelte 5 + Candle (HF)) for communicating with AI models that runs completely locally on your computer. No subscriptions, no data sent to the internet — just you and your personal AI assistant

• ai-chat
• artificial-intelligence
• candle
• chatbot

The repository host gives no description.

A tool for changing your $GEM_HOME

:alembic: Functional JSON Parser - Linux Ready :penguin:

• alembic
• json
• parser
• functional

Omarchy Theme

TranslatedSend a message to a specified Grok Bot within DSH.

To facilitate the introduction of ITU-R BT.2100 Hybrid Log-Gamma (HLG) production, BBC R&D have created a package of look-up tables (LUTs) that implement a range of key format conversions.

• high-dynamic-range
• high-dynamic-range-imaging
• television
• television-production

PHP CVE-2026-109618/109619 — self-contained unauthenticated RCE on stock PHP 8.5.11 (in-band PS(id)→cookie memory disclosure + UAF chain), full control ladders, fixed-version negative control on 8.5.12

• cve-2026-109618
• cve-2026-109619
• exploit
• memory-corruption

Skill para Claude Code e Codex: carrosséis com a cara da sua marca, do roteiro ao PNG 2x, com galeria, slider e comparação de versões.

A simple and functional machine learning library for the Erlang ecosystem

• elixir
• machine-learning
• functional-programming
• erlang

List editor for power users, backed by a self-hosted server

• selfhosted
• todolist
• website

Convert OSM and Overpass XML/JSON to GeoJSON

• openstreetmap
• geojson
• osm2geojson
• osm

Node.js ORM written in TypeScript for type lovers.

• nodejs
• javascript
• typescript
• orm

A toolkit for custom chooser popups in Wagtail