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

Input method editor for handwritten LaTeX with stylus

TypeScript 212 14 Updated Dec 13, 2025

AirPods as posture coach on iOS

Swift 852 32 Updated Nov 28, 2025

[Native Land] Add support for WebAuthn for Electron.

JavaScript 7 Updated Jul 11, 2025

My personal hyprland rice dotfiles

CSS 821 47 Updated Aug 3, 2025

Window management made elegant.

Swift 9,603 205 Updated Dec 9, 2025

Fast Git library in pure Go

Go 228 5 Updated Dec 12, 2025
Lua 28 Updated Dec 8, 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 772 40 Updated Dec 19, 2025
JavaScript 1 Updated Nov 9, 2025

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

TypeScript 2,504 50 Updated Dec 12, 2025

Window Manager for Windows

C# 101 5 Updated Dec 4, 2025

Visual Studio Code

TypeScript 179,828 37,012 Updated Dec 20, 2025

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

Rust 34,664 3,409 Updated Dec 20, 2025

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

TypeScript 2,971 213 Updated Dec 16, 2025

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

TypeScript 797 59 Updated Dec 19, 2025

Terminal UI OS (Terminal Multiplexer)

Go 2,141 48 Updated Dec 20, 2025

PSX retro graphics plugin for URP with Shadergraph in Unity

C# 831 78 Updated May 27, 2024

Open source Loom alternative. Beautiful, shareable screen recordings.

TypeScript 15,935 1,095 Updated Dec 19, 2025

Pretty fancy and modern terminal file manager

Go 16,057 419 Updated Dec 20, 2025

Run Windows apps on 🐧 Linux with ✨ seamless integration

TypeScript 17,044 439 Updated Dec 3, 2025

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

JavaScript 6,731 434 Updated Dec 1, 2025

A fast, minimal browser that protects your privacy

JavaScript 8,781 810 Updated Nov 23, 2025

The library for web and native user interfaces.

JavaScript 241,738 50,217 Updated Dec 19, 2025

Audio Editor

C++ 16,138 2,488 Updated Dec 19, 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 102 6 Updated Oct 29, 2025

⚠️ Recommended not to use in production! 🎨 Native iOS progressive blur for React Native (Expo) — smooth, customizable SwiftUI blur effects with directional gradients and easy integration. 🍎✨

TypeScript 89 1 Updated Aug 9, 2025

Run multiple commands in parallel

Rust 2,159 70 Updated Dec 20, 2025
Next