Sign in

Repository Index

47,133 repositories indexed

Tags: All Tags
Tags

A repository shows when it has any selected Tag.

Filters

Filters

Clear all filters

4,033–4,056 of 5,925 · Most stars

Formal specification and generation of verifiable binary parsers, message generators and protocol state machines

A curated list of Omarchy themes. Discover, share, and contribute to a growing collection of themes for Omarchy—all in one place. Inspired by other awesome lists, this repository helps users explore and enhance their Omarchy experience with beautiful, community-driven themes.

A three-mode LiveContainer launcher: iOS Home Screen, cinematic console, and Big Picture, with Liquid Glass and controller navigation.

TranslatedMedia player for LG webOS, Android TV and Android: movies and TV series from TorrServer.

  • torrent-streaming
  • open-movie-player
  • android
  • android-tv-apps

A curated collection of papers and resources on voice agents, from spoken interaction to autonomous task execution.

Use Neovim as the default code editor for Unity — with .csproj generation, OmniSharp support and LSP-ready workflow.

  • neovim-unity-plugin-external-editor-omnisharp

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.

graphql-maven-plugin is a Maven Plugin for GraphQL, based on graphql-java. It accelerates the development for both the client and the server, by generating the Java code. It allows a quicker development when in contract-first approach, by avoiding to code the boilerplate code.

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