lgaeher's Stars
ycm-core/YouCompleteMe
A code-completion engine for Vim
koekeishiya/yabai
A tiling window manager for macOS based on binary space partitioning
beetbox/beets
music library manager and MusicBrainz tagger
github/copilot.vim
Neovim plugin for GitHub Copilot
vincelwt/chatgpt-mac
ChatGPT for Mac, living in your menubar.
coq/coq
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 development of machine-checked proofs.
model-checking/kani
Kani Rust Verifier
zhuowei/nft_ptr
C++ `std::unique_ptr` that represents each object as an NFT on the Ethereum blockchain
digint/btrbk
Tool for creating snapshots and remote backups of btrfs subvolumes
tpope/vim-endwise
endwise.vim: Wisely add
actionless/pikaur
AUR helper with minimal dependencies. Review PKGBUILDs all in once, next build them all without user interaction.
Tk-Glitch/PKGBUILDS
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. Kernels are the exception.
tchajed/coq-tricks
Tricks you wish the Coq manual told you
dieparteidiepartei/afd-blocker-plugin
AfD Blocker Browser Plugin
whonore/Coqtail
Interactive Coq Proofs in Vim
SOSML/SOSML
The Online Interpreter for Standard ML, written in TypeScript.
Mzk-Levi/texts
Tegmen/RegEx-Brainfuck-Interpreter
A Brainfuck interpreter in RegEx only (using Find/Replace)
baod-rate/snap-sync
Use snapper snapshots to backup to external drive
itchyny/vim-haskell-indent
If the plugin does not work for some syntax, feel free to report to the issue tracker!
jez/vim-better-sml
:tada: Enjoy writing SML within Vim
joom/latex-unicoder.vim
A plugin to type Unicode chars in Vim, using their LaTeX names.
tchajed/iris-simp-lang
We define a simple programming language, simp_lang, then instantiate Iris to verify simple simp_lang programs with concurrent separation logic.
Tk-Glitch/wine-tkg
Wine source generated by the wine-tkg build system. See wine-tkg-config.txt for config.
Ali-Alhasani/UniSaarApp
Saarland Uni-App 2.0
MarianDietz/uni-tex-templates
svzieg/pseucovim
Pseuco Plugin for Vim. See more on pseuco.com