Skip to content
View karkhaz's full-sized avatar
67 followers · 0 following
  • London, UK

Achievements

Achievement: Pair Extraordinairex3Achievement: QuickdrawAchievement: YOLOAchievement: StarstruckAchievement: Pull Sharkx3Achievement: Arctic Code Vault Contributor

Achievements

Achievement: Pair Extraordinairex3Achievement: QuickdrawAchievement: YOLOAchievement: StarstruckAchievement: Pull Sharkx3Achievement: Arctic Code Vault Contributor

Organizations

@sosy-lab

Block or report karkhaz

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Lists (1)

Sort Name ascending (A-Z)
Sort by
Name ascending (A-Z) Name descending (Z-A) Newest Oldest Last updated

Stars

Showing results

model-checking / kani

Kani Rust Verifier

Rust 2,344 100 Updated Jan 21, 2025

bluescan / proggyfonts

Monospaced fonts for programming.

745 35 Updated Oct 15, 2023

aitjcize / cppman

C++ 98/11/14 manual pages for Linux/MacOS

Python 1,326 80 Updated Jan 14, 2025

agarrharr / awesome-cli-apps

🖥 📊 🕹 🛠 A curated list of command line apps

Shell 15,767 899 Updated Nov 21, 2024

martanne / vis

A vi-like editor based on Plan 9's structural regular expressions

C 4,298 265 Updated Jan 20, 2025

eXeC64 / imv

Image viewer for X11/Wayland

C 801 57 Updated Nov 30, 2021

archlinuxfr / aurvote

Tool to vote for favorite AUR packages

Shell 50 4 Updated Mar 2, 2016

lindenb / makefile2graph

Creates a graph of dependencies from GNU-Make; Output is a graphiz-dot file or a Gexf-XML file.

C 631 64 Updated Apr 20, 2024