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.

Content in all repositories owned by your account will be closed.
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

Open-source security automation platform for teams and AI agents

Python 3,809 418 Updated Sep 24, 2026

What's uncommitted, unpushed, and unreleased across every repo you own. A live TUI dashboard for a fleet of git repos.

Rust 301 12 Updated Sep 24, 2026

Fast, flexible LLM inference

Rust 7,717 716 Updated Sep 25, 2026

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

Go 2,179 118 Updated Sep 24, 2026

A verification toolchain for Rust programs

OCaml 984 108 Updated Sep 24, 2026

EasyCrypt: Computer-Aided Cryptographic Proofs

OCaml 417 64 Updated Sep 24, 2026

A verifier for automated and interactive proofs about transition systems.

Lean 312 25 Updated Sep 24, 2026

The math library of Lean 4

Lean 4,184 1,711 Updated Sep 25, 2026

Fully batched AVX512 Ed25519 signature verifications

Rust 3 1 Updated Sep 1, 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…

TypeScript 147,968 24,394 Updated Sep 24, 2026

A shell for wayland compositors

QML 7,005 299 Updated Sep 23, 2026

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

Rust 5,053 236 Updated Sep 24, 2026

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

Go 7,907 687 Updated Sep 24, 2026

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

Rust 1,708 87 Updated Jul 29, 2026

Minimal zkVM for Ethereum.

Lean 164 69 Updated Sep 24, 2026

Path traced native voxel engine with wgpu

Rust 33 1 Updated Apr 15, 2026

Fully automatic censorship removal for language models

Python 32,312 3,629 Updated Sep 22, 2026

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

Python 33,654 4,349 Updated Sep 25, 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 48,352 5,539 Updated Sep 21, 2026

eBPF profiler flamegraph based TUI 🐧🐝

Rust 94 4 Updated Jun 30, 2026

Performant financial charts built with HTML5 canvas

TypeScript 17,350 2,610 Updated Sep 21, 2026

Terminal API client for HTTP, GraphQL and gRPC. Plain .http files you can diff and version, with workflows, mocks, profiling, tracing, OpenAPI import, SSH tunnels, Kubernetes port-forwards, WebSock…

Go 1,948 54 Updated Sep 24, 2026

A blazing fast Solana program framework.

Rust 164 61 Updated Aug 2, 2026

SBPF virtual machine

Rust 106 73 Updated Sep 24, 2026

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

Go 327 10 Updated Aug 19, 2026

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

Rust 5,887 501 Updated Sep 23, 2026

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

Rust 559 15 Updated Sep 24, 2026

A 5-20x faster experimental Homebrew alternative

Rust 7,541 181 Updated Sep 2, 2026

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

Rust 10,866 449 Updated Sep 21, 2026

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

Go 172 33 Updated Sep 24, 2026
Next