Johannes Altmanninger (krobelus)

krobelus

Geek Repo

Location:Austria

Github PK Tool:Github PK Tool


Organizations
fish-shell
kakoune-lsp
llvm

Johannes Altmanninger's repositories

delve

Delve is a debugger for the Go programming language.

License:MITStargazers:0Issues:0Issues:0

rls

Repository for the Rust Language Server (aka RLS)

License:NOASSERTIONStargazers:0Issues:0Issues:0

python-language-server

An implementation of the Language Server Protocol for Python

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

tools

[mirror] Go Tools

Language:GoLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0

git-autofixup

create fixup commits for topic branches

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

plug.kak

Plugin manager for Kakoune

License:MITStargazers:0Issues:0Issues:0

ddSMT

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

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

git-appraise

Distributed code review system for Git repos

License:Apache-2.0Stargazers:0Issues:0Issues:0

pip

The Python package installer

License:MITStargazers:0Issues:0Issues:0
Language:GoStargazers:0Issues:0Issues:0

uTox

µTox the lightest and fluffiest Tox client

Language:CLicense:NOASSERTIONStargazers:0Issues:0Issues:0

cli

The Docker CLI

License:Apache-2.0Stargazers:0Issues:0Issues:0
Language:CLicense:GPL-2.0Stargazers:0Issues:0Issues:0

aTox

Reasonable Tox client for Android

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

oh-my-fish

The Fishshell Framework.

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

make.tmbundle

TextMate support for Make

Language:RubyLicense:NOASSERTIONStargazers:0Issues:0Issues:0

kak-ansi

Kakoune support for rendering ANSI-colored text.

Language:CLicense:UnlicenseStargazers:0Issues:0Issues:0

vim

The official Vim repository

Language:Vim scriptLicense:VimStargazers:0Issues:0Issues:0

virtualenv

Virtual Python Environment builder

License:MITStargazers:0Issues:0Issues:0

drat-trim

The DRAT-trim proof checker

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

ripgrep

ripgrep recursively searches directories for a regex pattern

License:UnlicenseStargazers:0Issues:0Issues:0

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.

Language:C++Stargazers:0Issues:0Issues:0

vmx86

x86 interpreter based on GraalVM/Truffle

License:UPL-1.0Stargazers:0Issues:0Issues:0

magit

It's Magit! A Git porcelain inside Emacs.

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

fzf.kak

Kakoune plugin that brings integration with fzf

License:MITStargazers:0Issues:0Issues:0
Stargazers:0Issues:0Issues:0

minisat

A minimalistic and high-performance SAT solver

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

cryptominisat

An advanced SAT Solver

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