Skip to content
View proh14's full-sized avatar
💭
I may be slow to respond.
💭
I may be slow to respond.

Highlights

  • Pro

Block or report proh14

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

A documentation repository to help setting up Linux for MCSR

33 14 Updated Aug 2, 2026

Wayland compositor for Minecraft speedrunning

C 148 28 Updated Aug 4, 2026

Ongoing Lean formalisation of the proof of Fermat's Last Theorem

Lean 967 159 Updated Aug 10, 2026

See all your installed packages in one place. (Official package manage for RyokuArch)

Go 562 24 Updated Aug 10, 2026

A huge collection of Rofi based custom Applets, Launchers & Powermenus.

Shell 8,750 402 Updated May 31, 2026

My Catppuccin AwesomeWM Config - Awespuccin

Shell 27 Updated Oct 24, 2022

A maintained, feature-rich and performance oriented, neofetch like system information tool.

C 24,154 852 Updated Aug 11, 2026

Lightweight yet powerful formatter plugin for Neovim

Lua 5,302 306 Updated May 24, 2026

Performant, batteries-included completion plugin for Neovim

Lua 6,511 356 Updated Aug 8, 2026

a text editor

Python 483 56 Updated Jul 15, 2026

The NVIDIA® Tools Extension SDK (NVTX) is a C-based Application Programming Interface (API) for annotating events, code ranges, and resources in your applications.

C++ 551 75 Updated Aug 10, 2026

A Rust compiler backend targeting CIL(.NET IR) and C.

Rust 2,048 52 Updated Oct 14, 2025

A simple but effective chess PGN file management system

C++ 8 Updated Oct 16, 2025

Custom Scratch Runtime made in C++!

C++ 537 87 Updated Aug 11, 2026

Main libjpeg-turbo repository

C 4,381 1,167 Updated Aug 5, 2026

Animated sprite editor & pixel art tool (Windows, macOS, Linux)

C++ 38,650 8,621 Updated Aug 10, 2026

🧮 Path to a free self-taught education in Mathematics!

9,001 824 Updated Aug 8, 2026

♞ lichess.org: the forever free, adless and open source chess server ♞

Scala 18,576 2,752 Updated Aug 11, 2026

c-api for imgui (https://github.com/ocornut/imgui) Look at: https://github.com/cimgui for other widgets

Lua 1,941 371 Updated Aug 10, 2026

minimal cross-platform standalone C headers

C 10,189 660 Updated Aug 10, 2026

The Nordic Operating System!

C 9 2 Updated Jan 11, 2026

A cross-platform 2D game engine

C++ 1,325 81 Updated Aug 6, 2026

Run Cookie Clicker Steam edition with native Electron on Linux.

Nim 36 2 Updated Jul 4, 2026

Create a mobile Balatro app from your Steam version of Balatro

C# 1,723 98 Updated Nov 10, 2024

Compiler for the B Programming Language implemented in Crust

Rust 709 97 Updated Oct 29, 2025

A C-compiler written in C

C 78 7 Updated Jan 26, 2025

Official repository of the Quick Emacs editor

C 235 29 Updated Aug 3, 2026

Random odd guitar pedal design in kicad

OpenSCAD 571 20 Updated Sep 19, 2025

LÖVE is an awesome 2D game framework for Lua.

C++ 8,623 629 Updated Aug 8, 2026

Mobile/Web chess UI for lichess.org

TypeScript 1,357 325 Updated Jul 3, 2026
Next