Skip to content
View FormalSnake's full-sized avatar
💻
Coding and stuff
💻
Coding and stuff

Highlights

  • Pro

Block or report FormalSnake

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 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
Showing results
Lua 2 Updated Dec 19, 2025
TypeScript 1 Updated Dec 21, 2025

Input method editor for handwritten LaTeX with stylus

TypeScript 214 15 Updated Dec 22, 2025

AirPods as posture coach on iOS

Swift 859 32 Updated Nov 28, 2025

[Native Land] Add support for WebAuthn for Electron.

JavaScript 8 Updated Jul 11, 2025

My personal hyprland rice dotfiles

CSS 830 48 Updated Aug 3, 2025

Window management made elegant.

Swift 9,716 205 Updated Dec 22, 2025

Fast Git library in pure Go

Go 228 5 Updated Dec 12, 2025
Lua 28 Updated Dec 22, 2025

Make rounded corners beautiful everywhere

TypeScript 4 Updated Nov 17, 2025

Finally, you can create truly smooth corners using CSS.

TypeScript 24 1 Updated Nov 24, 2025

A modern, privacy-focused browser with a minimalistic design.

TypeScript 778 40 Updated Dec 23, 2025
JavaScript 1 Updated Nov 9, 2025

Build ultra fast, tiny, and cross-platform desktop apps with Typescript.

TypeScript 2,523 50 Updated Dec 12, 2025

Window Manager for Windows

C# 110 6 Updated Dec 4, 2025

Visual Studio Code

TypeScript 179,988 37,042 Updated Dec 25, 2025

Servo aims to empower developers with a lightweight, high-performance alternative for embedding web technologies in applications.

Rust 34,755 3,416 Updated Dec 25, 2025

Personal AI Notebooks. Organize files & webpages and generate notes from them. Open source, local & open data, open model choice (incl. local).

TypeScript 2,992 215 Updated Dec 16, 2025

OAuth authentication plugin for personal coding assistance with ChatGPT Plus/Pro subscriptions - uses OpenAI's official authentication method

TypeScript 878 60 Updated Dec 22, 2025

Terminal UI OS (Terminal Multiplexer)

Go 2,186 49 Updated Dec 25, 2025

PSX retro graphics plugin for URP with Shadergraph in Unity

C# 833 78 Updated May 27, 2024

Open source Loom alternative. Beautiful, shareable screen recordings.

TypeScript 16,045 1,103 Updated Dec 24, 2025

Pretty fancy and modern terminal file manager

Go 16,129 424 Updated Dec 25, 2025

Run Windows apps on 🐧 Linux with ✨ seamless integration

TypeScript 17,177 439 Updated Dec 20, 2025

The fastest and simplest library for SQLite3 in Node.js.

JavaScript 6,745 434 Updated Dec 1, 2025

A fast, minimal browser that protects your privacy

JavaScript 8,789 810 Updated Nov 23, 2025

The library for web and native user interfaces.

JavaScript 241,857 50,204 Updated Dec 19, 2025

Audio Editor

C++ 16,173 2,491 Updated Dec 24, 2025

Bring SwiftUI’s iOS 26 glass APIs to earlier deployments with lightweight shims—keep your UI consistent on iOS 18+, and automatically defer to the real implementations wherever they exist.

Swift 105 6 Updated Oct 29, 2025
Next