Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
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/kakoune-boost
Staging area for Kakoune code editor plugins
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
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