Johannes Altmanninger's repositories
git-branchstack
Efficiently manage Git branches without leaving your local branch
gitlab-offline-review
Read and write GitLab review comments without leaving your editor
ddSMT
A delta debugger for SMT benchmarks in SMT-LIB v2.
delve
Delve is a debugger for the Go programming language.
fish-shell
The user-friendly command line shell.
git-appraise
Distributed code review system for Git repos
git-autofixup
create fixup commits for topic branches
git-bug
Distributed, offline-first bug tracker embedded in git, with bridges
git-revise
A handy tool for doing efficient in-memory commit rebases & fixups
git.github.io
Git Developer Pages (This is NOT the place to discuss Git issues. See: https://git-scm.com/community)
julia
The Julia Programming Language
kak-lsp
Kakoune Language Server Protocol Client
kakoune-find
Find and replace on open buffers
kakoune-phantom-selection
Work on multiple selections, one at a time
lab
Lab wraps Git or Hub, making it simple to clone, fork, and interact with repositories on GitLab
lsp-mode
Emacs client/library for the Language Server Protocol
lsp-types
Types for communicating with a language server
manual
Deno's documentation
pip
The Python package installer
plug.kak
Plugin manager for Kakoune
python-language-server
An implementation of the Language Server Protocol for Python
rate-experiments
https://github.com/krobelus/rate-experiments/blob/master/thesis.pdf
rls
Repository for the Rust Language Server (aka RLS)
texlab
An implementation of the Language Server Protocol for LaTeX
tools
[mirror] Go Tools
widecharwidth
public domain wcwidth implementation
