krobelus Goto Github PK

atox

Reasonable Tox client for Android

clang-diff-playground

clang-tools-extra

clang-tools-extra including sloopy. Sloopy computes heuristics to empirically determine difficulty of automated program analysis for loops in C programs.

clang-tutorial

A collection of code samples showing usage of clang and llvm as a library

cli

The Docker CLI

cobra

A Commander for modern Go CLI interactions

cryptominisat

An advanced SAT Solver

cxx

Safe interop between Rust and C++

cyanide

Tox client for SailfishOS

ddsmt

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

delve

Delve is a debugger for the Go programming language.

desktop

💻 Desktop Syncing Client for Nextcloud

diamonds

drat-trim

The DRAT-trim proof checker

fish-shell

The user-friendly command line shell.

fzf.kak

Kakoune plugin that brings integration with fzf

geoip2-haproxy-ranges

git-appraise

Distributed code review system for Git repos

git-autofixup

create fixup commits for topic branches

git-branchstack

Efficiently manage Git branches without leaving your local branch

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)

gitlab-offline-review

Read and write GitLab/GitHub review comments without leaving your editor

gnome-mpv

A simple GTK+ frontend for mpv

hub

hub helps you win at git.

idris-dev

A Dependently Typed Functional Programming Language

im-rs

Assorted immutable collection datatypes for Rust

java-test

A java test repo

julia

The Julia Programming Language