One of the most popular modern web proxies with blazing fast speeds and a variety of games.

The latest version of Interstellar unoffocial

Firefox user.js for speed, privacy, and security. Turn off AI. Your favorite browser, but better.

Next generation Brave browser for macOS, Windows, Linux, and eventually Android

Peer-to-peer, end-to-end encrypted messaging that puts you in control. No servers. No tracking. Just your private conversations.

Video Monetization Platform - HLS video streaming with subscription-based access control

Sandbox for the Tengoku security rework — not the library, no releases, nothing depends on it

Translates verified Lean theorems into the Tengoku tree: Leak IV compile gate + Archangel kernel-checked entailment gate, banked as staging, trusted once the module builds

Mathlib plus research libraries in one verified Lean 4 tree, every theorem with its source and credit.

XSL Linter

Home Assistant custom integration that exposes Anki card counts as sensors, via the AnkiConnect add-on

Sphinx extension for URN identifier support in bibtex references

Home Assistant custom integration that controls Electrolux air conditioners over infrared, built on the Infrared building block integration

WearOS client for Immich, the self-hosted photo and video backup solution

Clockify time tracking client for Wear OS

The first VR dating app

Lightweight utility image for lithium battery capacity and runtime calculations by LiTrue Battery.

Google Developers Group Bennett University, Landing Page

一个基于兽频道api的kmp sdk

Read-only MCP server for Robinhood portfolio research

This is a library to use with Robinhood Financial App. It currently supports trading crypto-currencies, options, and stocks. In addition, it can be used to get real time ticker information, assess …

📈 NodeJS client for Robinhood Trading