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,894 439 Updated Nov 6, 2026

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

Rust 326 12 Updated Nov 2, 2026

Fast, flexible LLM inference

Rust 7,815 761 Updated Nov 3, 2026

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

Go 2,219 121 Updated Nov 6, 2026

A verification toolchain for Rust programs

OCaml 1,168 144 Updated Nov 6, 2026

EasyCrypt: Computer-Aided Cryptographic Proofs

OCaml 426 68 Updated Nov 6, 2026

A verifier for automated and interactive proofs about transition systems.

Lean 355 31 Updated Nov 6, 2026

The math library of Lean 4

Lean 4,440 1,825 Updated Nov 6, 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 154,769 25,585 Updated Nov 6, 2026

A shell for wayland compositors

QML 7,624 348 Updated Nov 6, 2026

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

Rust 5,214 247 Updated Nov 6, 2026

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

Go 8,119 732 Updated Nov 6, 2026

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

Rust 1,716 89 Updated Oct 19, 2026

Minimal zkVM for Ethereum.

Lean 182 85 Updated Nov 6, 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 39,685 4,506 Updated Nov 6, 2026

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

Python 33,844 4,398 Updated Nov 6, 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,322 5,976 Updated Nov 4, 2026

eBPF profiler flamegraph based TUI 🐧🐝

Rust 112 4 Updated Oct 27, 2026

Performant financial charts built with HTML5 canvas

TypeScript 17,782 2,690 Updated Nov 6, 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 for CI.

Go 2,010 61 Updated Nov 6, 2026

A blazing fast Solana program framework.

Rust 163 61 Updated Oct 27, 2026

SBPF virtual machine

Rust 111 78 Updated Nov 6, 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,046 512 Updated Nov 5, 2026

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

Rust 574 14 Updated Nov 6, 2026

An up to 10x faster Homebrew client

Rust 8,257 198 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,216 481 Updated Nov 6, 2026

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

Go 173 32 Updated Nov 5, 2026
Next
0