Skip to content

Navigation Menu

Sign in
Sign up
@KochC
KochC
Follow
View KochC's full-sized avatar
🎯
Focusing

KochC KochC

🎯
Focusing
Systems Engineer | Engineering products from circuit to cloud.

Block or report KochC

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
Showing results

Agent Skills for traceable requirements, independent verification, human approval gates, and auditable AI-assisted engineering. Supports Claude Code, Cursor, VS Code, and GitHub Copilot; ISO 9001/2...

Python 51 10 Updated Aug 25, 2026
Python 4,295 569 Updated Aug 8, 2026

Create real electronics with Typescript and React

TypeScript 2,620 312 Updated Sep 6, 2026

The most RAM efficient harness

Rust 19,250 2,217 Updated Sep 7, 2026

Compress tool outputs, logs, files, and RAG chunks before they reach the LLM. 20% fewer tokens for coding agents, 60-95% fewer tokens for JSON, same answers. Library, proxy, MCP server.

Python 69,170 5,362 Updated Sep 7, 2026

A Modern Testing Framework for Go

Go 9,051 706 Updated Aug 10, 2026

The Swift (and Objective-C) testing framework.

Swift 9,826 897 Updated May 18, 2026

Exercise: GitHub Copilot Code Review

JavaScript 1 Updated May 31, 2026

πŸ› Clean Code concepts adapted for PHP

PHP 12,448 2,245 Updated May 9, 2024

Drop in a screenshot and convert it to clean code (HTML/Tailwind/React/Vue)

Python 78,079 9,498 Updated Aug 14, 2026

Clean Code concepts adapted for JavaScript

JavaScript 94,765 12,615 Updated Jul 29, 2024

πŸ”¬ A Ruby library for carefully refactoring critical paths.

Ruby 7,754 504 Updated Nov 24, 2025

We are refactoring it, using the latest Vue and Bulma. WIP

9,325 1,578 Updated Apr 6, 2020

Instant Upgrades and Automated Refactoring of any PHP 5.3+ code

PHP 10,415 744 Updated Sep 6, 2026
Python 1 Updated Jul 1, 2026

Arrow Caching for Iceberg

Python 2 Updated Jun 4, 2026

LightSpeed Default Community Health Files

JavaScript 12 2 Updated Sep 7, 2026

Harness Open Source is an end-to-end developer platform with Source Control Management, CI/CD Pipelines, Hosted Developer Environments, and Artifact Registries.

Go 38,253 3,383 Updated Sep 4, 2026

Run macOS VM in a Docker! Run near native OSX-KVM in Docker! X11 Forwarding! CI/CD for OS X Security Research! Docker mac Containers.

Shell 52,907 2,889 Updated Nov 11, 2025

LaunchLab - Frontend SaaS demo for startup founders to define growth goals, build, queue, preview, and ship marketing experiments.

TypeScript 1 Updated Jun 4, 2026

Cloud cost intelligence for engineers, AI coding agents, and CI/CD πŸ’°πŸ“‰ Shift FinOps Left!

Go 12,508 685 Updated Sep 2, 2026

Property based testing framework for JavaScript (like QuickCheck) written in TypeScript

TypeScript 5,139 211 Updated Sep 5, 2026

A Python-based development and testing framework for smart contracts targeting the Ethereum Virtual Machine.

C 2,723 595 Updated Aug 5, 2026
HTML 1 Updated Sep 6, 2026

Automatically create GitHub Issues for new arXiv papers in your research areas

Python 4 4 Updated Sep 6, 2026

Test Automation Made Simple

Java 8,946 2,042 Updated Sep 5, 2026

ShellCheck, a static analysis tool for shell scripts

Haskell 40,000 1,945 Updated Aug 4, 2026

Python SDK for Agent AI Observability, Monitoring and Evaluation Framework. Includes features like agent, llm and tools tracing, debugging multi-agentic system, self-hosted dashboard and advanced a...

Python 16,160 3,568 Updated Feb 11, 2026

Git with a cup of tea! Painless self-hosted all-in-one software development service, including Git hosting, code review, team collaboration, package registry and CI/CD

Go 57,855 7,112 Updated Sep 7, 2026

A private server OS made for everyone - simple, secure, versatile.

Python 47 2 Updated Aug 31, 2026
Next

AltStyle γ«γ‚ˆγ£γ¦ε€‰ζ›γ•γ‚ŒγŸγƒšγƒΌγ‚Έ (->γ‚ͺγƒͺγ‚ΈγƒŠγƒ«) /