自用Mac窗口管理工具yabai配置文件类似Linux下面的i3wm
☆34Aug 25, 2021Updated 4 years ago
Alternatives and similar repositories for yabai-config
Users that are interested in yabai-config are comparing it to the libraries listed below
Sorting:
- ⭐ 瞎JB折腾Mac/Linux/Windows过程中遇到的所有问题和解决方式 ⭐☆150Jan 1, 2020Updated 6 years ago
- Gui framework inspired by druid and flutter☆17Sep 14, 2022Updated 3 years ago
- A Demo ChatGPT Telegram Bot Script☆19Jan 20, 2023Updated 3 years ago
- My Neovim Environment Setup☆23Feb 13, 2024Updated 2 years ago
- 腾讯云轻量服务器流量监控☆16Jul 18, 2024Updated last year
- 利用蓝奏云做图床或者获取下载直链☆18Jul 11, 2020Updated 5 years ago
- A design automation framework to engineer decision diagrams yourself☆25Mar 2, 2026Updated last week
- ☆33Dec 3, 2021Updated 4 years ago
- This is a Login application for Android using Parse server.☆10Nov 26, 2018Updated 7 years ago
- A *crazy* customizable Bitbar plugin that displays the total number of spaces and highlights the current one.☆36Nov 16, 2021Updated 4 years ago
- 📚 My personal website☆10Jun 2, 2025Updated 9 months ago
- 一键脚本搭建ss/ssr并开启bbr内核加速（Ubuntu/CentOS/Debian）☆10May 2, 2019Updated 6 years ago
- Analyze experimental data with Programming by Navigation☆17Updated this week
- ELVE : ELVE Logic Visualization Engine☆11Jul 2, 2017Updated 8 years ago
- 不定期更新爬取各国网站的爬虫源码☆10Aug 15, 2018Updated 7 years ago
- A Flutter plugin intended to achieve native iOS interactively dismissible keyboard☆15Jan 6, 2026Updated 2 months ago
- An on-chain Turing machine library and interpreter for the NEO VM, i.e. the first universal dApp.☆13Aug 31, 2018Updated 7 years ago
- A simple tool to demonstrate the physical design steps of VLSI Design Flow.☆10Dec 13, 2020Updated 5 years ago
- A powerful plugin connect APlayer and Meting☆11Jan 1, 2024Updated 2 years ago
- Software project☆12Jun 21, 2022Updated 3 years ago
- Validating Sign in With Apple(IdentityCode Or IdentityToken Or RefreshToken).☆12Nov 5, 2020Updated 5 years ago
- OpenTitan FI formal verification framework☆16Aug 29, 2023Updated 2 years ago
- A web IDE for ACL2 using a Kubernetes based backend. Evolution of https://github.com/calebegg/proof-pad-classic☆11Jul 15, 2024Updated last year
- An open-source sitelen pona font based on LXGW Wenkai by LXGW. 基于落霞孤鹜的霞鹜文楷制造的开源 sitelen pona 字体。☆51Aug 7, 2022Updated 3 years ago
- AI 可以在 50 trun 内实现一个简单的高性能向量数据库吗?☆24Feb 27, 2026Updated last week
- Exercises for the Dafny Tutorial☆14May 21, 2018Updated 7 years ago
- ☆13Nov 27, 2025Updated 3 months ago
- A python framework for Optimal Planning Modulo Theories☆12Jan 26, 2024Updated 2 years ago
- ANSI escape sequence / unicode aware text wrapping for Go☆10Jan 12, 2020Updated 6 years ago
- AI-powered visual debugging for your React, Vue, Svelte, SolidJS, Preact & Next.js app via MCP and ACP☆29Updated this week
- Google Bard Desktop Application (Mac, Windows and Linux)☆10Jun 7, 2023Updated 2 years ago
- ☆14Oct 11, 2024Updated last year
- 将平台内容导出成EPUB☆10Sep 20, 2022Updated 3 years ago
- Edit from https://github.com/shadowsocks/shadowsocks-libev/tree/master/docker/alpine☆10Jun 10, 2019Updated 6 years ago
- LEC - Logic Equivalence Checking - Formal Verification☆34Updated this week
- docker openconnect proxy☆11Feb 3, 2021Updated 5 years ago
- Features Tour is a package that enables you to easily create tours to introduce your widget features in your Flutter app with order.☆12Dec 2, 2025Updated 3 months ago
- A fork of Yosys that integrates the CellIFT pass☆13Jul 23, 2025Updated 7 months ago
- Implementation of several grid routers in Rust☆13Feb 28, 2026Updated last week