Repository Index

Combination of VS Code's SynthWave '84 and JupyterLab's Neon Night

• jupyterlab
• jupyterlab-extension
• jupyterlab-extensions
• jupyterlab-theme

An Autocomplete edit handler for selecting Pages, Snippets, and more.

Membuat tulisan AI lebih luwes dan enak dibaca, bukan untuk mengelabui deteksi AI

• academic-writing
• ai-writing
• bahasa-indonesia
• claude

A launcher for PC games on a jailbroken PS5, built on prospero-win (Wine, DXVK, VKD3D-Proton). Install games from USB with automatic covers, pick them from a carousel, and use the DualSense: vibration, light bar, adaptive triggers. FPS counter and update check. Games that need a launcher to start are not supported.

A collection of containers & algorithms for the Crystal programming language

• crystal
• algorithms

Tooling infrastructure for modern web component development.

• typescript
• storybook
• tailwindcss
• web-components

TranslatedGitHub accelerator — a local Windows proxy: no plugin, no server, zero accounts. Built-in table of real GitHub IPs to bypass DNS pollution, BoringSSL (the same TLS fingerprint as Chrome) + spoofed SNI to connect directly to the official edge, accelerating all scenarios: clone / push / Release / raw / web pages, with a chain of public mirrors as a fallback for large files, and automatic restoration on exit. GitHub proxy & mirror for China mainland.

• boring-ssl
• gfw
• github-accelerator
• github-proxy

A framework for smart contract verification in Coq

• blockchain
• coq
• smart-contracts
• verification

Agent skill for discovering TadaPay Marketplace merchants and products

A low-poly 3D office that shows your AI coding agents' live status — idle agents sneak off to play Minecraft (no tokens used).

• agent-dashboard
• ai-agents
• claude-code
• low-poly

Boot iOS simulator on jailed iOS without JIT

TranslatedC++ matrix multiplication performance experiments: from triple loops to blocking optimization and systolic arrays — an undergraduate introductory showcase project in the AI chip (NPU) direction

Network swarm that automagically discovers other peers on the network using multicast dns

Pixel art skill for Claude Code: how to make good pixel, animated game sprite out, effects etc.

• 8bit
• agent-skills
• ai
• ai-art

The native agentic development platform for the Mac: a 5 MB terminal that runs fleets of Claude Code and Codex sessions side by side, each on its own branch. Built with SwiftUI, no Electron, no telemetry.

• ai-agents
• anthropic
• claude
• claude-code

Rule-based personalisation for Wagtail CMS

• wagtail
• django
• personalisation

Your AI wrote the code. You still have to explain it before it ships.

TranslatedMcDonald's points asset steward: filter out fake listings · rank by value for money · lottery advisor

• agent-skills
• mcd-mcp
• mcdonalds
• mcp

⚡️ Simple Ionic Angular app to demonstrate the use of certain Capacitor plugins.

• ionic
• capacitor
• android
• ios

LiveReload server for Go [golang]

CanAirIO is a citizen science initiative. We are developing a mobile application that is able to set a PM2.5 or CO2 sensors, and other related sensors, as a fixed station using WiFi or mobile station with an smartphone by using a Bluetooth connection.

• firmware
• esp32
• android
• arduino

Convert the dependencies in `build.zig.zon` to a Nix expression [maintainer=@figsoda]

• build
• nix
• vendor
• zig

Framework to automate development of Algorand Assets and Smart Contracts.

• algorand
• algorand-assets
• yarn
• teal

TranslatedMaimai Calendar (mobile widget version) | An iOS home screen calendar based on McDonald's MCP, with three sizes and birthday and holiday skins.