Johannes Altmanninger's repositories
delve
Delve is a debugger for the Go programming language.
rls
Repository for the Rust Language Server (aka RLS)
python-language-server
An implementation of the Language Server Protocol for Python
tools
[mirror] Go Tools
git-autofixup
create fixup commits for topic branches
plug.kak
Plugin manager for Kakoune
ddSMT
A delta debugger for SMT benchmarks in SMT-LIB v2.
git-appraise
Distributed code review system for Git repos
pip
The Python package installer
uTox
µTox the lightest and fluffiest Tox client
cli
The Docker CLI
aTox
Reasonable Tox client for Android
oh-my-fish
The Fishshell Framework.
make.tmbundle
TextMate support for Make
kak-ansi
Kakoune support for rendering ANSI-colored text.
vim
The official Vim repository
virtualenv
Virtual Python Environment builder
drat-trim
The DRAT-trim proof checker
ripgrep
ripgrep recursively searches directories for a regex pattern
llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github pull requests at this moment. Please submit your patches at http://reviews.llvm.org.
vmx86
x86 interpreter based on GraalVM/Truffle
magit
It's Magit! A Git porcelain inside Emacs.
fzf.kak
Kakoune plugin that brings integration with fzf
minisat
A minimalistic and high-performance SAT solver
cryptominisat
An advanced SAT Solver