Stars
📻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
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.
c3lang / vkQuake
Forked from Novum/vkQuakeVulkan 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.
🐼 Universal, Type-Safe, CSS-in-JS Framework for Design Systems ⚡️