Johannes Altmanninger (krobelus)

krobelus

Geek Repo

Company:@symflower

Location:CET

Github PK Tool:Github PK Tool


Organizations
fish-shell
kak-lsp
llvm
symflower
ezoic increase your site revenue

Johannes Altmanninger's repositories

git-branchstack

Efficiently manage Git branches without leaving your local branch

Language:PythonLicense:MITStargazers:28Issues:4Issues:4

rate

DRAT/DPR proof checker

Language:RustLicense:MITStargazers:6Issues:2Issues:5

gitlab-offline-review

Read and write GitLab review comments without leaving your editor

Language:PythonLicense:MITStargazers:1Issues:0Issues:0

ddSMT

A delta debugger for SMT benchmarks in SMT-LIB v2.

Language:PythonLicense:GPL-3.0Stargazers:0Issues:0Issues:0

delve

Delve is a debugger for the Go programming language.

Language:CLicense:MITStargazers:0Issues:0Issues:0

fish-shell

The user-friendly command line shell.

Language:C++License:NOASSERTIONStargazers:0Issues:2Issues:0
Language:GoStargazers:0Issues:0Issues:0

git-appraise

Distributed code review system for Git repos

Language:GoLicense:Apache-2.0Stargazers:0Issues:0Issues:0

git-autofixup

create fixup commits for topic branches

Language:PerlLicense:NOASSERTIONStargazers:0Issues:0Issues:0

git-bug

Distributed, offline-first bug tracker embedded in git, with bridges

License:GPL-3.0Stargazers:0Issues:0Issues:0

git-revise

A handy tool for doing efficient in-memory commit rebases & fixups

Language:PythonLicense:MITStargazers:0Issues:0Issues:0

git.github.io

Git Developer Pages (This is NOT the place to discuss Git issues. See: https://git-scm.com/community)

Language:CSSStargazers:0Issues:0Issues:0

julia

The Julia Programming Language

License:MITStargazers:0Issues:0Issues:0

kak-lsp

Kakoune Language Server Protocol Client

Language:RustLicense:UnlicenseStargazers:0Issues:0Issues:0

kakoune

mawww's experiment for a better code editor

Language:C++License:UnlicenseStargazers:0Issues:1Issues:0

kakoune-find

Find and replace on open buffers

Language:KakouneScriptLicense:UnlicenseStargazers:0Issues:0Issues:0

kakoune-phantom-selection

Work on multiple selections, one at a time

License:UnlicenseStargazers:0Issues:0Issues:0

lab

Lab wraps Git or Hub, making it simple to clone, fork, and interact with repositories on GitLab

Language:GoLicense:NOASSERTIONStargazers:0Issues:0Issues:0

lsp-mode

Emacs client/library for the Language Server Protocol

License:GPL-3.0Stargazers:0Issues:0Issues:0

lsp-types

Types for communicating with a language server

Language:RustLicense:MITStargazers:0Issues:0Issues:0

manual

Deno's documentation

License:MITStargazers:0Issues:0Issues:0

pip

The Python package installer

Language:PythonLicense:MITStargazers:0Issues:0Issues:0

plug.kak

Plugin manager for Kakoune

Language:ShellLicense:MITStargazers:0Issues:0Issues:0

python-language-server

An implementation of the Language Server Protocol for Python

Language:PythonLicense:MITStargazers:0Issues:0Issues:0

rate-experiments

https://github.com/krobelus/rate-experiments/blob/master/thesis.pdf

Language:Jupyter NotebookStargazers:0Issues:2Issues:0

rls

Repository for the Rust Language Server (aka RLS)

Language:RustLicense:NOASSERTIONStargazers:0Issues:0Issues:0

texlab

An implementation of the Language Server Protocol for LaTeX

Language:RustLicense:GPL-3.0Stargazers:0Issues:0Issues:0

tig

Text-mode interface for git

Language:CLicense:GPL-2.0Stargazers:0Issues:1Issues:0

tools

[mirror] Go Tools

Language:GoLicense:NOASSERTIONStargazers:0Issues:0Issues:0

widecharwidth

public domain wcwidth implementation

Language:C++License:NOASSERTIONStargazers:0Issues:0Issues:0