Skip to content
View proofy's full-sized avatar

Block or report proofy

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
Showing results

AI agent toolkit: unified LLM API, agent loop, TUI, coding agent CLI

TypeScript 64,323 7,836 Updated Jun 20, 2026

Content for activitypub.rocks website

Scheme 29 7 Updated Jun 2, 2026

Replace Ads with They Live style slogans

JavaScript 1,273 40 Updated Jun 4, 2026

A Dumb Pad with collaborative editing, fuzzy search, & markdown preview functionality

JavaScript 451 22 Updated Dec 31, 2025

The agent that grows with you

Python 198,452 35,210 Updated Jun 21, 2026

Backbone of the deSEC Free Secure DNS Hosting Service

Python 621 68 Updated Jun 11, 2026

Collection of handy online tools for developers, with great UX.

Vue 39,451 5,050 Updated Jun 13, 2026

Unsloth Studio is a web UI for training and running open models like Gemma 4, Qwen3.6, DeepSeek, gpt-oss locally.

Python 66,990 6,017 Updated Jun 21, 2026

Open Source AI Platform - AI Chat with advanced features that works with every LLM

Python 30,457 4,174 Updated Jun 21, 2026

Local, open-source AI app builder for power users ✨ v0 / Lovable / Replit / Bolt alternative 🌟 Star if you like it!

TypeScript 20,692 2,476 Updated Jun 18, 2026

The best-benchmarked open-source AI memory system. And it's free.

Python 56,074 7,261 Updated Jun 20, 2026

A terminal workspace with batteries included

Rust 33,777 1,282 Updated Jun 16, 2026

A server emulating libg.so for Brawl Stars, version 55.211.1 built in Kotlin.

Kotlin 11 Updated Oct 29, 2025

Enhanced ChatGPT Clone: Features Agents, MCP, Skills, DeepSeek, Anthropic, AWS, OpenAI, Responses API, Azure, Groq, o1, GPT-5, Mistral, OpenRouter, Vertex AI, Gemini, Artifacts, AI model switching,…

TypeScript 39,543 8,102 Updated Jun 21, 2026

Firmware code of the BitBox02 hardware wallet

C 361 131 Updated Jun 16, 2026

The BitBoxApp for desktop and mobile.

Go 321 124 Updated Jun 18, 2026

Build AI agents for your PC

Python 1,452 119 Updated Jun 20, 2026

Simple website implementation of the card game Spyfall

JavaScript 249 63 Updated Jun 13, 2026

Stack Wallet, a multicoin, cryptocurrency wallet

Dart 425 111 Updated Jun 19, 2026

The spyfall board game on the web, no database involved

Elixir 1 Updated Jan 10, 2023

Terminal based IDE & text editor: easy, powerful and fast

Rust 7,613 278 Updated Jun 19, 2026

The open source coding agent.

TypeScript 176,731 21,549 Updated Jun 21, 2026

Docker image that provides a Minecraft Server for Java Edition that automatically installs/upgrades versions, modloaders, modpacks and more at startup

Shell 13,857 1,868 Updated Jun 20, 2026

Graphical user interface for managing your Linux applications. Supports AppImage, Debian and Arch packages (including AUR), Flatpak, Snap and native Web applications

Python 1,384 93 Updated Oct 13, 2024

🛡️ Take control of your Discord experience with GoofCord – a highly configurable and privacy minded discord client.

TypeScript 953 27 Updated Jun 11, 2026

#1 PDF Application on GitHub that lets you edit PDFs on any device anywhere

Java 81,727 7,173 Updated Jun 20, 2026

deCONZ core generic Zigbee application

C++ 42 7 Updated Jun 15, 2026

Lyrics editor and CDG and Video exporter for Karaoke

C++ 86 20 Updated Jan 16, 2026
Next