3Blue1Brown

ManimGL is an open-source Python animation engine for creating precise programmatic animations, particularly explanatory mathematics videos. Scenes can contain shapes, equations, and transformations and can be rendered to video or displayed in an OpenGL window. This repository is the original Manim project created by the author of 3Blue1Brown; it is distinct from the later Manim Community Edition. The package is installed as `manimgl`, runs on Python 3.10 or higher, and uses FFmpeg and OpenGL, with LaTeX optional for LaTeX rendering.

Rebuild YouTube with AI is a live, hands-on cohort course from ByteByteGo about building and deploying a YouTube-like video site with AI coding tools. It covers decomposing the product into core surfaces, generating interface mockups, implementing React and Next.js pages, modeling data in Postgres, adding authentication and uploads, generating media, storing video with Cloudflare, and deploying with Vercel. The course also implements search and related videos with multimodal embeddings and pgvector, then discusses recommender-system limitations, watch-time tracking, AI-driven Playwright testing, and production workflows. Sessions are recorded, and enrollment includes course materials and access to the cohort recordings after the live course.

An online course and community (branded Switch Dimension AI) created by Rob Shocks that teaches how to build and ship products with AI. The offering combines instructional content on building AI-powered applications with access to a learner community and is hosted at switchdimension.com.

An OpenAI repository containing Lean 4 formalizations of ten results presented in its paper on advances in mathematics and theoretical computer science. The formalizations cover high-dimensional sphere packing; binary and spherical codes; non-sofic groups; Connes’s rigidity conjecture; arithmetic circuit complexity; quantum parallel repetition; the closest vector problem; Ehrhart’s volume conjecture; multicolor Ramsey numbers; and compactness and degeneracy conjectures in extremal graph theory. Each result is implemented as a separate Lean module, including `SpherePacking.lean`, `MetricCodes.lean`, `NonSoficGroup.lean`, `ConnesRigidity.lean`, `Permanent.lean`, `QuantumParallelRepetition.lean`, `GapCVP.lean`, `EhrhartVolumeInequality.lean`, `MulticolorTriangleRamsey.lean`, and `CompactnessAndDegeneracy.lean`. The project uses Lean 4.32.0, mathlib, and Lake. With the mathlib cache installed, all formalizations can be built with `lake build All`, or individual modules can be built by name; the repository also provides reasoning walkthroughs and documents independent checking with Comparator.

ThreeUI is a free, open-source, login-free catalog and React component library for interactive Three.js, WebGL, shader, and UI components. Its Community edition provides browsing, search, themes, responsive layouts, live renderers, controls, variant pickers, source-code tabs, and complete Community component source code, while excluding Pro and Beta components and authentication, checkout, and Pro implementation source. The public library can be installed from npm as @designcodeio/threeui and imported as React components with shared styles through the package root or component subpaths, or run locally with Vite from the repository. Components that render full HTML documents require runtime assets to be copied into the host application's public directory. Application code and Community component code are MIT licensed; bundled fonts use the SIL Open Font License 1.1 and bundled Three.js runtime files use the MIT license.