TranslatedBypass the Great Firewall - scientific internet access
- ssr
- v2ray
- shadowsocks
- fanqiang
Repository Index
47,133 repositories indexed
1–18 of 18 · Most stars
This is the Rust course used by the Android team at Google. It provides you the material to quickly teach Rust.
Translated2026 airport recommendations and airport reviews
Translated🚁🚀 2026 Airport Recommendations | Panda VPN (PandaVPNPro) has been confirmed to have run off with users' money! Quick Connect VPN (快连VPN) and Xiaoniu Accelerator (小牛加速器, Xiaoniu VPN) offer a poor experience and are expensive. Low-price airports, cheap airports, affordable airports, cost-effective airports, high-speed airports, stable airports, one-yuan airports, circumvention airports, paid airports, fee-charging airports, niche airports, high-quality airports, budget airports. Airport reviews, circumventing China's firewall, scientific internet access, ladders. Not permanently free ladders, official website, not permanently free VPN, not free airports! VPN China. Pay-as-you-go airports, pay-by-usage airports, no time limit airports. Airport node subscriptions, node sharing, Clash nodes, V2ray nodes, non-free nodes. Works with proxy software such as ClashForWindows, V2rayN, singbox, nekobox, and Shadowrocket (小火箭) 🚀🚁
- airport
- clash
- gfw
- shadowsocks
Translatedclash nodes, free clash nodes, free nodes, free proxy ladder, clash for bypassing the firewall, clash for circumventing the Great Firewall, clash subscription links, clash for Windows, clash tutorial, free public-interest nodes, latest free clash node subscription addresses, free clash nodes updated daily
- clash
- freefq
- freenode
- ssr
TranslatedFree nodes, free v2ray nodes, latest public-welfare free v2ray node subscription addresses, free v2ray nodes updated daily, free ss/v2ray/trojan nodes, freefq
TranslatedAirport recommendations, Clash / V2ray client configuration, and proxy tool guides
- clash
- documentation
- mihomo
- proxy
A list of resources for those interested in getting started in bug bounties
- bug-bounty-hunters
- hackers
- xss
- bug-bounty
MiniOB is a compact database that assists developers in understanding the fundamental workings of a database.
- database
- learn-to-database
- mini-database
- classroom
Next.js + Redux + styled-components + Express = 😇
Edrys is an open and modular remote teaching platform (and the first live LMS)
- edrys
- education
- classroom
- virtual-classroom
Example of blog built with React, Next.js, Firebase Firestore, Styled-Component, Mobx State Tree and other cool technologies
- nextjs
- mobx-state-tree
- firestore
- firebase-auth
Reference tutorial app for React on Rails with SSR, Fast Refresh HMR, and Shakapacker/Webpack.
Functional Data Structures and Algorithms in SSReflect [maintainer=@clayrat]
- coq
- mathcomp
- 2-3-tree
- avl-tree
Open-source AI study companion — Google Classroom sync, Gemini AI plans, SRS flashcards, GPA predictor, AI quiz, MCP server for Claude Code. Try demo at shiori-v1.vercel.app
Stable sort algorithms and their stability proofs in Rocq
- mathcomp
- ssreflect
- sorting-algorithms
- mergesort
Libraries demonstrating design patterns for programming and proving with canonical structures in Coq [maintainer=@anton-trunov]
- coq
- canonical-structures
- typeclasses
- ssreflect
Coq formalization of algorithms due to Tarjan and Kosaraju for finding strongly connected graph components using Mathematical Components and SSReflect [maintainers=@CohenCyril,@palmskog]
- coq
- mathcomp
- ssreflect
- tarjan-algorithm