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

31 13 Updated May 5, 2026

Wayland compositor for Minecraft speedrunning

C 140 28 Updated Jun 13, 2026

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

Lean 911 128 Updated Jun 13, 2026

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

Go 542 22 Updated Jun 3, 2026

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

Shell 8,672 399 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 23,200 799 Updated Jun 11, 2026

Lightweight yet powerful formatter plugin for Neovim

Lua 5,206 299 Updated May 24, 2026

Performant, batteries-included completion plugin for Neovim

Lua 6,375 352 Updated Jun 13, 2026

a text editor

Python 481 56 Updated May 19, 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++ 540 73 Updated Jun 8, 2026

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

Rust 2,032 48 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++ 524 78 Updated Jun 12, 2026

Main libjpeg-turbo repository

C 4,330 1,157 Updated Jun 9, 2026

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

C++ 37,485 8,155 Updated Jun 12, 2026

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

8,842 807 Updated Dec 31, 2025

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

Scala 18,355 2,689 Updated Jun 14, 2026

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

Lua 1,915 366 Updated Jun 11, 2026

minimal cross-platform standalone C headers

C 9,971 643 Updated Jun 13, 2026

The Nordic Operating System!

C 9 2 Updated Jan 11, 2026

A cross-platform 2D game engine

C++ 1,309 81 Updated Jun 12, 2026

Run Cookie Clicker Steam edition with native Electron on Linux.

Nim 34 2 Updated Jun 11, 2026

Create a mobile Balatro app from your Steam version of Balatro

C# 1,684 95 Updated Nov 10, 2024

Compiler for the B Programming Language implemented in Crust

Rust 695 96 Updated Oct 29, 2025

A C-compiler written in C

C 77 7 Updated Jan 26, 2025

Official repository of the Quick Emacs editor

C 231 26 Updated Jun 13, 2026

Random odd guitar pedal design in kicad

OpenSCAD 567 21 Updated Sep 19, 2025

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

C++ 8,416 604 Updated Jun 13, 2026

Mobile/Web chess UI for lichess.org

TypeScript 1,332 320 Updated Jun 13, 2026
Next