📻Terminal/ssh/sftp/ftp/telnet/serialport/RDP/VNC client(linux, mac, win)

Translation in Coq of the HOL-Light definition of real numbers using binary natural numbers

Open source comprehensive 2D content creation tool suite for graphic design, digital art, and interactive real-time motion graphics — featuring node-based procedural editing

↪️🚀️↩️ A redirect to seanpm2001:Mission-Statement

↪️🚀️↩️ A redirect to seanpm2001:Mission-Statement_Docs

Nix Packages collection & NixOS

One Draggable to rule them all 💍

A highly opinionated, zero-configuration linter and formatter.

This repository delivers end-to-end, code-first tutorials covering every layer of production-grade GenAI agents, guiding you from spark to scale with proven patterns and reusable blueprints for re…

A visual no-code theme editor for shadcn/ui components

🐸 Rybbit - open-source and privacy-friendly alternative to Google Analytics that is 10x more intuitive.

Vulkan Quake port based on QuakeSpasm

A simpler site generator. Transforms a directory of templates (of varying types) into HTML.

Mini projects built with HTML5, CSS & JavaScript. No frameworks or libraries

High-performance reverse proxy and container orchestrator for self-hosters

The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.

🔥Highlighting the top ML papers every week.

Portable file server with accelerated resumable uploads, dedup, WebDAV, FTP, TFTP, zeroconf, media indexer, thumbnails++ all in one file, no deps

The most comprehensive authentication framework for TypeScript

Open source website builder and Webflow alternative. Webstudio is an advanced visual builder that connects to any headless CMS, supports all CSS properties, and can be hosted anywhere, including wi…

Curated list of papers and resources focused on 3D Gaussian Splatting, intended to keep pace with the anticipated surge of research in the coming months.

The open source coding agent.

🐼 Universal, Type-Safe, CSS-in-JS Framework for Design Systems ⚡️