paldepind
Follow
Stars
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 for IDE and terminal, fine-grained customization options. 带连字和控制台图标的圆角等宽字体，中英文宽度完美2:1，细粒度的自定义选项
Submit Forma (https://joinforma.com) claims from the command line 🤖
A service for sending ebooks to a Kobo or Kindle ereader through the built-in browser
Plugin to improve viewing Markdown files 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 new 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.
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive develo…
An Emacs framework for the stubborn martian hacker
Tricks you wish the Coq manual told you [maintainer=@tchajed]
Cubical Agda case study: Okasaki's BatchedQueue