Stars
Smooth scrolling neovim plugin written in lua
An extension for Visual Studio Code that adds rich language support for CodeQL
CodeQL: the libraries and queries that power security researchers around the world, as well as code scanning in GitHub Advanced Security
Maple Mono: Open source monospace font with round corner, ligatures and Nerd-Font icons for IDE and terminal, fine-grained customization options. 带连字和控制台图标的圆角等宽字体，中英文宽度完美2:1，细粒度的自定义选项
Submit and manage Forma (https://joinforma.com) claims from the command line and Model Context Protocol (MCP) clients
A service for sending ebooks to a Kobo or Kindle ereader through the built-in browser
Improve viewing Markdown in Neovim
Plugin for Google's protobuf compiler to generate interfaces based on protobuf specifications and runtime for encoding and decoding protobuf messages
A Neovim plugin for macOS, Linux & Windows that automatically changes the editor appearance based on system settings.
A markup-based typesetting system that is powerful and easy to learn.
Open Source Continuous File Synchronization
Context-aware single-letter project commands to speed up your terminal workflow.
🧠 💪 // Smart and powerful comment plugin for neovim. Supports treesitter, dot repeat, left-right/up-down motions, hooks, and more
Easy-to-use Navigator 2.0 router for web, mobile and desktop. URL-based routing, simple navigation of tabs and nested routes.
🖥 Control your display's brightness & volume on your Mac as if it was a native Apple Display. Use Apple Keyboard keys or custom shortcuts. Shows the native macOS OSDs.
A react-native component to use context menu's (UIMenu) on iOS 13/14+
Somewhat hacky script to automate building of Emac.app on macOS.
We define a simple programming language, simp_lang, then instantiate Iris to verify simple simp_lang programs with concurrent separation logic.
The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environmen…
Verifying concurrent storage and distributed systems
An Emacs framework for the stubborn martian hacker