Skip to content
View fprochazka's full-sized avatar
🏠
Working from home
🏠
Working from home

Organizations

@Kdyby @framefork

Block or report fprochazka

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 supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

The next-generation file converter. Open source, fully local* and free forever.

Svelte 12,588 647 Updated Dec 19, 2025

jfmt is an opinionated java source code formatter for the command line

Java 43 3 Updated Dec 17, 2025

Expert-level Postgres monitoring tool designed for humans and AI systems

Python 84 6 Updated Dec 20, 2025

Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.

OCaml 13,658 842 Updated Dec 19, 2025

SWE-agent takes a GitHub issue and tries to automatically fix it, using your LM of choice. It can also be employed for offensive cybersecurity or competitive coding challenges. [NeurIPS 2024]

Python 18,059 1,922 Updated Dec 15, 2025

🙌 OpenHands: AI-Driven Development

Python 65,796 8,087 Updated Dec 20, 2025

An MCP server that autonomously evaluates web applications.

Python 1,226 103 Updated Dec 6, 2025

Agent framework for the JVM. Pronounced Em-BAY-bel /ɛmˈbeɪbəl/

Kotlin 2,946 267 Updated Dec 20, 2025

Your single pane of glass for real-time analytics into MySQL/MariaDB & ProxySQL

Python 1,059 68 Updated Nov 14, 2025
Shell 142 11 Updated Dec 20, 2025

The official Kotlin SDK for Model Context Protocol servers and clients. Maintained in collaboration with JetBrains

Kotlin 1,189 184 Updated Dec 15, 2025

The official Java SDK for Model Context Protocol servers and clients. Maintained in collaboration with Spring AI

Java 2,993 761 Updated Dec 15, 2025

Specification and documentation for the Model Context Protocol

TypeScript 6,650 1,183 Updated Dec 19, 2025

An open protocol enabling communication and interoperability between opaque agentic applications.

Shell 21,123 2,159 Updated Dec 19, 2025

PostgreSQL zero-downtime migrations made easy

Go 6,158 128 Updated Dec 18, 2025

Model Context Protocol Servers

TypeScript 74,729 9,071 Updated Dec 19, 2025

An extremely fast Python package and project manager, written in Rust.

Rust 75,317 2,366 Updated Dec 20, 2025

A high-performance observability data pipeline.

Rust 20,943 1,950 Updated Dec 19, 2025

A commenting system powered by GitHub Discussions. :octocat: 💬 💎

TypeScript 10,965 431 Updated Jul 6, 2025

Static analysis for GitHub Actions

Rust 3,479 126 Updated Dec 19, 2025
Kotlin 1 Updated Dec 9, 2024

A command-line benchmarking tool

Rust 27,051 440 Updated Dec 1, 2025
Kotlin 1 Updated Dec 15, 2025
Python 1 Updated Dec 12, 2025

Advent of Code

Rust 3 Updated Dec 20, 2025

The Kotlin Programming Language.

Kotlin 52,040 6,159 Updated Dec 20, 2025

A JUnit5 Extension to help write tests that call System.exit()

Java 54 7 Updated Oct 26, 2024

A Gradle plugin to make your Java code check for nullability by default

Java 7 Updated Nov 11, 2024

🚀 Release projects quickly and easily with JReleaser

Java 1,188 139 Updated Dec 19, 2025

Describing CSV files, typing CSV data

1 Updated Apr 21, 2021
Next