Skip to content
View Karol23145's full-sized avatar

Block or report Karol23145

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.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, 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

Stars

Showing results

OpenLogicProject / OpenLogic

An open-source, customizable intermediate logic textbook

TeX 1,058 240 Updated Aug 29, 2024

forge-ext / forge

Forge - Tiling and Window Manager for Gnome-Shell

JavaScript 910 50 Updated Sep 29, 2024

Kron4ek / Wine-Builds

Wine builds (Vanilla, Staging, TkG and Proton)

Shell 716 63 Updated Oct 13, 2024

nomic-ai / gpt4all

GPT4All: Run Local LLMs on Any Device. Open-source and available for commercial use.

C++ 70,020 7,656 Updated Oct 15, 2024