Lists (1)
Starred repositories
Open source UI framework written in Python, running on Windows, Linux, macOS, Android and iOS
OpenSCAD - The Programmers Solid 3D CAD Modeller
Bring projects, wikis, and teams together with AI. AppFlowy is the AI collaborative workspace where you achieve more without losing control of your data. The leading open source Notion alternative.
A free, open-source app store for GitHub releases — browse, discover, and install apps with one click. Powered by Kotlin and Compose Multiplatform for Android & Desktop (Linux, MacOS, Windows).
Lecture notes for the "Introduction to Category Theory and its Applications" course 2025 (Track B - Computer Science) @ Tallinn University of Technology
Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes
CAP project -- Categories, Algorithms, and Programming
购买 👉 https://gum.co/grokking-monad 在线阅读 👉
Try Haskell
JupyMD: An Obsidian plugin bringing Jupyter notebook functionality to markdown notes, powered by Jupytext.
This is a migration of [jupyterlab-neon-theme] from JupyterLab 3.x to JupyterLab 4.x.
A flat, 80's neon inspired theme for JupyterLab.
VSCode Horizon Theme port for JupyterLab
Creates graphviz dependency graphs for Rust projects that use Cargo
A powerful open source live wallpaper app for mac
Vidwall Hub is a tool that allows you to easily import videos (mp4, mov) into the system wallpaper service and use them as lock screen animations in System Settings.
Change the style of the Apple logo in macOS menu bar / 更换macOS菜单栏苹果Logo样式的小工具
Readest is a modern, feature-rich ebook reader designed for avid readers offering seamless cross-platform access, powerful tools, and an intuitive interface to elevate your reading experience.
Window peeking, alt-tab and other enhancements for macOS
