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

A verification toolchain for Rust programs

OCaml 887 93 Updated Aug 2, 2026

EasyCrypt: Computer-Aided Cryptographic Proofs

OCaml 412 65 Updated Jul 31, 2026

A verifier for automated and interactive proofs about transition systems.

Lean 275 20 Updated Jul 5, 2026

The math library of Lean 4

Lean 3,744 1,545 Updated Aug 3, 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 140,033 22,473 Updated Jul 25, 2026

Configuration for my NixOS setup

QML 5,988 222 Updated Jun 2, 2026

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

Rust 4,821 223 Updated Aug 1, 2026

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

Go 7,615 639 Updated Aug 2, 2026

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

Rust 1,699 86 Updated Jul 29, 2026

Minimal zkVM for Ethereum.

Rust 150 64 Updated Jul 29, 2026

Path traced native voxel engine with wgpu

Rust 30 1 Updated Apr 15, 2026

Fully automatic censorship removal for language models

Python 27,049 2,930 Updated Jul 28, 2026

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

Python 33,399 4,240 Updated Aug 3, 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,366 5,358 Updated Jul 31, 2026

eBPF profiler flamegraph based TUI 🐧🐝

Rust 90 4 Updated Jun 30, 2026

Performant financial charts built with HTML5 canvas

TypeScript 16,771 2,550 Updated Jul 8, 2026

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

Go 1,828 48 Updated Aug 2, 2026

A blazing fast Solana program framework.

Rust 165 60 Updated Aug 2, 2026

SBPF virtual machine

Rust 104 64 Updated Jul 16, 2026

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

Go 320 10 Updated Jun 12, 2026

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

Rust 5,421 444 Updated Aug 2, 2026

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

Rust 524 14 Updated Jul 24, 2026

A 5-20x faster experimental Homebrew alternative

Rust 7,507 175 Updated Jul 24, 2026

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

Rust 9,885 396 Updated Jul 31, 2026

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

Go 171 31 Updated Jul 31, 2026

A ratatui based vertical and horizontal slider.

Rust 42 2 Updated Apr 12, 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 626 23 Updated Aug 3, 2026
Lua 201 13 Updated Jun 12, 2026
Next