Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

Projects in Awesome Lists by krobelus

A curated list of projects in awesome lists by krobelus .

https://github.com/krobelus/git-branchstack

Efficiently manage Git branches without leaving your local branch

branchless-workflow git patch-management patch-stack pull-request

Last synced: 27 Oct 2024

https://github.com/krobelus/cyanide

Tox client for SailfishOS

Last synced: 27 Oct 2024

https://github.com/krobelus/podtool

iPod sync tool

Last synced: 27 Oct 2024

https://github.com/krobelus/kakoune-boost

Staging area for Kakoune code editor plugins

kakoune plugin

Last synced: 18 Dec 2024

https://github.com/krobelus/rate

DRAT/DPR proof checker

proof-checker rust sat-solver verification

Last synced: 27 Oct 2024

https://github.com/krobelus/gitlab-offline-review

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

code-review gitlab

Last synced: 18 Dec 2024

https://github.com/krobelus/robots

rascal

Last synced: 18 Dec 2024

https://github.com/krobelus/diamonds

Last synced: 18 Dec 2024

https://github.com/krobelus/rate-experiments

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

Last synced: 18 Dec 2024

https://github.com/krobelus/rtc

redundancy elimination for CNF formulas

Last synced: 18 Dec 2024

https://github.com/krobelus/mc

model checker for modal μ-calculus

Last synced: 18 Dec 2024