8000 qkniep (Quentin Kniep) / Starred · GitHub
[go: up one dir, main page]

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. 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,904 446 Updated Nov 11, 2026

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

Rust 355 12 Updated Nov 9, 2026

Fast, flexible LLM inference

Rust 7,824 765 Updated Nov 9, 2026

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

Go 2,225 120 Updated Nov 10, 2026

A verification toolchain for Rust programs

OCaml 1,185 151 Updated Nov 10, 2026

EasyCrypt: Computer-Aided Cryptographic Proofs

OCaml 427 68 Updated Nov 10, 2026

A verifier for automated and interactive proofs about transition systems.

Lean 392 37 Updated Nov 9, 2026

The math library of Lean 4

Lean 4,467 1,847 Updated Nov 11, 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 155,213 24,901 Updated Nov 10, 2026

A shell for wayland compositors

QML 7,672 358 Updated Nov 10, 2026

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

Rust 5,229 247 Updated Nov 10, 2026

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

Go 8,155 741 Updated Nov 10, 2026

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

Rust 1,717 89 Updated Oct 19, 2026

Minimal zkVM for Ethereum.

Lean 185 86 Updated Nov 10, 2026

Path traced native voxel engine with wgpu

Rust 33 1 Updated Apr 15, 2026

Training-free language model modification: Remove censorship, suppress slop, reduce sycophancy, and more

Python 40,235 4,606 Updated Nov 10, 2026

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

Python 33,884 4,400 Updated Nov 11, 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 51,654 6,026 Updated Nov 10, 2026

eBPF profiler flamegraph based TUI 🐧🐝

Rust 112 4 Updated Oct 27, 2026

Performant financial charts built with HTML5 canvas

TypeScript 17,836 2,700 Updated Nov 10, 2026

Terminal API client for HTTP, GraphQL, gRPC, WebSocket and SSE. Plain .http files you can diff and version, with scripted tests, workflows, mocks, recorder, and a CLI runner.

Go 2,012 61 Updated Nov 10, 2026

A blazing fast Solana program framework.

Rust 164 61 Updated Oct 27, 2026

SBPF virtual machine

Rust 112 78 Updated Nov 10, 2026

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

Go 330 11 Updated Aug 19, 2026

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

Rust 6,058 513 Updated Nov 11, 2026

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

Rust 574 15 Updated Nov 11, 2026

An up to 10x faster Homebrew client

Rust 8,268 199 Updated Nov 5, 2026

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

Rust 11,230 479 Updated Nov 11, 2026

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

Go 173 32 Updated Nov 10, 2026
Next
0