Stars
A KeePass/Password Safe Client for iOS and OS X
A plugin to type Unicode chars in Vim, using their LaTeX names.
A tiling window manager for macOS based on binary space partitioning
ChatGPT for Mac, living in your menubar.
music library manager and MusicBrainz tagger
Tool for creating snapshots and remote backups of btrfs subvolumes
C++ `std::unique_ptr` that represents each object as an NFT on the Ethereum blockchain
Wine source generated by the wine-tkg build system. See wine-tkg-config.txt for config.
We define a simple programming language, simp_lang, then instantiate Iris to verify simple simp_lang programs with concurrent separation logic.
AUR helper with minimal dependencies. Review PKGBUILDs all in once, next build them all without user interaction.
Tricks you wish the Coq manual told you [maintainer=@tchajed]
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…
AfD Blocker Browser Plugin
If the plugin does not work for some syntax, feel free to report to the issue tracker!
FOR ISSUES, PLEASE USE THE CORRESPONDING SUBPROJECT ISSUE TRACKER - Some pkgbuilds and stuff. Please don't target release tags and always use current. The PKGBUILDs are meant to be retro-compatible…
The Online Interpreter for Standard ML, written in TypeScript.
Use snapper snapshots to backup to external drive
A Brainfuck interpreter in RegEx only (using Find/Replace)