Skip to content
View jprochazk's full-sized avatar
💭
📦
💭
📦

Highlights

  • Pro

Organizations

@rerun-io

Block or report jprochazk

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

Fun playground and adventure game

C 10 Updated Jun 9, 2026

cuda-oxide is an experimental Rust-to-CUDA compiler that lets you write (SIMT) GPU kernels in safe(ish), idiomatic Rust. It compiles standard Rust code directly to PTX — no DSLs, no foreign languag…

Rust 2,763 185 Updated Jun 16, 2026

Adds "modifier key + mouse drag" move and resize to OSX

Objective-C 1,313 91 Updated May 11, 2026

Semantic project navigation

Python 180 15 Updated Mar 29, 2026

RE# - A high-performance, automata based regex engine with first-class support for intersection and complement operations.

Rust 164 9 Updated Jun 12, 2026

The power tool for Jujutsu + GitHub workflows. Adapted from spr by @LucioFranco.

Rust 151 31 Updated Jun 12, 2026

Type-safe GitHub Actions workflows in TypeScript, GitHub Actions Justified Improvements

Rust 25 2 Updated Feb 28, 2026

Compare and test GPU programming frameworks / Comparaison d'outils pour GPU

C++ 290 10 Updated Jul 20, 2025

The best ChatGPT that $100 can buy.

Python 55,086 7,514 Updated May 5, 2026

Free and Open Source Reverse Engineering Platform powered by rizin

C++ 18,953 1,368 Updated Jun 2, 2026

A debugger for Linux

Rust 1,678 36 Updated Jun 9, 2026

A native, user-mode, multi-process, graphical debugger.

C 7,080 322 Updated Jun 15, 2026

Putting a brain behind `cat`🐈‍⬛ Integrating language models in the Unix commands ecosystem through text streams.

Rust 569 34 Updated Feb 23, 2025

Asterinas aims to be a production-grade Linux alternative—memory safe, high-performance, and more.

Rust 4,678 313 Updated Jun 15, 2026

An extremely fast Python type checker and language server, written in Rust.

Python 18,958 302 Updated Jun 12, 2026

Satty - Modern Screenshot Annotation.

Rust 2,192 88 Updated Jun 16, 2026

A simple and lightweight Cargo plugin for using nFPM from any Rust project.

Rust 25 1 Updated Jun 10, 2026

Rust reflection, serialization, deserialization, pretty printing, etc. — the last proc macro you should need

Rust 2,509 119 Updated Jun 15, 2026

Resilient LL(1) parser generator for Rust

Rust 197 12 Updated Apr 16, 2026

Lexer generator for Rust

Rust 10 Updated Feb 8, 2026

A dynasm-like tool for rust.

Rust 835 69 Updated Feb 12, 2026

Simplistic command runner and build system

Rust 318 9 Updated May 11, 2026

n2 ("into"), a ninja compatible build system

Rust 460 39 Updated Nov 10, 2025

PubGrub version solving algorithm implemented in Rust

Rust 777 54 Updated Jun 8, 2026

The Rust web framework for lazy developers.

Rust 941 50 Updated Jun 15, 2026

A command-line hex viewer

Rust 10,195 265 Updated Apr 30, 2026

Container runtimes on macOS (and Linux) with minimal setup

Go 29,318 581 Updated Jun 15, 2026

Easy dependency management for Nix projects

Haskell 1,837 77 Updated May 4, 2026

A tool to compare ELF binaries

Python 272 30 Updated Jan 20, 2026

Turso is an in-process SQL database, compatible with SQLite.

Rust 19,191 1,006 Updated Jun 15, 2026
Next