1,251 tools and products — trending open source, and what gets used in AI and other work.
A utility for combining conditional class names. The video contrasts it with `cn`, which combines class-name handling with Tailwind Merge.
A research artifact containing a complete machine-checked Lean 4 proof of Fermat's Last Theorem, following the Frey–Serre–Ribet–Wiles and Taylor–Wiles argument and built on Mathlib. The theorem states that for natural numbers n, a, b, and c with n ≥ 3 and a, b, and c positive, a^n + b^n ≠ c^n. Lean's kernel checks the proof, which uses only Lean's three standard axioms—propext, Classical.choice, and Quot.sound—and the repository excludes sorry statements, added axioms, native_decide, unsafe code, and related escape mechanisms. A comparator independently replays the environment against a Mathlib formulation, while Nanoda, an independent Lean kernel implemented in Rust, checks an exported version of the environment. The repository also includes PROOF-PATH.md and an offline HTML presentation of the proof's theorems, definitions, dependencies, and generated documentation. It is released under the Apache License 2.0 and is described as not maintained and not accepting contributions.
chippytea is a native macOS menu-bar application for finding and removing storage clutter, including app and developer caches, logs, Xcode data, Python bytecode, build folders, downloads, and large personal files. It runs locally without an account, telemetry, or automatic deletion, and uses a Rust engine with a SwiftUI interface to scan selected locations, maintain a SQLite index, estimate sizes, perform safety and ownership checks, and show the consequences before cleanup. Users can move review-only files to Trash or permanently remove eligible developer caches, build files, and dependencies; its bounded duplicate check rechecks selected files before moving one copy to Trash. The app supports macOS 14 and later, requires an Apple Silicon Mac for local builds, and is MIT licensed.
Try Omarchy for Windows is a Windows launcher maintained by Omacom that runs the full Omarchy Linux desktop in a window without dual booting, VMware, or VirtualBox. It uses QEMU on the Windows Hypervisor Platform (WHPX), boots a prebuilt x86_64 Arch image with Omarchy, and renders the desktop through virtio-gpu, virgl, and Venus Vulkan via WINQ-EMU, with automatic CPU-rendering fallback. The console-less launcher enables Windows virtualization, downloads and SHA256-verifies the GPU runtime and guest image, creates and supervises the virtual machine, and stores its data in a chosen local folder. It provides GPU or CPU rendering, clipboard sharing, an optional shared Windows folder, port forwarding, backups, diagnostics, updates, and optional Start-menu and Desktop shortcuts. The project also includes reproducible guest-image build tooling, QMP controls, PowerShell scripts, and an experimental offline portable mode. The application is built in Go for Windows; the repository's scripts and documentation are MIT-licensed, while Omarchy and the guest image contents have separate licenses.
Blip is a Linux iMessage client for the Omarchy bar and desktop, developed by Fred Nix and contributors. It uses an existing Mac signed into Messages as a gateway: Linux tools communicate with Mac-side bridge tools over SSH, which read the Mac's chat database and use Messages.app automation to send messages. The Linux client renders conversations, group chats, unread indicators, notifications, search, link previews, photos and files, while a Mac-side watcher provides near-real-time updates. Blip requires an awake, reachable Mac running macOS 13 or newer, with Messages in iCloud, SSH key authentication, and the required macOS permissions. It does not use a hosted server, telemetry, or a Linux-side message cache; message text and attachment data travel through the SSH connection, although opened attachments and link previews may be cached locally. It is distributed as an Omarchy/Quickshell plugin with TypeScript, QML, and Mac bridge tools under the MIT license.
Flea is a keyboard-first graphical file manager for Omarchy on Linux, built as a Quickshell front end over a Rust backend. It keeps the full directory in the backend while sending the interface only the rows that fit on screen; thumbnails are requested only for visible rows after the listing stops moving and are sandboxed with bubblewrap and prlimit. It provides list, Miller-columns, and thumbnail-grid views; previews for text, images, video, audio, PDFs, and archive contents; directory tabs; path navigation; filtering and subtree search; and an undo journal for operations such as copying, moving to trash, renaming, compression, extraction, and conversion. The application supports local and removable volumes, SMB, SFTP, FTPS, WebDAV, and NFS mounts through GIO, plus Taildrop sharing and Dropbox as a destination. It can register itself as Omarchy's default file manager and as the desktop file chooser through the XDG file-chooser portal. The repository documents installation through Omarchy's package manager or an AUR package, optional archive, image-conversion, and Taildrop dependencies, a newline-delimited JSON protocol between the UI and backend, and an MIT license.
gpuix-svelte is an experimental Svelte custom renderer for GPUI, Zed's GPU-accelerated UI framework, distributed through @gpuix/native. It renders ordinary Svelte components into native desktop windows without a web view, while retaining Svelte component syntax, reactive state, scoped styles, and hot reload. The project includes demos for a counter, tic-tac-toe, Hacker News, and a liquid-glass control center, plus a browser target that renders the same components into a WebGPU canvas through GPUI's WebAssembly build. Its styling layer parses supported inline styles and class rules into GPUI's layout and paint properties rather than using a browser CSS engine. Supported behavior includes flex and grid layout, logical-pixel sizing, colors, typography, scrolling, hover and active states, CSS variables, portals, anchored overlays, keyboard and focus helpers, and custom components such as Scroller. The package also provides headless testing utilities that exercise GPUI's rendering, hit testing, input, and event pipeline. The repository is work in progress and requires an unreleased Svelte custom-renderer build bundled with the package. It supports Node.js and Bun, includes prebuilt native binaries, can compile examples into standalone executables for macOS, Linux, and Windows, and is licensed under MIT.
superlocal is a desktop-focused, provider-agnostic email client and provider gateway for combining multiple mailboxes into one keyboard-friendly inbox. It keeps provider credentials and capabilities separate, supports Gmail and inbound connections, and uses local encrypted storage.
Human Atlas is an open-source, browser-based interactive 3D anatomy explorer. It uses selectable BodyParts3D meshes to let users toggle anatomical system layers, search structures, and view exploded arrangements that show how body parts fit together. The video describes it as running locally as a static site without accounts or API keys.
NoGraphicsAPI is a minimal graphics API built on modern Vulkan extensions, developed by sebbbi. It lets shaders follow GPU pointers directly while the application manages texture and sampler descriptors in GPU memory, reducing traditional binding and synchronization machinery. The repository presents it as an implementation closely related to the author's "No Graphics API" blog post and SIGGRAPH talk.
kugiri is a text-preparation library for animation that splits text into lines, words, and characters exactly where the browser has already wrapped it. It measures browser wrapping to preserve layouts such as balanced headings and vertical text while exposing individual text elements to animation tools.
stop-stutter is a macOS utility for reducing game-streaming stutter associated with Apple's peer-to-peer Wi-Fi interface, known as AWDL. It disables the interface while selected streaming applications run and restores it afterward without disconnecting regular Wi-Fi. The repository lists support for Moonlight, GeForce NOW, Punktfunk, Parsec, and Steam Link, and describes a native SwiftUI interface with Liquid Glass. It is distributed under the MIT license.
Rent Flow Solutions is a service provider for rental businesses. The available description says it builds rental websites, supports search-engine optimization, and helps configure automated review systems and rental workflows.
A rental platform described in the video as a place to list trailers and test demand for trailer rentals.
Lanco Trailer Rentals is a trailer-rental business serving Lititz and the Lancaster, Pennsylvania area. It rents enclosed, livestock, utility, dump, equipment, car-hauler, and deckover trailers. The business uses contactless rentals with online booking and pickup, allowing customers to reserve trailers without paperwork or face-to-face handoffs. Its website lists more than 15 trailer types and provides availability, rental requests, and contact information.
Hudson was an automation and continuous-integration project created in 2004 by Sun Microsystems engineer Kohsuke Kawaguchi to automate software build tasks. It later became Jenkins after Oracle claimed the Hudson trademark.
Snitch is a Slack bot that builds and maintains an organization chart by asking each workspace member who they report to. An administrator connects it through Slack OAuth, reviews the people to include and the exact message, and launches the question round; members answer in a DM, and can later update their reporting line. The bot answers questions about reporting chains, team sizes, and ownership in Slack, while flagging problems such as missing or departed managers, reporting loops, and multiple top-level executives. It uses the Slack member directory and messages sent to it, not channels, files, or other conversations. The service is offered as a subscription with a 14-day trial and workspace-size-based plans.
Scriptly is an iOS teleprompter app that uses real-time voice recognition to scroll a script at the speaker’s pace. It provides script writing and organization, video-recording controls, professional teleprompter tools, local storage, and an Apple Watch companion for recording and text adjustments. The public beta is distributed through TestFlight.
dif.sh is a developer tool for storing feature flags, A/B tests, holdouts, and staged rollouts as Markdown files in a Git repository. Each experiment uses frontmatter for its status, audience, variants, metrics, guardrails, and exclusion group, while Git provides versioning and pull requests provide review and audit history. Its CLI initializes the repository structure, drafts experiments from surface-specific learning logs, validates configurations, previews assignments, builds a typed client, and archives concluded tests. The build resolves exclusion groups and fails on conflicting live experiments, generates a client that evaluates variants in the application without a production service call, and refreshes dif/context.json for coding agents. Audience rules declare runtime attributes such as country, plan, or returning-visitor status without committing customer lists. The optional Dif Cloud integration can calculate lift through dif.track(); alternatively, custom event handlers can forward results to other analytics systems. The project provides an npm CLI package and an SDK, and its site describes a no-signup workflow.
OpenCloud is an open-source, self-hosted file-storage and collaboration platform developed by the Heinlein Group. It is descended from ownCloud Infinite Scale and rewritten in Go, providing file management and sharing for teams and organizations without requiring a separate database instance or schema migrations. The platform supports optional full-text search, browser-based document editing through an integrated office suite, access controls, two-factor authentication, encryption, and file versioning. It is available for on-premises operation or as a SaaS offering through selected partners, with a cloud-native architecture intended for large data volumes and growing teams.
OpenCloud Compose is a repository of Docker Compose configurations for deploying OpenCloud in different environments. Its modular files combine the core OpenCloud service with Traefik or an external reverse proxy, Let's Encrypt or local certificates, Collabora Online or Euro Office document editing, Keycloak and LDAP identity management, Apache Tika full-text search, Radicale calendar and contacts, monitoring metrics, and ClamAV antivirus scanning. Deployments are selected with Docker Compose `-f` options or the `COMPOSE_FILE` environment variable, with settings such as domains, passwords, storage paths, and service-specific secrets supplied through `.env`. The repository requires Docker and Docker Compose v2, is licensed under GPLv3, and advises using the official OpenCloud documentation for production deployments.
Nano is a text editor used in the terminal to edit configuration files, including the OpenCloud environment-variable configuration file.
Euro-Office DocumentServer is a browser-based document editing service used with OpenCloud. The video describes it as an OnlyOffice fork that performs more processing on the client side, potentially reducing server load. The project describes itself as a sovereign office and provides a Docker image for testing and integration; Debian and RPM packages are stated to be forthcoming.
Bitwarden is an open-source password manager for individuals, teams, and enterprises. It stores, shares, and manages passwords, passkeys, and other secrets, and can generate random secrets such as the one used in the video’s Euro Office configuration.
Amazon.com is an online shopping and entertainment marketplace operated under the Amazon brand. It offers products including home and appliance supplies, electronics, automotive goods, books, and everyday essentials; the videos specifically describe using it to buy appliance cords and replacement-part kits for repairs. The site also promotes free shipping on millions of items and access to shopping and entertainment benefits through Prime.
TakeMyAppliance is an appliance-pickup lead-generation service that matches customers needing appliance pickup, disposal, or recycling with local pickup partners. Partners can use the leads for appliance flipping, rental, or rent-to-own arrangements, and can choose which leads to pursue. Partners receive email alerts for leads in selected cities. The pay-per-lead plan is free to join and charges $5 to unlock a lead's contact information; an unlimited plan provides full contact details and exclusive territories for a flat monthly price per city. The service lets partners add multiple cities and preview appliance types and photos before paying for individual leads.
Squim is a remotely hosted iOS app build and distribution service. It builds and bundles an iOS app so a creator can install it on a phone through a web link and test changes.
ThreatXtension is an open-source security tool for analyzing browser extensions and detecting potentially malicious ones. It combines static analysis, permission analysis, VirusTotal intelligence, web-store information, and AI-based assessment.
VirusTotal is a threat-intelligence service that provides external intelligence used to enrich browser-extension analysis.
A paid Bullmania membership that provides the Money Line trading system, Money Scanner, Bullmania AI, access to Ivan's private community, private group sessions, and trading education. The membership is currently closed according to the video, with future openings announced through Bullmania's newsletter.
Bootstrap is a frontend toolkit for building responsive websites, providing a grid system, prebuilt components, utility classes, Sass-based customization, and JavaScript plugins. Its JavaScript plugins support features such as alerts, buttons, carousels, collapsible content, dropdowns, modals, offcanvas menus, tabs, toasts, and tooltips; most can be activated through HTML data attributes, without jQuery, or controlled programmatically. Bootstrap can be installed through package managers, included from a CDN, or downloaded as source files, with CSS variables and a Sass Utility API for extending and customizing its styles.
ArmorPaint is software for painting physically based rendering (PBR) textures on 3D models, developed by Armory3D. The source repository provides build targets for Windows, Linux, macOS, Android, iOS, and WebAssembly, with platform-specific compiler and project-generation requirements. The repository is intended for developers and may be unstable; distributed binaries are paid to support the project.
iloader is a desktop sideloader for iOS devices, developed by nab138. It installs SideStore or LiveContainer with SideStore, imports IPA files, transfers certificate and pairing files, manages pairing files used by supported apps, and lets users view or revoke development certificates and app IDs. It communicates with connected devices through usbmuxd and related idevice tooling, and uses Apple signing and developer-endpoint operations to install apps. The application is built with Tauri and is distributed for Windows, macOS, Linux, and NixOS. Its source code is licensed under the MIT License, while its branding, logos, media assets, and name have separate restrictions.
Sonarr is a personal video recorder (PVR) for Usenet and BitTorrent users. It monitors RSS feeds for new episodes, downloads releases, sorts and renames files, and can scan an existing library for missing episodes. It can monitor downloaded episodes for higher-quality releases and automatically upgrade them, retry failed downloads with another release, and support manual searching. The software supports Windows, Linux, macOS, Raspberry Pi, and other platforms, integrates with SABnzbd and NZBGet, and can notify or update libraries in Kodi and Plex. Sonarr is licensed under the GNU GPL v3.
OpenFlux is a network-stack research tool that creates a TCP tunnel with pluggable transports. A client exposes a SOCKS5 proxy, sends TCP packets through a selected transport to an exit node, and the exit node decapsulates and forwards them to the destination. The repository provides transports using Yandex Docs cursor messages and MAX Messenger WebRTC DataChannel; custom transports can implement its Transport interface. It includes desktop, Android, and iOS build paths and is distributed under the GNU General Public License v3.0 or later. The README describes the MAX transport as experimental and warns that using external infrastructure or accounts may lead to account restrictions.
Ever Gauzy is an open business management platform from Ever Co. that combines enterprise resource planning, customer relationship management, human resources, applicant tracking, sales, finance, inventory, and project management. It includes employee time, activity, and productivity tracking; employee and contractor management; onboarding; candidate interviews; contacts; schedules; projects and tasks; goals and KPIs; sales pipelines; proposals; accounting, invoicing, billing, payments, income and expenses; time off; reporting; and organization, role, permission, currency, and language management. The platform also provides headless APIs, integrations, data import and export, and dashboards for business metrics. Gauzy can run as a browser-based platform through its server and API, as an all-in-one desktop application, or as a desktop timer for employee time and activity tracking. The server includes the Gauzy API, a web interface, and SQLite support, with external PostgreSQL available; the platform can also be configured with databases such as MySQL, MariaDB, CockroachDB, Microsoft SQL Server, Oracle, and MongoDB. Its documented deployment options include Docker Compose, Kubernetes, cloud and virtual-instance configurations, and a hosted SaaS environment. The repository is implemented with TypeScript, Node.js and NestJS, Nx/Lerna, Angular, RxJS, and database libraries including TypeORM, MikroORM, and Knex. The platform is distributed under Ever Gauzy Community Edition, Small Business, and Enterprise license arrangements, with the default license being the Community Edition license unless another agreement applies.
AKS is a Kubernetes platform used as an example of an operational model that differs from Amazon EKS.
Final Cut Pro is a video editor. In the referenced workflow, Astra was used to open and configure the editing environment required for editing in Final Cut Pro.
GPUI is a UI framework for Rust. It was used in an experiment to rebuild T3 Code.
A video collaboration tool for hosting calls with guests and embedding participants into streaming and video-production software.
OBS Studio is free, open-source software for video recording and live streaming on Windows, macOS, and Linux. It captures and mixes video and audio in real time, using scenes composed of sources such as window captures, images, text, browser windows, webcams, and capture cards; these sources can include a ping.gg call participant as a stream layer. It provides scene transitions, per-source audio filters, VST plugin support, hotkeys, Studio Mode for previewing productions, Multiview monitoring, and an API with native plugin and Lua or Python scripting support.
Cider is a community-run software company and cross-platform Apple Music application. The project describes the app as a customizable desktop client built with Quasar, Vue, Socket.io, Electron, and .NET for Windows builds, with native backends for each supported operating system. It provides integrations with services including Discord, Last.fm, and Spotify, audio spatialization and equalizers, remote control through Cider Remote, and a plugin system. The video describes Cider as handling Apple Music streaming for the Spun music player.
Qt is a cross-platform software development framework providing libraries and APIs for building applications from user interfaces to core functionality. The Qt ecosystem also includes Qt Creator, a cross-platform IDE; Qt Design Studio, a visual 2D/3D UI editor; Qt for MCUs for constrained devices; and tools for software quality, testing, architecture, static analysis, and deployment.
p5.js is a drawing framework and library for creating interactive sketches. Its official site provides a library reference, learning examples, a community gallery, and downloadable library releases.
C11 is a dependency-free embedded navigation library.
Galileo is Europe's global navigation satellite system, supplying satellite-navigation signals and related services for positioning and timing. The European GNSS Service Centre provides Galileo system-status information, user support, service notifications, and implementation materials for services including High Accuracy Service corrections, Open Service Navigation Message Authentication, and the Return Link Service.
KurrentDB is an event-native database for event-sourced and event-driven systems. It appends typed events to named streams, preserves the complete event history, streams changes in real time, and supports replaying, rewinding, or rebuilding state from past events. The service provides client libraries for Java, .NET, Go, Python, Node.js, Rust, and TypeScript, with Cloud, Enterprise, and Community deployment options.
RabbitMQ is an open-source messaging and streaming broker for communication between distributed applications and microservices. It supports open protocols including AMQP 1.0 and MQTT 5.0, with client libraries for multiple programming languages. Applications can publish messages to queues or streams, route and filter them to consumers, acknowledge delivery, replicate messages across clusters, and connect deployments using shovels or federation. Common uses include decoupling services, remote procedure calls, event streaming, and IoT messaging; in the cited video, it transports events between booking services. The software is available under the Mozilla Public License 2.0, and Broadcom offers a commercial Tanzu RabbitMQ edition with enterprise support.
Wolverine is a software tool for moving events and supporting durable inbox and outbox patterns.
MongoDB is a document database and data platform used in the booking backend's CQRS data architecture. Its document data model is designed to map to application access patterns, and its query API supports lookups, processing pipelines, analytics, and data transformations. MongoDB Atlas combines operational data, vector search, streaming, text search, analytical, graph, and geospatial capabilities in a unified platform.
gRPC is an open-source Remote Procedure Call framework for connecting services across environments and data centers. It uses Protocol Buffers for service definitions and binary serialization, then generates client and server stubs for multiple languages and platforms. The framework supports HTTP/2-based transport, bidirectional streaming, pluggable load balancing, tracing, health checking, and authentication, and can also connect devices, mobile applications, and browsers to backend services. gRPC is a CNCF incubation project.
MetaPost is a tool for creating diagrams for Vintage LaTeX documents.
Open-Meteo is an open-source weather API providing forecast, current-condition, and historical weather data through HTTP GET requests that return JSON. It aggregates more than 30 weather models from national weather services, normalises outputs to hourly resolution, and supports historical datasets including ERA5 reanalysis, historical forecasts, previous model runs, and archived individual runs. The API requires no authentication for non-commercial use, and its data is licensed under CC BY 4.0; the server code is available under the AGPLv3 license for self-hosting.
FZF is identified in the video as a terminal-based search and selection tool that provides searchable terminal-session selection in Tmax.
Chrome DevTools Protocol is a browser-control protocol that, in the cited use, connects Browser Use Pi's JavaScript runtime directly to Chrome.
Mathlib is a formal mathematics library for use with Lean proofs.
Flectar Mail is a native, open-source email, calendar, and contacts client built with Rust. It uses a local-first data path, stores synced mail and calendar data locally for offline use, and connects to Gmail, Outlook, Microsoft 365, IMAP/SMTP, JMAP, CalDAV, and CardDAV services. Instead of opening email in a WebView, Flectar Mail renders HTML and CSS through Blitz, a Rust renderer from the Dioxus team. It does not execute email scripts and blocks remote images by default; HTML rendering remains experimental, so complex messages may display incorrectly. The client also provides local access to attachments and WebDAV/JMAP files, account signatures, and desktop OpenPGP/MIME signing and encryption through installed GnuPG 2.x. The project is licensed under the GNU Affero General Public License v3. It provides desktop builds for Linux, Windows, and macOS, plus an experimental Android APK, and can be built from source with Rust. It is currently in development and not yet stable; early releases require users to configure their own OAuth applications for Gmail and Outlook or use IMAP/JMAP accounts.
INSLIB is a portable C11 library for three-dimensional navigation state estimation. Its Kalman-filter core fuses inertial measurement data with GNSS/GPS, barometer, magnetometer, local-position, yaw, ground-speed, zero-velocity, and zero-rotation measurements to produce navigation states for drones, autonomous vehicles, robotics, aerospace, cars, embedded systems, and recorded-data post-processing. The dependency-free core uses no heap or operating-system dependencies and is designed for bare-metal microcontrollers and real-time control loops. It includes measurement-delay compensation, numerically robust UDU/Bierman-Thornton filtering, a lightweight World Magnetic Model for magnetic-declination correction, and an alternative attitude mode that can operate without a magnetometer. During GNSS outages, the parallel barometric-altitude channel can continue providing fused altitude and attitude estimates. The repository also provides Python bindings, replay and plotting tools, calibration utilities, a UDP live-data receiver, tutorials, example datasets, and support for correction sources including Galileo HAS, SPARTN/PointPerfect Flex, and RTK via NTRIP RTCM.
Booking Microservices is a practical flight-booking system developed by Evangelos Vlachos as a set of .NET 10 microservices. It uses Vertical Slice Architecture, domain-driven design, CQRS, and event sourcing; commands update PostgreSQL or EventStoreDB and publish integration events through Wolverine's durable outbox to RabbitMQ, while consumers use a durable inbox to project read models into MongoDB. Queries read from MongoDB, and synchronous cross-service validation uses gRPC. The repository includes Identity, Flight, Passenger, Booking, and YARP API gateway services, plus .NET Aspire orchestration, Docker Compose and Kubernetes deployment configurations, OpenTelemetry-based observability, OpenAPI documentation, and automated unit, integration, end-to-end, and contract tests.
Hyalite is a JavaScript library for real-refraction liquid-glass effects on the web. It models an element as a glass slab with a bevelled edge, computes a signed-distance-field lens map for its rounded-rectangle geometry, applies Snell's-law refraction, and feeds the resulting displacement and edge-light data into an SVG filter used through backdrop-filter. It supports per-corner radii, configurable bevel, thickness, slope, dispersion, shading, rim light, resizing, and materialization effects. The library is distributed as a single file with no WebGL or build step. Its watch and attach APIs manage matching or individual elements, rebuild maps when geometry changes, cache maps across similar sizes, and provide fallback CSS behavior. The refraction effect is rendered in Chromium-based browsers; Safari and Firefox use the supplied fallback because their SVG backdrop-filter support is incomplete. Hyalite is released under the MIT license by VII-Cae (VII).