Skip to content
View qkniep's full-sized avatar
🐧
🐧

Sponsoring

Block or report qkniep

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.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

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

Report abuse

Starred repositories

Showing results

jjui is a TUI designed for interacting with the Jujutsu version control system.

Go 2,105 113 Updated Aug 13, 2026

A verification toolchain for Rust programs

OCaml 913 98 Updated Aug 16, 2026

EasyCrypt: Computer-Aided Cryptographic Proofs

OCaml 413 63 Updated Aug 16, 2026

A verifier for automated and interactive proofs about transition systems.

Lean 279 23 Updated Aug 13, 2026

The math library of Lean 4

Lean 3,873 1,594 Updated Aug 16, 2026

Fully batched AVX512 Ed25519 signature verifications

Rust 1 1 Updated Jul 8, 2026

Claude Code is an agentic coding tool that lives in your terminal, understands your codebase, and helps you code faster by executing routine tasks, explaining complex code, and handling git workflo…

Python 141,653 22,740 Updated Aug 14, 2026

A shell for wayland compositors

QML 6,233 229 Updated Aug 8, 2026

Per-process network monitoring for your terminal with deep packet inspection. Cross-platform, sandboxed.

Rust 4,854 223 Updated Aug 16, 2026

Woodpecker is a simple, yet powerful CI/CD engine with great extensibility.

Go 7,702 649 Updated Aug 16, 2026

The fastest font renderer in the world, written in pure rust.

Rust 1,702 86 Updated Jul 29, 2026

Minimal zkVM for Ethereum.

Rust 157 65 Updated Aug 14, 2026

Path traced native voxel engine with wgpu

Rust 32 1 Updated Apr 15, 2026

Fully automatic censorship removal for language models

Python 27,722 2,998 Updated Aug 14, 2026

You like pytorch? You like micrograd? You love tinygrad! ❤️

Python 33,454 4,262 Updated Aug 16, 2026

Shannon is an AI pentester for web applications and APIs. It analyzes your source code, identifies attack vectors, and executes real exploits to prove vulnerabilities before they reach production.

TypeScript 46,865 5,412 Updated Aug 14, 2026

eBPF profiler flamegraph based TUI 🐧🐝

Rust 92 4 Updated Jun 30, 2026

Performant financial charts built with HTML5 canvas

TypeScript 16,974 2,570 Updated Aug 12, 2026

Terminal API client for HTTP/GraphQL/gRPC with support for SSH tunnels, WebSockets, SSE, Workflows, Profiling, OpenAPI, Kubernetes port-forwarding, CLI and mocks.

Go 1,845 49 Updated Aug 16, 2026

A blazing fast Solana program framework.

Rust 165 61 Updated Aug 2, 2026

SBPF virtual machine

Rust 104 64 Updated Aug 11, 2026

TUI client for Switzerland's public transport timetables, inspidered by the SBB/CFF/FFS app

Go 324 10 Updated Jun 12, 2026

Rust tool to detect cell site simulators on an orbic mobile hotspot

Rust 5,549 466 Updated Aug 16, 2026

⚡️A terminal-based battery and energy monitor for macOS and Linux.

Rust 542 15 Updated Aug 14, 2026

A 5-20x faster experimental Homebrew alternative

Rust 7,515 176 Updated Jul 24, 2026

The fastest and the most accurate file search SDK for AI agents, Neovim, Rust, C, Python, Bun and NodeJS

Rust 10,027 417 Updated Aug 16, 2026

A validator and full node client for the Solana blockchain, implemented in Go.

Go 171 32 Updated Aug 14, 2026

A ratatui based vertical and horizontal slider.

Rust 43 2 Updated Aug 15, 2026

A high-performance TUI-based packet crafting tool written in Rust.

Rust 36 1 Updated Dec 25, 2025

A BitTorrent Client in your Terminal

Rust 635 23 Updated Aug 16, 2026
Next