A curated list of my GitHub stars! Generated by starred.
- Assembly
- Awk
- C
- C#
- C++
- CMake
- CSS
- Dockerfile
- Elixir
- Go
- HTML
- Haml
- Handlebars
- Haskell
- Java
- JavaScript
- Jupyter Notebook
- Kotlin
- Lean
- Less
- Lua
- MDX
- Makefile
- Markdown
- Others
- PHP
- PureScript
- Python
- QML
- Roff
- Ruby
- Rust
- SCSS
- Scheme
- Shell
- Stylus
- TeX
- TypeScript
- Vim Script
- Vue
- sed
- BLAKE3-team/BLAKE3 - the official Rust and C implementations of the BLAKE3 cryptographic hash function
- soimort/translate-shell - 💬 Command-line translator using Google Translate, Bing Translator, Yandex.Translate, etc.
- mpv-player/mpv - 🎥 Command line video player
- hoyon/mpv-mpris - MPRIS plugin for mpv
- NetworkManager/NetworkManager - Read-only Mirror of the freedesktop.org repository. Please make pull requests against freedesktop.org.
- NVIDIA/open-gpu-kernel-modules - NVIDIA Linux open GPU kernel module source
- P-H-C/phc-winner-argon2 - The password hash Argon2, winner of PHC
- haiwen/seafile - High performance file syncing and sharing, with also Markdown WYSIWYG editing, Wiki, file label and other knowledge management features.
- Mange/rofi-emoji - Emoji selector plugin for Rofi
- Airblader/i3 - A fork of the i3 window manager with gaps and some other features.
⚠️ i3-gaps has been merged into i3. - altdesktop/playerctl - 🎧 mpris media player command-line controller for vlc, mpv, RhythmBox, web browsers, cmus, mpd, spotify and others.
- xdbob/xss-lock - xss-lock fork from https://bitbucket.org/raymonad/xss-lock
- i3/i3 - A tiling window manager for X11
- davatorium/rofi - Rofi: A window switcher, application launcher and dmenu replacement
- Raymo111/i3lock-color - The world's most popular non-default computer lockscreen.
- obsproject/obs-studio - OBS Studio - Free and open source software for live streaming and screen recording
- libimobiledevice/ifuse - A fuse filesystem to access the contents of iOS devices
- rfjakob/earlyoom - earlyoom - Early OOM Daemon for Linux
- zen-kernel/zen-kernel - Zen Patched Kernel Sources
- videolan/vlc - VLC media player - All pull requests are ignored, please follow https://wiki.videolan.org/Sending_Patches_VLC/
- htop-dev/htop - htop - an interactive process viewer
- xorg62/tty-clock - Clock using lib ncurses
- jonas/tig - Text-mode interface for git
- ouuan/Despised - NOI bèi bǐ shì
- mevdschee/2048.c - Console version of the game "2048" for GNU/Linux
- ventoy/Ventoy - A new bootable USB solution.
- kernelbin/BOIT - BOT for OIers. /BOIT = BOT + OI; yh蒟蒻写的给OIers用的一个bot,Made by kernel.bin with ❤/
- haad/proxychains - proxychains - a tool that forces any TCP connection made by any given application to follow through proxy like TOR or any other SOCKS4, SOCKS5 or HTTP(S) proxy. Supported auth-types: "user/pass" for
- xupefei/Locale-Emulator - Yet Another System Region and Language Simulator
- ppy/osu - rhythm is just a click away!
- TianxingWu/OpenVHead - A 3D virtual head control system for VTuber in Unity with smooth motion and robust facial expressions
- im0qianqian/CodeforcesEduHacking - 📊 Codeforces Edu & Div. 3 Open hacking
- rizsotto/Bear - Bear is a tool that generates a compilation database for clang tooling.
- frvdecQAQ/reversi -
- xsun2001/thuac2022-adk -
- rui314/mold - Mold: A Modern Linker 🦠
- kelektiv/node.bcrypt.js - bcrypt for NodeJs
- easymodo/qimgv - Image viewer. Fast, easy to use. Optional video support.
- hluk/FakeVim - Vim emulation in QTextEdit, QPlainTextEdit and similar Qt widgets
- hluk/CopyQ - Clipboard manager with advanced features
- flameshot-org/flameshot - Powerful yet simple to use screenshot software 🖥️ 📸
- leanprover-community/lean - Lean Theorem Prover
- dev-cafe/cmake-cookbook - CMake Cookbook recipes.
- ouuan/uoj-data-converter - 将各种各样格式的数据转换为 UOJ 的格式 🎉 文件名转换 | subtask 设置| 添加样例 | 生成 problem.conf 🚀
- csb6/html-plus-plus - Write HTML using C++ templates
- qbittorrent/qBittorrent - qBittorrent BitTorrent client
- ChungZH/notepanda - 📃 A simple cross-platform notepad. Based on Qt and C++.
- neko-para/qgdbint - GDB interface in Qt
- KDE/systemsettings - Control center to configure your Plasma Desktop
- ouuan/CPTH - 🌟 Competitive Programming Template Headers | With documentation, CI tests and Codecov
- probonopd/linuxdeployqt - Makes Linux applications self-contained by copying in the libraries and plugins that the application uses, and optionally generates an AppImage. Can be used for Qt and other applications
- ccache/ccache - ccache – a fast compiler cache
- fjzzq2002/QQDuelBot - A bot to make codeforces duels in QQ groups
- MaskRay/ccls - C/C++/ObjC language server supporting cross references, hierarchies, completion and semantic highlighting
- cpeditor/cpeditor - The IDE for competitive programming 🎉 | Fetch, Code, Compile, Run, Check, Submit 🚀
- qt/qtbase - Qt Base (Core, Gui, Widgets, Network, ...)
- itay-grudev/SingleApplication - Replacement of QtSingleApplication for Qt 5 and Qt 6 with support for inter-instance communication.
- vijos/malicious-code - Malicious code that Vijos judged.
- syzoj/syzoj-tools - 一个为 OI 题目设计的方便的命令行工具,实现造题、验题、评测等整个评测流程
- keyu-tian/Gobang-by-Qt - A Gobang game (includes a naive AI) based on Min-Max-Search and Alpha-Beta-Pruning algorithm. (by Qt5.11)
- Project-LemonLime/Project_LemonLime - 为了 OI 比赛而生的基于 Lemon + LemonPlus 的轻量评测系统 | 三大桌面系统支持
- Laakeri/tiralabra -
- biswajitsc/jigsaw-solver - A jigsaw puzzle solver for randomly shuffled square shaped images.
- ouuan/Tree-Generator - Help competitive programming problem setters to generate different kinds of trees 🌲
- ouuan/CF-template - template to code faster for CP
- abc1763613206/OJ-CLI - 一个便捷的命令行OJ交题程序
- Dust1404/Project_LemonPlus - A tiny judging environment for OI contest based on Project_Lemon
- Edgration/icey - icey Local Judge
- Sojiv/Project_lemon - A tiny judging environment for OI contest, clone of Project-Lemon on Google code (https://code.google.com/p/project-lemon/)
- MikeMirzayanov/testlib - C++ library to develop competitive programming problems
- LazyJazz/Game04 - Game04Project
- hanlin-ren/uoj-hacker - A python script to get all AC submissions for a problem in uoj + a python script to stress test the submissions.
- cristianadam/HelloWorld - A C++ Hello World project, using CMake, and GitHub Actions
- mahmoud/zerover - 0️⃣ Minimalist versioning scheme for devs who can't be bothered.
- StylishThemes/GitHub-Dark -
Dark GitHub style
- Peuj/duplicate-tabs-closer - Duplicate Tabs Closer - Detects and closes duplicate tabs for Chrome and Firefox.
- memset0/lavandula - mem0 的小玩具 qwq
- cn/constitution - 中华人民共和国宪法
- crazy-max/ghaction-chocolatey - GitHub Action for Chocolatey, the package manager for Windows
- plausible/analytics - Simple, open source, lightweight (< 1 KB) and privacy-friendly web analytics alternative to Google Analytics.
- junegunn/fzf - 🌸 A command-line fuzzy finder
- WeidiDeng/caddy-cloudflare-ip -
- caddy-dns/cloudflare - Caddy module: dns.providers.cloudflare
- raviqqe/muffet - Fast website link checker in Go
- bangumi/server - The next-generation api backend server for bgm.tv
- matrix-org/dendrite - Dendrite is a second-generation Matrix homeserver written in Go!
- caddyserver/transform-encoder - Log encoder module for custom log formats
- greenpau/caddy-security - 🔐 Authentication, Authorization, and Accounting (AAA) App and Plugin for Caddy v2. 💎 Implements Form-Based, Basic, Local, LDAP, OpenID Connect, OAuth 2.0 (Github, Google, Facebook, Okta, etc.), SAML A
- photoprism/photoprism - AI-Powered Photos App for the Decentralized Web 🌈💎✨
- bytebase/bytebase - Database DevOps and CI/CD for Developer, DBA and Platform Engineering team.
- caddyserver/caddy - Fast and extensible multi-platform HTTP/1-2-3 web server with automatic HTTPS
- horahoradev/horahora - Multi-user video download manager supporting hundreds of sites
- go-gitea/gitea - Git with a cup of tea! Painless self-hosted all-in-one software development service, including Git hosting, code review, team collaboration, package registry and CI/CD
- muety/wakapi - 📊 A minimalist, self-hosted WakaTime-compatible backend for coding statistics
- filhodanuvem/gitql - 💊 A git query language
- wakatime/wakatime-cli - Command line interface used by all WakaTime text editor plugins
- z4yx/GoAuthing - Authentication utility for srun4000 (auth.tsinghua.edu.cn / net.tsinghua.edu.cn / Tsinghua-IPv4)
- lauripiispanen/most-active-github-users-counter - CLI tool that queries the GitHub GraphQL API for users and ranks them according to number of contributions
- dundee/gdu - Fast disk usage analyzer with console interface written in Go
- charmbracelet/glow - Render markdown on the CLI, with pizzazz! 💅🏻
- raviqqe/liche - Fast Link Checker for Markdown and HTML in Go
- Jguer/yay - Yet another Yogurt - An AUR Helper written in Go
- tuna/tunasync - Mirror job management tool.
- sodaling/FastestBilibiliDownloader - B站视频极速批量下载器|The fastest Bilibili video downloader
- cli/cli - GitHub’s official command line tool
- mislav/hub - A command-line tool that makes git easier to use with GitHub.
- gohugoio/hugo - The world’s fastest framework for building websites.
- apex/gh-polls - Polls for user feedback in GitHub issues
- iawia002/lux - 👾 Fast and simple video download library and CLI tool written in Go
- EndlessCheng/mahjong-helper - 日本麻将助手:牌效+防守+记牌(支持雀魂、天凤)
- thu-cs-lab/Router-Lab-Docs - Documentation for Router Lab
- Chiyuru/chiyuru.github.io - Personal website
- ayuusweetfish/caisse - Personal website/memex
- f/awesome-chatgpt-prompts - This repo includes ChatGPT prompt curation to use ChatGPT better.
- tc39/proposal-temporal - Provides standard objects and functions for working with dates and times.
- CSSInDepth/css-in-depth - Code examples from CSS In Depth
- PKUanonym/REKCARC-TSC-UHT - 清华大学计算机系课程攻略 Guidance for courses in Department of Computer Science and Technology, Tsinghua University
- wjdp/htmltest - ✅ Test generated HTML for problems
- ouuan/fake-luogu-paintboard-server - 模拟洛谷冬日绘板服务器,可用于测试脚本。
- KDE/syntax-highlighting - Syntax highlighting Engine for Structured Text and Code.
- martignoni/hugo-video - A Hugo theme component to embed videos using HTML video element
- javascript-tutorial/zh.javascript.info - 现代 JavaScript 教程(The Modern JavaScript Tutorial),以最新的 ECMAScript 规范为基准,通过简单但足够详细的内容,为你讲解从基础到高阶的 JavaScript 相关知识。
- all-contributors/all-contributors - ✨ Recognize all contributors, not just the ones who push code ✨
- google/docsy - A set of Hugo doc templates for launching open source content.
- cpeditor/cpeditor.github.io - The official website of CP Editor 📝
- iamcal/emoji-data - Easy to parse data and spritesheets for emoji
- yihui/yihui.org - Personal website and discussion board of Yihui Xie
- Lingeros-tot/Lingeros-tot.github.io -
- yhx-12243/OI-transit - OI transit
- Magolor/magolor.github.io - Magolor's Blog:
- trinitrotofu/BZPRO - BZOJ离线题库 附赠下载器一枚
- Ruanxingzhi/bzojch - BZOJ离线题库
- zyf722/zyf722.github.io - World.create(MAX);
- olivierlacan/keep-a-changelog - If you build software, keep a changelog.
- rtorr/vim-cheat-sheet - A mobile friendly Vim cheat sheet
- srid/neuron - Future-proof note-taking and publishing based on Zettelkasten (superseded by Emanote: https://github.com/srid/emanote)
- open-keychain/open-keychain - OpenKeychain is an OpenPGP implementation for Android.
- oasisfeng/island - Island for Android
- beemdevelopment/Aegis - A free, secure and open source app for Android to manage your 2-step verification tokens.
- ia-toki/judgels - Modern programming contest system
- eclipse/openvsx - An open-source registry for VS Code extensions
- dj3500/hightail -
- adrgs/requestrepo - Analyze HTTP and DNS requests and create custom DNS records for your subdomain. Open-source Burp Collaborator alternative.
- lovell/sharp - High performance Node.js image processing, the fastest module to resize JPEG, PNG, WebP, AVIF and TIFF images. Uses the libvips library.
- papandreou/fontverter - Convert font buffers between TTF/WOFF/WOFF2
- papandreou/subset-font - Create a subset of a TrueType/OpenType/WOFF/WOFF2 font using the wasm build of harfbuzz/hb-subset
- omrilotan/isbot - 🤖/👨🦰 Detect bots/crawlers/spiders using the user agent string
- shimataro/ssh-key-action - GitHub Action that installs SSH key to .ssh
- avoidwork/filesize.js - JavaScript library to generate a human readable String describing the file size
- remarkjs/remark-math - remark and rehype plugins to support math
- brummelte/sleep-promise - Resolves a promise after a specified delay.
- codemirror/codemirror5 - In-browser code editor (version 5, legacy)
- tree-sitter/tree-sitter-cpp - C++ grammar for tree-sitter
- ahmadnassri/node-glob-promise - Promise version of glob
- jsdom/jsdom - A JavaScript implementation of various web standards, for use with Node.js
- markdown-it/markdown-it - Markdown parser, done right. 100% CommonMark support, extensions, syntax plugins & high speed
- GoogleChrome/lighthouse - Automated auditing, performance metrics, and best practices for the web.
- cure53/DOMPurify - DOMPurify - a DOM-only, super-fast, uber-tolerant XSS sanitizer for HTML, MathML and SVG. DOMPurify works with a secure default, but offers a lot of configurability and hooks. Demo:
- ayuusweetfish/medle - 旋律猜谜游戏,每日更新~・Daily melody puzzle game (available in en/zh)
- akshayravikumar/TeXnique - A LaTeX Typesetting Game
- wuomzfx/tree-shaking-test - how to do tree-shaking best
- useful-forks/useful-forks.github.io - Improving GitHub's Forks list discoverability through automatic filtering. The project offers an online tool and a Chrome extension.
- fastify/fastify-autoload - Require all plugins in a directory
- thunlp/WantWords - An open-source online reverse dictionary.
- cypress-io/cypress - Fast, easy and reliable testing for anything that runs in a browser.
- plazum/find-keke - 寻找唐可可
- TheConnMan/docker-hub-rss - RSS feed for Docker Hub images
- fastify/fastify-secure-session - Create a secure stateless cookie session for Fastify
- auth0/node-jsonwebtoken - JsonWebToken implementation for node.js http://self-issued.info/docs/draft-ietf-oauth-json-web-token.html
- fastify/fastify-mongodb - Fastify MongoDB connection plugin
- fastify/fastify-jwt - JWT utils for Fastify
- fastify/fastify-sensible - Defaults for Fastify that everyone can agree on
- fastify/fastify-helmet - Important security headers for Fastify
- fastify/csrf-protection - A fastify csrf plugin.
- fastify/fastify-cookie - A Fastify plugin to add cookies support
- fastify/fastify - Fast and low overhead web framework, for Node.js
- fastify/fastify-auth - Run multiple auth functions in Fastify
- fastify/fastify-static - Plugin for serving static files as fast as possible
- overleaf/overleaf - A web-based collaborative LaTeX editor
- louislam/uptime-kuma - A fancy self-hosted monitoring tool
- ZenithalHourlyRate/thuservices - https://thu.services
- johnsoncodehk/vue-tsc - vue-tsc --noEmit && vite build
- vuejs/eslint-plugin-vue - Official ESLint plugin for Vue.js
- vuejs/eslint-config-typescript - eslint-config-typescript for vue projects
- eslint/eslint - Find and fix problems in your JavaScript code.
- moment/luxon - ⏱ A library for working with dates and times in JS
- ds300/postinstall-postinstall -
- doesdev/rollup-plugin-analyzer - Mad metrics for your rollup bundles, know all the things
- w8r/avl - 👓 Fast AVL tree for Node and browser
- 07akioni/xicons - SVG Vue/React components integrated from fluentui-system-icons, ionicons, ant-design-icons, material-design-icons, Font-Awesome, tabler-icons and carbon icons. (Vue3, Vue2, React, SVG)
- DavidNHill/JSMinesweeper - Minesweeper player, solver and analyser in javascript
- ouuan/botzone-local-runner - 在本地运行 Botzone judger & bot
- tj/commander.js - node.js command-line interfaces made easy
- tauri-apps/vue-cli-plugin-tauri - Turn your Vue SPA into a lightweight cross-platform desktop app
- ai/size-limit - Calculate the real cost to run your JS app or lib to keep good performance. Show error in pull request if the cost exceeds the limit.
- SOJdevelopers/SOJ-front-end -
- iamcco/markdown-preview.nvim - markdown preview plugin for (neo)vim
- pomber/git-history - Quickly browse the history of a file from any git repository
- mauriciopoppe/greuler - Graph theory visualizations
- yagop/node-telegram-bot-api - Telegram Bot API for NodeJS
- mkg20001/tg-sticker-convert-bot - Converts Telegram Photos / Documents into the required 512 .PNG format
- piroor/tst-more-tree-commands - Provides extra tree manipulation commands for Tree Style Tab.
- piroor/treestyletab - Tree Style Tab, Show tabs like a tree.
- enyancc/vscode-ext-color-highlight - Extension adds colored border around css/web colors in the editor
- ouuan/my-vscode-extensions - List your installed VS Code extensions in a Markdown file 😎
- kuresaru/geetest-validator - 极验验证器 调试工具 测试用
- SocialSisterYi/bilibili-API-collect - 哔哩哔哩-API收集整理【不断更新中....】
- vitalets/websocket-as-promised - A Promise-based API for WebSockets
- axios/axios - Promise based HTTP client for the browser and node.js
- Automattic/node-canvas - Node canvas is a Cairo backed Canvas implementation for NodeJS.
- franciscop/server - 🖥️ Simple and powerful server for Node.js
- airbnb/javascript - JavaScript Style Guide
- caolan/async - Async utilities for node and the browser
- headllines/hackernews-weekly - Hacker News weekly top 10 posts
- headllines/github-weekly - Github weekly top 10 repos
- t9tio/cloudquery - Turn any website to API by several clicks (serverless and support SPA!)
- timqian/chart.xkcd - xkcd styled chart lib
- FilipePS/Traduzir-paginas-web - Translate your page in real time using Google or Yandex
- github/docs - The open-source repo for docs.github.com
- shimohq/chinese-programmer-wrong-pronunciation - 中国程序员容易发音错误的单词
- abskmj/hukum - An NPM module that displays Github Action progress in the terminal and aims to improve your development experience by printing status in realtime.
- BeautyyuYanli/full-mark-composition-generator - 将专业术语和名人名言以随机报菜名的方式填入模板,生成一篇只有聪明人才能看懂的满分作文!
- DIYgod/RSSHub - 🍰 Everything is RSSible
- awesome-cp-projects/awesome-cp-projects.github.io - 😎 An awesome list of competitive-programming-related projects on GitHub, with stats instead of comments.
- zenolus/upsolve - A Codeforces practice tracker (https://upsolve.me)
- anuraghazra/github-readme-stats - ⚡ Dynamically generated stats for your github readmes
- iamcal/js-emoji - A JS Emoji conversion library
- moment/moment - Parse, validate, manipulate, and display dates in javascript.
- ciaochaos/qrbtf - An art QR code (qrcode) beautifier. 艺术二维码生成器。https://qrbtf.com
- mxschmitt/action-tmate - Debug your GitHub Actions via SSH by using tmate to get access to the runner system itself.
- Monogatari/Monogatari - Monogatari is a simple web visual novel engine, created to bring Visual Novels to the web.
- Unitech/pm2 - Node.js Production Process Manager with a built-in Load Balancer.
- dd-center/DDatElectron - DD@Electron
- all-contributors/app - 🤖 A GitHub App to automate acknowledging contributors to your open source projects
- simple-icons/simple-icons - SVG icons for popular brands
- sallar/github-contributions-chart -
Generate an image of all your Github contributions
- badges/shields - Concise, consistent, and legible badges in SVG and raster format
- nondanee/UnblockNeteaseMusic - Revive unavailable songs for Netease Cloud Music
- jurplel/install-qt-action - Install Qt on your Github Actions workflows with just one simple action
- zamhown/wear-a-mask - 😷 An SPA that uses only the front-end to perform deep-learning-based facial landmark detection on images and automatically adds breathing mask stickers.
- f2e-awesome/knowledge - 文档着重构建一个完整的「前端技术架构图谱」,方便 F2E(Front End Engineering又称FEE、F2E) 学习与进阶。
- remarkjs/remark-frontmatter - remark plugin to support frontmatter (YAML, TOML, and more)
- remarkjs/remark-lint - plugins to check (lint) markdown code style
- remarkjs/remark - markdown processor powered by plugins part of the @unifiedjs collective
- commitizen/cz-cli - The commitizen command line utility. #BlackLivesMatter
- vogievetsky/KoalasToTheMax - Koalas To The Max
- menzi11/BullshitGenerator - Needs to generate some texts to test if my GUI rendering codes good or not. so I made this.
- hakimel/reveal.js - The HTML Presentation Framework
- devongovett/regexgen - Generate regular expressions that match a set of strings
- highlightjs/highlight.js - JavaScript syntax highlighter with language auto-detection and zero dependencies.
- zhangzisu/ZenOnlineJudge - Official version of Zen Online Judge. Have fun!
- ouuan/Hinata-Online-Judge - 一个有很多新增 feature 的 UOJ
- ITcarrot/hoj - 一个基于UOJ开发的在线评测系统
- yuku/old-textcomplete - Moved to yuku/textcomplete
- mervick/emojionearea - Emoji Picker Plugin for jQuery
- pcottle/learnGitBranching - An interactive git visualization and tutorial. Aspiring students of git can use this app to educate and challenge themselves towards mastery of git!
- shi-yang/jnoj - Jiangnan Online Judge
- zyr17/MajsoulPaipuAnalyzer - 雀魂牌谱分析工具
- Ice-Hazymoon/MikuTools - 一个轻量的工具集合
- Anguei/Luogu-Problem-Jumper - 在洛谷任意位置双击题号,自动跳转
- sjsakib/cfviz - Visualizes user data from codeforces.com using the official API
- carpedm20/DCGAN-tensorflow - A tensorflow implementation of "Deep Convolutional Generative Adversarial Networks"
- syzoj/syzoj - 一个用于算法竞赛的在线评测系统。An online judge system for algorithm competition.
- Anguei/Luogu-Super-Todolist - 洛谷超级任务计划,不限任务计划长度(第三方)
- Jannchie/Historical-ranking-data-visualization-based-on-d3.js - [Deprecated!] This is a data visualization project that converts historical data rankings into dynamic bar charts.
- TexteaInc/luogu-drawer - post your img to luogu-paintBoard
- UniversalOJ/UOJ-System - Universal Online Judge (Community Edition)
- vfleaking/uoj - Universal Online Judge
- Anguei/Luogu-Ac-Comparator - 比较你和其他用户之间通过的题目异同
- AliaksandrSiarohin/first-order-model - This repository contains the source code for the paper First Order Motion Model for Image Animation
- pfnet/PaintsChainer - line drawing colorization using chainer
- bloc97/Anime4K - A High-Quality Real Time Upscaler for Anime Video
- yujincheng08/BiliRoaming - 哔哩漫游,解除B站客户端番剧区域限制的Xposed模块,并且提供其他小功能。An Xposed module that unblocks bangumi area limit of BILIBILI with miscellaneous features.
- sourcerer-io/sourcerer-app - 🦄 Sourcerer app makes a visual profile from your GitHub and git repositories.
- blanchette/logical_verification_2020 - Companion files for Logical Verification 2020–2021 at VU Amsterdam
- ImperialCollegeLondon/natural_number_game - Building the natural numbers in Lean.
- leanprover-community/mathlib - Lean mathematical components library
- ljt12138/Proof-of-Surreal - A formal proof of NOI 2020 D2T2
- zdhxiong/mdui - MDUI 是一个基于 Material Design 的前端框架。
- ibhagwan/fzf-lua - Improved fzf.vim written in lua
- jonniek/mpv-playlistmanager - Mpv lua script to create and manage playlists
- folke/flash.nvim - Navigate your code with search labels, enhanced character motions and Treesitter integration
- luukvbaal/nnn.nvim - File manager for Neovim powered by nnn.
- jose-elias-alvarez/null-ls.nvim - Use Neovim as a language server to inject LSP diagnostics, code actions, and more via Lua.
- chrisgrieser/nvim-early-retirement - Send buffers into early retirement by automatically closing them after x minutes of inactivity.
- andythigpen/nvim-coverage - Displays test coverage data in the sign column
- LuaLS/lua-language-server - A language server that offers Lua language support - programmed in Lua
- mfussenegger/nvim-treehopper - Region selection with hints on the AST nodes of a document powered by treesitter
- samodostal/image.nvim - 🖼️ Image Viewer as ASCII Art for Neovim written in Lua
- Wansmer/treesj - Neovim plugin for splitting/joining blocks of code
- kylechui/nvim-surround - Add/change/delete surrounding delimiter pairs with ease. Written with ❤️ in Lua.
- ethanholz/nvim-lastplace - A Lua rewrite of vim-lastplace
- xmake-io/xmake - 🔥 A cross-platform build utility based on Lua
- zbirenbaum/copilot-cmp - Lua plugin to turn github copilot into a cmp source
- zbirenbaum/copilot.lua - Fully featured & enhanced replacement for copilot.vim complete with API for interacting with Github Copilot
- lukas-reineke/cmp-under-comparator - nvim-cmp comparator function for completion items that start with one or more underlines
- danymat/neogen - A better annotation generator. Supports multiple languages and annotation conventions.
- numToStr/Comment.nvim - 🧠 💪 // Smart and powerful comment plugin for neovim. Supports treesitter, dot repeat, left-right/up-down motions, hooks, and more
- j-hui/fidget.nvim - Standalone UI for nvim-lsp progress
- petertriho/nvim-scrollbar - Extensible Neovim Scrollbar
- filipdutescu/renamer.nvim - VS Code-like renaming UI for Neovim, writen in Lua.
- luukvbaal/stabilize.nvim - Neovim plugin to stabilize window open/close events.
- tanvirtin/vgit.nvim - Visual git plugin for Neovim
- onsails/lspkind.nvim - vscode-like pictograms for neovim lsp completion items
- ruifm/gitlinker.nvim - A lua neovim plugin to generate shareable file permalinks (with line ranges) for several git web frontend hosts. Inspired by tpope/vim-fugitive's :GBrowse
- lukas-reineke/indent-blankline.nvim - Indent guides for Neovim
- lewis6991/spellsitter.nvim - Treesitter powered spellchecker
- ahmedkhalf/project.nvim - The superior project management solution for neovim.
- kdheepak/cmp-latex-symbols - Add latex symbol support for nvim-cmp.
- hrsh7th/cmp-buffer - nvim-cmp source for buffer words
- hrsh7th/cmp-nvim-lsp - nvim-cmp source for neovim builtin LSP client
- hrsh7th/cmp-vsnip - nvim-cmp source for vim-vsnip
- hrsh7th/cmp-path - nvim-cmp source for path
- hrsh7th/nvim-cmp - A completion plugin for neovim coded in Lua.
- weilbith/nvim-code-action-menu - Pop-up menu for code actions to show meta-information and diff preview
- AckslD/nvim-neoclip.lua - Clipboard manager neovim plugin with telescope integration
- Julian/lean.nvim - neovim support for the Lean theorem prover
- David-Kunz/treesitter-unit - A Neovim plugin to deal with treesitter units
- gennaro-tedesco/nvim-jqx - Populate the quickfix with json entries
- abecodes/tabout.nvim - tabout plugin for neovim
- oberblastmeister/neuron.nvim - Make neovim the best note taking application
- stevearc/stickybuf.nvim - Neovim plugin for locking a buffer to a window
- stevearc/aerial.nvim - Neovim plugin for a code outline window
- kevinhwang91/nvim-hlslens - Hlsearch Lens for Neovim
- sindrets/diffview.nvim - Single tabpage interface for easily cycling through diffs for all modified files for any git rev.
- kosayoda/nvim-lightbulb - VSCode 💡 for neovim's built-in LSP.
- JoosepAlviste/nvim-ts-context-commentstring - Neovim treesitter plugin for setting the commentstring based on the cursor location in a file.
- ray-x/lsp_signature.nvim - LSP signature hint as you type
- rafamadriz/friendly-snippets - Set of preconfigured snippets for different languages.
- windwp/nvim-autopairs - autopairs for neovim written by lua
- svermeulen/vimpeccable - Neovim plugin that allows you to easily map keys directly to lua code inside your init.lua
- hrsh7th/nvim-compe - Auto completion Lua plugin for nvim
- nacro90/numb.nvim - Peek lines just when you intend
- nvim-treesitter/nvim-treesitter-context - Show code context
- folke/todo-comments.nvim - ✅ Highlight, list and search todo comments in your projects
- ellisonleao/gruvbox.nvim - Lua port of the most famous vim colorscheme
- lewis6991/gitsigns.nvim - Git integration for buffers
- folke/which-key.nvim - 💥 Create key bindings that stick. WhichKey is a lua plugin for Neovim 0.5 that displays a popup with possible keybindings of the command you started typing.
- phaazon/hop.nvim - Neovim motions on speed!
- folke/trouble.nvim - 🚦 A pretty diagnostics, references, telescope results, quickfix and location list to help you solve all the trouble your code is causing.
- ojroques/nvim-hardline - A simple Neovim statusline
- akinsho/bufferline.nvim - A snazzy bufferline for Neovim
- dstein64/nvim-scrollview - A Neovim plugin that displays interactive vertical scrollbars and signs.
- neovim/nvim-lspconfig - Quickstart configs for Nvim LSP
- zyf722/nShogi-Lua - A Shogi game written in TI-Lua
- ouuan/iles-blog - ouuan's blog
- yuk7/ArchWSL - ArchLinux based WSL Distribution. Supports multiple install.
- mdn/content - The content behind MDN Web Docs
- FastGitORG/document - 📄 FastGit Document
- tldr-pages/tldr - 📚 Collaborative cheatsheets for console commands
- stamparm/ipsum - Daily feed of bad IPs (with blacklist hit scores)
- thu-cs-lab/MifConverter - Convert image / binary file to MIF format
- sdras/night-owl-vscode-theme - 🌌 NIGHT OWL: A VS Code dark theme for contrast for nighttime coding, 🦉 LIGHT OWL: a daytime light theme
- veorq/cryptocoding - Guidelines for low-level cryptography software
- ouuan/luogu-motaki - 服务端-客户端架构的洛谷冬日绘板工具
- basings/selfhosted-music-overview - A table listing software network services which can be hosted on your own servers
- tuna/collection - idea collections from TUNA
- rockerBOO/awesome-neovim - Collections of awesome neovim plugins.
- phyphox/phyphox-experiments - Physical Phone Experiments (in-app experiment collection)
- brechtsanders/winlibs_mingw - winlibs standalone build of GCC compiler and MinGW-w64
- xingshaocheng/architect-awesome - 后端架构师技术图谱
- themotu/wearenotsheep - Guidance for changing the default branch name for GitHub repositories
- nusr/hacker-laws-zh - 💻📖对开发人员有用的定律、理论、原则和模式。(Laws, Theories, Principles and Patterns that developers will find useful.)
- Fndroid/clash_for_windows_pkg - A Windows/macOS GUI based on Clash
- b1f6c1c4/learn-git-the-super-hard-way - 不走寻常路的Git教程
- tounan/renaming - Yep
- adobe-fonts/source-han-super-otc - Source Han & Noto CJK Mega/Ultra OTCs
- github/roadmap - GitHub public roadmap
- diauweb/diauweb -
- sindresorhus/awesome - 😎 Awesome lists about all kinds of interesting topics
- abhisheknaiidu/awesome-github-profile-readme - 😎 A curated list of awesome GitHub Profile READMEs 📝
- k4yt3x/flowerhd - 花!是一个高清重制机上些许衍生创作的表情包
- ruanyf/document-style-guide - 中文技术文档的写作规范
- k88hudson/git-flight-rules - Flight rules for git
- iotang/oiQuotations - Quotations for oi
- shieldfy/API-Security-Checklist - Checklist of the most important security countermeasures when designing, testing, and releasing your API
- cobaltdisco/Google-Chinese-Results-Blocklist - 我终于能用谷歌搜中文了……
- ouuan/omuse-zsh-theme - A zsh theme based on amuse
- Jannchie/BiliOB - BiliOB观测者是一个观测B站UP主及视频数据变化,并予以分析的Web应用程序。
- kfcd/chaizi - 漢語拆字字典
- ngosang/trackerslist - Updated list of public BitTorrent trackers
- XIU2/TrackersListCollection - 🎈 Updated daily! A list of popular BitTorrent Trackers! / 每天更新!全网热门 BT Tracker 列表!
- tiimgreen/github-cheat-sheet - A list of cool features of Git and GitHub.
- KeiKinn/ShadowsocksBio - 记录一下Shadowsocks的前世今生,以及一个简单的教程总结
- hzwer/shareOI - 算法竞赛课件分享
- QuadnucYard/extend-chen_zhe-voice - chen_zhe音源扩展版
- cat-milk/Anime-Girls-Holding-Programming-Books - Anime Girls Holding Programming Books
- SFOI-Team/luogu-problem-list - A problem list for luogu OJ.
- teorth/QED - Repository for the QED interactive text and possible extensions
- 521xueweihan/git-tips -
Git的奇技淫巧
- jalios/pdf2svg-windows - pdf2SVG for windows (using poppler and cairo)
- MegaOwIer/CNOI-problems -
- tvvocold/How-To-Ask-Questions-The-Smart-Way - How To Ask Questions The Smart Way 《提问的智慧》中文版
- QuadnucYard/kkksc03_voice - kkksc03音源
- ciwomuli/chen_zhe_voice -
- banana-space/banana-space -
- matomo-org/matomo - Liberating Web Analytics. Star us on Github? +1. Matomo is the leading open alternative to Google Analytics that gives you full control over your data. Matomo lets you easily collect data from website
- YLOJ/YLOJ - Yali Online Judge
- joypixels/emojione - [Archived] The world's largest independent emoji font. Maintained at https://github.com/joypixels/emoji-toolkit.
- hanlin-studio/CFRatingColor - 利用Shields.io,实现按颜色显示Codeforces的Rating
- felixSchl/neodoc - Beautiful, hand-crafted commandline interfaces for node.js
- maurosoria/dirsearch - Web path scanner
- yt-dlp/yt-dlp - A youtube-dl fork with additional features and fixes
- typeddjango/django-stubs - PEP-484 stubs for Django
- fonttools/fonttools - A library to manipulate font files from Python.
- caronc/apprise - Apprise - Push Notifications that work with just about every platform!
- haiwen/seahub - The web end of seafile server.
- nICEnnnnnnnLee/LiveRecorder - you-live - A live recorder focus on China mainland livestream sites(A站/B站/斗鱼/快手)
- bulletmark/libinput-gestures - Actions gestures on your touchpad using libinput
- edgedb/edgedb - A graph-relational database with declarative schema, built-in migration system, and a next-generation query language
- almarklein/timetagger - Tag your time, get the insight
- Konano/Tuna-Erha-Bot -
- RimoChan/steal_piano - 【steal piano】GitHub偷情分析工具!
- rss2email/rss2email - Forward RSS feeds to your email address, community maintained
- AdnanHodzic/auto-cpufreq - Automatic CPU speed & power optimizer for Linux
- caj2pdf/caj2pdf - Convert CAJ (China Academic Journals) files to PDF. 转换中国知网 CAJ 格式文献为 PDF。佛系转换,成功与否,皆是玄学。
- rocats/repeater - demo: @greater_repeater_bot
- anishathalye/neural-hash-collider - Preimage attack against NeuralHash 💣
- ManimCommunity/manim - A community-maintained Python framework for creating mathematical animations.
- yutto-dev/yutto - 🧊 一个可爱且任性的 B 站视频下载器(bilili V2)
- CollegesChat/university-information - 收集全国各高校招生时不会写明,却会实实在在影响大学生活质量的要求与细节
- jrouleau/bluetooth-autoconnect - A linux command line tool to automatically connect to all paired and trusted bluetooth devices.
- mhinz/neovim-remote - 👌 Support for --remote and friends.
- 0xHJK/music-dl - search and download music 从网易云音乐、QQ音乐、酷狗音乐、百度音乐、虾米音乐、咪咕音乐等搜索和下载歌曲
- lilydjwg/fcitx.vim - keep and restore fcitx state when leaving/re-entering insert mode
- mmulet/font-game-engine - Make your own game in a font!
- tobi-wan-kenobi/bumblebee-status - bumblebee-status is a modular, theme-able status line generator for the i3 window manager.
- nodchip/OnlineJudgeHelper - A scriprt to improve the usability of online judges
- repology/repology-updater - Repology backend service to update repository and package data
- TobxD/codeforces_live_bot -
- yutto-dev/bilili - 🍻 bilibili video (including bangumi) and danmaku downloader | B站视频(含番剧)、弹幕下载器
- TheLocehiliosan/yadm - Yet Another Dotfiles Manager
- yanglbme/gitee-pages-action - 🤖 Auto Deploy Gitee Pages by GitHub Action | 无须人为干预,由 GitHub Action 自动部署 Gitee Pages
- fkxxyz/rime-cloverpinyin - 🍀️四叶草拼音输入方案,做最好用的基于rime开源的简体拼音输入方案!
- fkxxyz/ssfconv - Sogou input method skin file (.ssf file) converter, supports conversion to fcitx or fcitx5 format.
- ouuan/pacwatch - A pacman wrapper which helps you watch important package updates.
- ActiveState/appdirs - A small Python module for determining appropriate platform-specific dirs, e.g. a "user data dir".
- maguowei/starred - creating your own Awesome List by GitHub stars!
- xxh/xxh - 🚀 Bring your favorite shell wherever you go through the ssh. Xonsh shell, fish, zsh, osquery and so on.
- sourcerer-io/hall-of-fame - 🏆 Show some love to your contributors! A widget for your repo README. Visual and clean. Refreshes every hour.
- online-judge-tools/template-generator - Analyze problems of competitive programming and automatically generate boilerplate
- Kkevsterrr/geneva - automated censorship evasion for the client-side and server-side
- athul/waka-readme - Wakatime Weekly Metrics on your Profile Readme.
- zachMelody/bilibili-live-recorder - 下载 bilibili 直播 视频流
- online-judge-tools/oj - Tools for various online judges. Downloading sample cases, generating additional test cases, testing your code, and submitting it.
- eee555/Solvable-Minesweeper - 元扫雷v3.1.1 —— 包含8种模式的扫雷项目、第三代扫雷录像播放器及高性能算法工具箱
- Yikun/hub-mirror-action - 一个Github Action,用于在Github和Gitee之间同步代码。Action for mirroring repos between Hubs (like Github and Gitee).
- cms-dev/cms - Contest Management System
- Elteoremadebeethoven/AnimationsWithManim - Animation course with Manim
- wting/autojump - A cd command that learns - easily navigate directories from the command line
- djui/alias-tips - An oh-my-zsh plugin to help remembering those aliases you defined once
- initial-h/AlphaZero_Gomoku_MPI - An asynchronous/parallel method of AlphaGo Zero algorithm with Gomoku
- mcfx/telegram_pipebot - Connect other bots as pipes.
- ytdl-org/youtube-dl - Command-line program to download videos from YouTube.com and other video sites
- miurahr/aqtinstall - aqt: Another (unofficial) Qt CLI Installer on multi-platforms
- kc97ble/testfmt5 -
- zyf722/thedamn - Windows CMD implementation of "The Fuck" (https://github.com/nvbn/thefuck)
- Latitude-Archives/AIDungeon - Infinite adventures await!
- mathics/Mathics - This repository is for archival. Please see https://github.com/Mathics3/mathics-core
- wd/hexo2hugo - Tools help you to migrate hexo files to hugo
- zhanyong-wan/dongbei - 东北方言编程语言
- abc1763613206/TGBullshitGeneratorBot - "狗屁不通文章生成器" (https://github.com/menzi11/BullshitGenerator) 的 Telegram Bot 移植版
- google/diff-match-patch - Diff Match Patch is a high-performance library in multiple languages that manipulates plain text.
- pkhungurn/talking-head-anime-demo - Demo for the "Talking Head Anime from a Single Image."
- fjzzq2002/CFBooster -
- kunyavskiy/polygon-cli - Command-line tool for polygon
- junxiaosong/AlphaZero_Gomoku - An implementation of the AlphaZero algorithm for Gomoku (also called Gobang or Five in a Row)
- taki0112/UGATIT - Official Tensorflow implementation of U-GAT-IT: Unsupervised Generative Attentional Networks with Adaptive Layer-Instance Normalization for Image-to-Image Translation (ICLR 2020)
- zyf722/nShogi - A Shogi game written in Python
- pwxcoo/chinese-xinhua - 📙 中华新华字典数据库。包括歇后语,成语,词语,汉字。
- memset0/uoj-ac-compare - UOJ 通过题目比较器
- megvii-research/ICCV2019-LearningToPaint - ICCV2019 - Learning to Paint With Model-based Deep Reinforcement Learning
- Nandaka/PixivUtil2 - Download images from Pixiv and more!
- mattya/chainer-DCGAN - Chainer implementation of Deep Convolutional Generative Adversarial Network
- joelibaceta/video-to-ascii - It is a simple python package to play videos in the terminal using characters as pixels
- NVlabs/stylegan - StyleGAN - Official TensorFlow Implementation
- ShuhuaGao/gpFlappyBird - Flappy Bird AI using Cartesian Genetic Programming (Evolutionary Computation)
- Alif-01/AutoHeadReplace -
- OIerDb-ng/OIer - A database for OIers
- 3b1b/manim - Animation engine for explanatory math videos
- Anguei/Luogu-Ac-Difficulties - 统计你在洛谷通过的题目是什么难度的
- WuSiYu/PlasmaVideoWallpaper - A KDE Plasma 5 wallpaper plugin which can let you using a video as the wallpaper
- satanTime/puppeteer-node - Preinstalled dependencies for puppeteer
- mastodon/mastodon - Your self-hosted, globally interconnected microblogging community
- AndrewRadev/switch.vim - A simple Vim plugin to switch segments of text with predefined replacements
- igrigorik/vimgolf - Real Vim ninjas count every keystroke - do you?
- igrigorik/gharchive.org - GH Archive is a project to record the public GitHub timeline, archive it, and make it easily accessible for further analysis.
- Peternator7/strum - A small rust library for adding custom derives to enums
- greyblake/nutype - Rust newtype with guarantees 🇺🇦 🦀
- vivekmalneedi/veridian - A SystemVerilog Language Server
- Xuanwo/backon - Retry with backoff without effort.
- meilisearch/meilisearch - A lightning-fast search engine that fits effortlessly into your apps, websites, and workflow.
- rust-lang/rust-clippy - A bunch of lints to catch common mistakes and improve your Rust code. Book: https://doc.rust-lang.org/clippy/
- mozilla/sccache - sccache is ccache with cloud storage
- Stebalien/tempfile - Temporary file library for rust
- dtolnay/readonly - Struct fields that are made read-only accessible to other modules
- sfackler/r2d2 - A generic connection pool for Rust
- seanmonstar/num_cpus - Get the number of CPUs in Rust
- allan2/dotenvy - A well-maintained fork of the Rust dotenv crate
- chronotope/chrono - Date and time library for Rust
- smol-rs/async-channel - Async multi-producer multi-consumer channel
- actix/actix-web - Actix Web is a powerful, pragmatic, and extremely fast web framework for Rust.
- tokio-rs/tokio - A runtime for writing reliable asynchronous applications with Rust. Provides I/O, networking, scheduling, timers, ...
- adwhit/diesel-derive-enum - Use enums with Diesel ORM
- diesel-rs/diesel - A safe, extensible ORM and Query Builder for Rust
- rayon-rs/rayon - Rayon: A data parallelism library for Rust
- gleich/ordinal - Ordinals (1st, 2nd, 3rd etc) for Rust
- dtolnay/anyhow - Flexible concrete Error type built on std::error::Error
- serde-rs/serde - Serialization framework for Rust
- colored-rs/colored - (Rust) Coloring terminal so simple you already know how to do it !
- rust-random/rand - A Rust library for random number generation.
- serde-rs/json - Strongly typed JSON library for Rust
- clap-rs/clap - A full featured, fast Command Line Argument Parser for Rust
- rust-lang/book - The Rust Programming Language
- not-an-aardvark/lucky-commit - Customize your git commit hashes!
- swc-project/swc - Rust-based platform for the Web
- o2sh/onefetch - Command-line Git information tool
- tree-sitter/tree-sitter - An incremental parsing system for programming tools
- orhun/gpg-tui - Manage your GnuPG keys with ease! 🔐
- atanunq/viu - Terminal image viewer with native support for iTerm and Kitty
- tauri-apps/tauri - Build smaller, faster, and more secure desktop applications with a web frontend.
- Morganamilo/paru - Feature packed AUR helper
- THMonster/Revda - Tools to play live stream with danmaku.
- sharkdp/bat - A cat(1) clone with wings.
- ogham/exa - A modern replacement for ‘ls’.
- BurntSushi/ripgrep - ripgrep recursively searches directories for a regex pattern while respecting your gitignore
- phiresky/ripgrep-all - rga: ripgrep, but also search in PDFs, E-Books, Office documents, zip, tar.gz, etc.
- olOwOlo/hugo-theme-even - 🚀 A super concise theme for Hugo https://hugo-theme-even.netlify.app
- nvim-treesitter/nvim-treesitter-textobjects -
- nvim-treesitter/nvim-treesitter - Nvim Treesitter configurations and abstraction layer
- hrsh7th/vscode-langservers-extracted - vscode-langservers bin collection.
- adobe-fonts/source-han-serif - Source Han Serif | 思源宋体 | 思源宋體 | 思源宋體 香港 | 源ノ明朝 | 본명조
- archlinuxcn/repo - Arch Linux CN Repository
- tamago324/cmp-zsh - nvim-cmp source for zsh
- SiddharthPant/booky - A simple script for pdf bookmarks creation
- nachoparker/btrfs-du - Easily print BTRFS subvolume/snapshot disk usage
- KSXGitHub/github-actions-deploy-aur - GitHub Actions to publish AUR package
- lideming/kernel-modules-hook-reflink -
- ouuan/pkgbuild-action - Make the package in a minimal environment and generate
.SRCINFO
. - ouuan/AUR-template - Manage AUR packages in a GitHub repository, with CI tests and auto-publish 🚀
- cdown/clipmenu - Clipboard management using dmenu
- wjdp/htmltest-action - ✅
Run htmltest as part of your GitHub Actions workflow
- shalva97/kde-configuration-files - KDE plasma configuration files
- saber-nyan/kernel-modules-hook - Keeps your Arch Linux fully functional after a kernel upgrade
- jarun/advcpmv - A patch for GNU Core Utilities cp, mv to add progress bars
- peter-evans/link-checker - A GitHub action for link checking repository Markdown and HTML files
- arzzen/git-quick-stats - ▁▅▆▃▅ Git quick statistics is a simple and efficient way to access various statistics in git repository.
- xu-cheng/latex-action -
GitHub Action to compile LaTeX documents
- VSCodium/vscodium - binary releases of VS Code without MS branding/telemetry/licensing
- helixarch/debtap - A script for converting .deb packages into Arch Linux packages, focused on accuracy
- sobolevn/misspell-fixer-action - 📝Automatically fixes typos and mistakes in your source code and docs!
- zsh-users/zsh-autosuggestions - Fish-like autosuggestions for zsh
- zsh-users/zsh-syntax-highlighting - Fish shell like syntax highlighting for Zsh.
- ohmyzsh/ohmyzsh - 🙃 A delightful community-driven (with 2,100+ contributors) framework for managing your zsh configuration. Includes 300+ optional plugins (rails, git, macOS, hub, docker, homebrew, node, php, python,
- theme-next/hexo-theme-next - Elegant and powerful theme for Hexo.
- josephwright/siunitx - A comprehensive (SI) units package for LaTeX
- lervag/vimtex - VimTeX: A modern Vim and neovim filetype plugin for LaTeX files.
- antfu/shikiji - An ESM-focused rewrite of shiki, and a little bit more.
- vuejs/test-utils - Vue Test Utils for Vue 3
- nuxt-modules/eslint - ESLint module for Nuxt.js
- danielroe/nuxt-vitest - An vitest environment with support for testing code that needs a Nuxt runtime environment
- AriPerkkio/vitest-sonar-reporter - SonarQube reporter for Vitest
- sniptt-official/guards - 🛡 Comprehensive collection of type guards for JavaScript and TypeScript; Inspired by Elixir
- total-typescript/ts-reset - A 'CSS reset' for TypeScript, improving types for common JavaScript API's
- nuxt/nuxt - Nuxt is an intuitive and extendable way to create type-safe, performant and production-grade full-stack web apps and websites with Vue 3.
- iconify/iconify - Universal icon framework. One syntax for FontAwesome, Material Design Icons, DashIcons, Feather Icons, EmojiOne, Noto Emoji and many other open source icon sets (100+ icon sets, 100,000+ icons). SVG f
- ekalinin/sitemap.js - Sitemap-generating framework for node.js
- nick-fields/retry - Retries a GitHub Action step on failure or timeout
- renovatebot/renovate - Universal dependency update tool that fits into your workflows.
- wataru-chocola/remark-definition-list - remark plugin to support definition list
- tsconfig/bases - Hosts TSConfigs to extend in a TypeScript app, tuned to a particular runtime environment
- ElMassimo/vite-plugin-image-presets - 🖼 Image Presets for Vite.js apps
- image-size/image-size - Node module for detecting image dimensions
- ouuan/glyph-segregator - A new way to optimize web fonts for a specific static site.
- unjs/consola - 🐨 Elegant Console Logger for Node.js and Browser
- thomasdondorf/puppeteer-cluster - Puppeteer Pool, run a cluster of instances in parallel
- egoist/tsup - The simplest and fastest way to bundle your TypeScript libraries.
- frenic/csstype - Strict TypeScript and Flow types for style based on MDN data
- puppeteer/puppeteer - Node.js API for Chrome
- antfu/bumpp - Interactive CLI that bumps your version numbers and more
- meilisearch/meilisearch-js-plugins - The search client to use Meilisearch with InstantSearch.
- shikijs/shiki - A beautiful Syntax Highlighter.
- yjl9903/unplugin-info - Export build information as a virutal module
- ouuan/mastodon-auto-reply-bot - A Mastodon Bot to automatically reply to statuses that match the given filters.
- eemeli/yaml - YAML parser and stringifier for JavaScript
- neet/masto.js - 🐘 Universal Mastodon API client for JavaScript
- causaly/zod-validation-error - Wrap zod validation errors in user-friendly readable messages
- colinhacks/zod - TypeScript-first schema validation with static type inference
- xna00/unocss-language-server -
- giscus/giscus-component - Component library for giscus, a comment system powered by GitHub Discussions.
- steveukx/git-js - A light weight interface for running git commands in any node.js application.
- unjs/unbuild - 📦 An unified javascript build system
- sindresorhus/got - 🌐 Human-friendly and powerful HTTP request library for Node.js
- scttcper/qbittorrent - qBittorrent api wrapper
- ElMassimo/iles - 🏝 The joyful site generator
- ka-weihe/fastest-levenshtein - The fastest implementation of Levenshtein distance in JS/TS.
- raineorshine/npm-check-updates - Find newer versions of package dependencies than what your package.json allows
- hgraceb/flop-player - Web minesweeper player
- vector-im/element-web - A glossy Matrix collaboration client for the web.
- hoiheart/vue-diff - VueJS diff viewer plugin
- isaacs/node-glob - glob functionality for node.js
- vbenjs/vite-plugin-compression - Use gzip or brotli to compress resources
- vbenjs/vite-plugin-html - A vite plugin for processing html. It is developed based on lodash template
- antfu/vite-plugin-restart - Custom files/globs to restart Vite server
- vueuse/vueuse - Collection of essential Vue Composition Utilities for Vue 2 and 3
- antfu/vue-starport - 🛰 Shared component across routes with animations
- jpmonette/feed - A RSS, Atom and JSON Feed generator for Node.js, making content syndication simple and intuitive! 🚀
- calibreapp/image-actions - A Github Action that automatically compresses JPEGs, PNGs and WebPs in Pull Requests.
- plausible/plausible-tracker - Frontend library to interact with Plausible Analytics
- LeSuisse/vue-dompurify-html - Safe replacement for the v-html directive
- tooot-app/app -
- slidevjs/slidev - Presentation Slides for Developers
- jakearchibald/wordle-analyzer -
- vuejs/vitepress - Vite & Vue powered static site generator.
- vitest-dev/vitest - A Vite-native test framework. It's fast!
- pnpm/pnpm - Fast, disk space efficient package manager
- thu-info-community/thu-info-app - An APP aimed at integrating various sources of campus information, developed with React Native
- tldraw/tldraw - a very good whiteboard
- unigraph-dev/unigraph-dev - A local-first and universal knowledge graph, personal search engine, and workspace for your life.
- unocss/unocss - The instant on-demand atomic CSS engine.
- type-challenges/type-challenges - Collection of TypeScript type challenges with online judge
- vuejs/pinia - 🍍 Intuitive, type safe, light and flexible Store for Vue using the composition api with DevTools support
- troisjs/trois - ✨ ThreeJS + VueJS 3 + ViteJS ⚡
- giscus/giscus - A comment system powered by GitHub Discussions.
💬 💎
- octaltree/cmp-look -
- microsoft/TypeScript - TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
- typescript-eslint/typescript-eslint - ✨ Monorepo for all the tooling which enables ESLint to support TypeScript
- ouuan/truth-table-generator - 它现在不仅有真值表,还有主范式、最简范式、王浩算法、手动等值演算 | 离散数学 Open Project
- robertying/learnX - 清华大学网络学堂 App,以 React Native 构建。App for Tsinghua University Web Learning, developed with React Native. ⚛️
- leanprover/lean-client-js -
- vuejs/language-tools - ⚡ High-performance Vue language tooling based-on Volar.js
- DefinitelyTyped/DefinitelyTyped - The repository for high quality TypeScript type definitions.
- pladaria/reconnecting-websocket - Reconnecting WebSocket. For Web, React Native, cli (Node.js)
- dividab/ts-exhaustive-check - Exhaustive check for typescript type never
- ibezkrovnyi/image-quantization - Image Quantization Library with alpha support (based on https://github.com/leeoniya/RgbQuant.js, https://github.com/timoxley/neuquant and http://www.ece.mcmaster.ca/~xwu/cq.c)
- typescript-language-server/typescript-language-server - TypeScript & JavaScript Language Server
- bytedance/bytemd - Hackable Markdown Editor and Viewer
- 3Shain/Comen - 📺直播用弹幕栏【原bilichat】
- vuejs/core - 🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
- tusen-ai/naive-ui - A Vue 3 Component Library. Fairly Complete. Theme Customizable. Uses TypeScript. Fast.
- OI-wiki/OI-wiki - 🌟 Wiki of OI / ICPC for everyone. (某大型游戏线上攻略,内含炫酷算术魔法)
- refined-github/refined-github -
Browser extension that simplifies the GitHub interface and adds useful features
- ueokande/vim-vixen - Accelerates your web browsing with Vim power!!
- conwnet/github1s - One second to read GitHub code with VS Code.
- Dreamacro/clash-dashboard - web port of clash
- znck/grammarly - Grammarly for VS Code
- cschleiden/vscode-github-actions - Simple, unofficial extension to view GitHub Actions workflows and runs in VS Code
- hecrj/download-release-action - Download the assets of a GitHub release
- vitejs/vite - Next generation frontend tooling. It's fast!
- Jannchie/anichart.js - Easily create data visualization animation videos
- amir9480/vscode-cpp-helper - vscode extension to create implementation for c++ function prototypes.
- excalidraw/excalidraw - Virtual whiteboard for sketching hand-drawn like diagrams
- jinliming2/vscode-go-template - Go Template Syntax Highlight Support for VSCode.
- peter-evans/repository-dispatch - A GitHub action to create a repository dispatch event
- benc-uk/workflow-dispatch - A GitHub Action for triggering workflows, using the
workflow_dispatch
event - vuejs/vue - This is the repo for Vue 2. For Vue 3, go to https://github.com/vuejs/core
- dd-center/Cluster-center - DD@Home, Cluster Manager
- peter-evans/create-pull-request - A GitHub action to create a pull request for changes to your repository in the actions workspace
- actions/upload-artifact -
- actions/github-script - Write workflows scripting the GitHub API in JavaScript
- star-history/star-history - The missing star history graph of GitHub repos - https://star-history.com
- peaceiris/actions-gh-pages - GitHub Actions for GitHub Pages 🚀 Deploy static files and publish your site easily. Static-Site-Generators-friendly.
- microsoft/vscode - Visual Studio Code
- OI-wiki/OI-wiki-vscode - 在 VS Code 中搜索 OI wiki
- actions/cache - Cache dependencies and build outputs in GitHub Actions
- softprops/action-gh-release - 📦
GitHub Action for creating GitHub Releases
- jaywcjlove/github-rank - 🕷️Github China/Global User Ranking, Global Warehouse Star Ranking (Github Action is automatically updated daily).
- jmerle/competitive-companion - Browser extension which parses competitive programming problems
- Enter-tainer/luoguPaintAutomatonTS - luogu冬日画板自动绘图脚本支持多用户,维护
- markedjs/marked - A markdown parser and compiler. Built for speed.
- the1812/Bilibili-Evolved - 强大的哔哩哔哩增强脚本
- utterance/utterances - 🔮 A lightweight comments widget built on GitHub issues
- jxnblk/vim-mdx-js -
- machakann/vim-highlightedyank - Make the yanked region apparent!
- glts/vim-textobj-comment - Vim text objects for comments
- antoinemadec/FixCursorHold.nvim - Fix CursorHold Performance.
- axlebedev/vim-footprints - Vim plugin: footprints. Highlight last edited lines.
- leafOfTree/vim-vue-plugin - Vim syntax and indent plugin for .vue files
- othree/html5.vim - HTML5 omnicomplete and syntax
- tommcdo/vim-exchange - Easy text exchange operator for Vim
- ntpeters/vim-better-whitespace - Better whitespace highlighting for Vim
- mcchrish/nnn.vim - File manager for vim/neovim powered by n³
- AndrewRadev/splitjoin.vim - Switch between single-line and multiline forms of code
- andymass/vim-matchup - vim match-up: even better % 👊 navigate and highlight matching words 👊 modern matchit and matchparen. Supports both vim and neovim + tree-sitter.
- rhysd/conflict-marker.vim - Weapon to fight against conflicts in Vim.
- farmergreg/vim-lastplace - A vim / nvim plugin that intelligently reopens files at your last edit position.
- camspiers/lens.vim - A Vim Automatic Window Resizing Plugin
- pechorin/any-jump.vim - Jump to any definition and references 👁 IDE madness without overhead 🚀
- hrsh7th/vim-vsnip - Snippet plugin for vim/nvim that supports LSP/VSCode's snippet format.
- psliwka/vim-smoothie - Smooth scrolling for Vim done right🥤
- junegunn/goyo.vim - 🌷 Distraction-free writing in Vim
- nacitar/a.vim - Alternate Files quickly (.c --> .h etc)
- tpope/vim-fugitive - fugitive.vim: A Git wrapper so awesome, it should be illegal
- brooth/far.vim - Find And Replace Vim plugin
- michaeljsmith/vim-indent-object - Vim plugin that defines a new text object representing lines of code at the same indent level. Useful for python/vim scripts, etc.
- ouuan/vim-plug-config - Manage the configs for each vim-plugged plugin in a separate file.
- bkad/CamelCaseMotion - A vim script to provide CamelCase motion through words (fork of inkarkat's camelcasemotion script)
- RRethy/vim-hexokinase - hexokinase.vim - (Neo)Vim plugin for asynchronously displaying the colours in the file (#rrggbb, #rgb, rgb(a)? functions, hsl(a)? functions, web colours, custom patterns)
- m-pilia/vim-pkgbuild - Vim plugin to edit PKGBUILD files
- kana/vim-textobj-entire - Vim plugin: Text objects for entire buffer
- jamesl33/vim-textobj-function - Vim plugin: Text objects for functions
- dkarter/bullets.vim - 🔫 Bullets.vim is a Vim/NeoVim plugin for automated bullet lists.
- tpope/vim-commentary - commentary.vim: comment stuff out
- junegunn/vim-plug - 🌺 Minimalist Vim Plugin Manager
- vim-autoformat/vim-autoformat - Provide easy code formatting in Vim by integrating existing code formatters.
- tpope/vim-surround - surround.vim: Delete/change/add parentheses/quotes/XML-tags/much more with ease
- takac/vim-hardtime - Plugin to help you stop repeating the basic movement keys
- neovim/neovim - Vim-fork focused on extensibility and usability
- junegunn/fzf.vim - fzf ❤️ vim
- nuxt/devtools - Unleash Nuxt Developer Experience
- agateblue/tempo - Your personal diary and mood tracker
- ouuan/codle - 💻 Guess code like Wordle with parse tree nodes as letters 🌳
- ouuan/luogu-paintboard-heatmap - 洛谷冬日绘板热力图
- MegEngine/MegSpot - MegSpot是一款高效、专业、跨平台的图片&视频对比应用
- vuejs/docs-next-zh-cn - 🇨🇳 Chinese translation for v3.vuejs.org
- vuejs/docs - 📄 Documentation for Vue 3
- advanced-cropper/vue-advanced-cropper - The advanced vue cropper library that gives you opportunity to create your own croppers suited for any website design
- xiaokaike/vue-color - 🎨 Vue Color Pickers for Sketch, Photoshop, Chrome & more http://vue-color.surge.sh
- zzetao/awesome-github-profile - 🌐 A website of awesome Github Profile READMEs
- EtherOJ/EtherOJ - A GitHub-Based Open Source and free Online Judge.
- dd-center/vtbs.moe - Virtual YouTubers in bilibili
- pnowy/github-stars-history - The missing github stars history!
- guoj-dev/GuOJFrontend - Frontend Project For GuOJ
- vlajos/misspell-fixer - Simple tool for fixing common misspellings, typos in source code
To the extent possible under law, ouuan has waived all copyright and related or neighboring rights to this work.