Awesome List Updates on Aug 13, 2026

13 awesome lists updated today.

🏠 Home · 🔍 Search · 🔥 Feed · 📮 Subscribe · ❤️ Sponsor

1. Awesome Math

Start Here / Learning Platforms

• MIT OpenCourseWare - Free MIT course materials, including notes, assignments, and exams for undergraduate and graduate mathematics.

• Mathispower4u - More than 9,000 free, closed-captioned video lessons and worked examples organized from middle-school mathematics through calculus, linear algebra, differential equations, and statistics, by James Sousa.

• OSSU Math (⭐9k) - Free, prerequisite-ordered self-study curriculum modeled on the mathematics requirements of an undergraduate degree.

• Waterloo Open Math - Free university-level courseware with lessons, exercises, and immediate feedback from the University of Waterloo.

Start Here / Proof and Problem Solving

• Basic Concepts of Mathematics - Elias Zakon.

• How to Prove It: A Structured Approach (3rd Edition) - Paid textbook by Daniel J. Velleman.

Start Here / Video Courses and Series

• The Math District - Free guides and videos covering prealgebra, algebra, geometry, trigonometry, statistics, calculus, and technical mathematics.

Start Here / Questions and Answers

• Mathematics Stack Exchange - Community questions and answers about mathematics problems and proofs.

• MathOverflow - Questions and answers for professional mathematicians.

Start Here / Reference Works

• Mathematics Subject Classification 2020 - The standard subject taxonomy maintained by Mathematical Reviews and zbMATH.

• Encyclopedia of Mathematics - Reference articles on mathematical concepts, theorems, biographies, and applications.

• nLab - Collaborative research-level notes and expositions in category theory, homotopy theory, mathematical physics, and related areas.

• Wolfram Mathworld - Reference articles on mathematical definitions, formulas, identities, and related concepts.

• AIM Open Textbook Initiative - Open mathematics textbooks organized by course and evaluated by the American Institute of Mathematics editorial board.

• AMS Open Math Notes - Free course notes, textbooks, and research expositions hosted by the American Mathematical Society.

• OpenStax Mathematics - Peer-reviewed, openly licensed textbooks for school and introductory college mathematics from Rice University.

• Basics of Algebra, Topology, and Differential Calculus - Jean Gallier (University of Pennsylvania).

• Multivariable Calculus - G. Cain, J. Herod (Georgia Tech).

• Online Mathematics Textbooks - Index of freely available mathematics textbooks maintained at Georgia Tech.

• Trigonometry - Michael Corral.

General Mathematics / Broad Course Notes

• Paul's Online Math Notes - Free notes, examples, and practice problems for algebra, calculus, and differential equations, by Paul Dawkins at Lamar University.

• UBC CLP Calculus Textbooks - Free textbooks, problem books, and source files for a four-course university sequence in differential, integral, multivariable, and vector calculus.

Foundations and Logic / Logic

• Introduction to Logic - Michael Genesereth, Eric J. Kao (Stanford University).

• Computability - An introduction to recursive function theory - Nigel Cutland (University of Hull).

• Language, Proof, and Logic, Second Edition - Paid textbook by Dave Barker-Plummer, Jon Barwise, and John Etchemendy.

• Mathematical Logic - Helmut Schwichtenberg.

• Mathematical Logic - Stephen G. Simpson (Pennsylvania State University).

• Formal Logic - Miguel Palomino.

• Proofs and Concepts: the fundamentals of abstract mathematics - Joy Morris, Dave Morris.

• Mathematical Reasoning: Writing and Proof - Ted Sundstrom.

• Logic and Proof - Jeremy Avigad, Robert Y. Lewis, and Floris van Doorn.

• Open Logic Textbook - collaborative effort, main contributors listed here.

Foundations and Logic / Set Theory

• Sets, Relations, Functions - Ivo Düntsch, Günther Gediga.

• An Introduction to Set Theory - William A. R. Weiss.

• Set Theory and Foundations of Mathematics - Sylvain Poirier.

• Set Theory on the Stanford Encyclopedia of Philosophy - Peer-reviewed overview of set theory with historical context and references.

Foundations and Logic / Type Theory

• Proofs and Types - Jean-Yves Girard.

• Programming in Martin-Lof’s Type Theory - Bengt Nordstrom, Kent Petersson, Jan M. Smith.

Foundations and Logic / Category Theory

• Introduction to Category Theory and Categorical Logic - Thomas Streicher.

• Category Theory - Paid textbook by Steve Awodey.

• Category Theory - B. Pareigis.

• Category Theory for Computing Science - Michael Barr, Charles Wells.

• Toposes, Triples and Theories - Michael Barr, Charles Wells.

• Abelian Categories - Peter Freyd.

• Categories and Groupoids - P. J. Higgins.

• Basic Concepts of Enriched Category Theory - G. M. Kelly.

• Abstract and Concrete Categories: The Joy of Cats - Jiri Adamek, Horst Herrlich, George E. Strecker.

• Seven Sketches in Compositionality: An Invitation to Applied Category Theory - Brendan Fong and David I. Spivak (MIT).

• Category Theory in Context - Emily Riehl (Johns Hopkins University).

Foundations and Logic / Formal Mathematics and Theorem Proving

• Lean - Open-source interactive theorem prover and programming language based on dependent type theory, used for formal mathematics and software verification.

• mathlib (⭐3.8k) - Community-maintained mathematical library for Lean 4, with formalized theories, proof tactics, programming infrastructure, and generated documentation.

• Mathematics in Lean - Free textbook with examples and exercises for mathematicians learning Lean 4 and mathlib.

• Natural Number Game - Interactive Lean 4 game that introduces theorem proving through guided exercises about natural numbers.

• Isabelle - General-purpose interactive theorem prover with higher-order logic and set-theory environments for formalizing mathematics and computer science.

• Archive of Formal Proofs - Refereed collection of Isabelle proof libraries, examples, and scientific developments maintained against current Isabelle releases.

• Rocq Prover - Open-source interactive theorem prover and dependently typed programming language for mechanized mathematics and verified software.

• Mathematical Components - Rocq libraries and tools for large-scale formalized mathematics, including substantial developments in algebra and analysis.

• Metamath - Minimal formal language and proof verifier with explicit, inspectable proofs built from simple foundations.

Algebra / Formal Mathematics and Theorem Proving

• A Course in Universal Algebra - S. Burris, H.P. Sankappanavar.

• First Course in Algebra - Herbert E. Hawkes, William A. Luby, Frank C. Touton (1910).

• Second Course in Algebra - Herbert E. Hawkes, William A. Luby, Frank C. Touton (1911).

• Algebra: An Elementary Text-Book, Part I - G. Chrystal (1904).

• Algebra: An Elementary Text-Book, Part II - G. Chrystal (1900).

Algebra / Abstract Algebra

• Introduction to Modern Algebra - David Joyce (Clark University).

• Abstract Algebra: Theory and Applications - Thomas W. Judson.

• Elements of Abstract and Linear Algebra - E.H. Connell (University of Miami).

• Abstract Algebra: Harvard Extension - Benedict Gross.

Algebra / Linear Algebra

• Fundamentals of Linear Algebra - James B. Carrell.

• Linear Algebra - Jim Hefferon.

• A First Course in Linear Algebra - Robert A. Beezer.

• Introduction to Vectors and Tensors, Vol. 1: Linear and Multilinear Algebra - Ray M. Bowen, C. C. Wang.

• Introduction to Vectors and Tensors, Vol. 2: Vector and Tensor Analysis - Ray M. Bowen, C. C. Wang.

• Immersive Linear Algebra - J. Ström, K. Åström, and T. Akenine-Möller.

Algebra / Group Theory

• Group Theory - J.S. Milne.

• Notes on Finite Group Theory - Peter J. Cameron.

• Group Theory - Predrag Cvitanović.

Algebra / Ring and Field Theory

• Foundations of Module and Ring Theory - Robert Wisbauer (University of Düsseldorf).

• An Introduction to Galois Theory - Andrew Baker (University of Glasgow).

• Fields and Galois Theory - J.S. Milne.

• Galois Theory - Miles Reid.

• Surreal Numbers - How two ex-students turned on to pure mathematics and found total happiness - D. E. Knuth.

• Surreal Numbers and Games - Introductory notes on Conway's surreal numbers and their connection with combinatorial game theory.

• Conway names, the simplicity hierarchy and the surreal number tree - Philip Ehrlich.

Algebra / Commutative Algebra

• The CRing Project - Open-source work-in-progress textbook introducing commutative algebra for readers with elementary abstract algebra, with an emphasis on foundations for algebraic geometry.

• Commutative Algebra Notes - Free graduate course notes by Mel Hochster, from an introductory course through advanced topics such as Cohen-Macaulay rings, multiplicities, and étale maps.

Algebra / Representation Theory

• Lie Algebras - Shlomo Sternberg.

• Introduction to Representation Theory - Free MIT course by Pavel Etingof with lecture notes and problem sets on representations of groups and algebras, categories, and quivers.

Number Theory / Representation Theory

• Elementary Number Theory: Primes, Congruences, and Secrets - William Stein.

• Elementary Number Theory - W. Edwin Clark (University of South Florida).

• A Course on Number Theory - Peter J. Cameron.

• A Computational Introduction to Number Theory and Algebra - Victor Shoup.

Number Theory / Algebraic Number Theory

• Algebraic Number Theory - J.S. Milne.

• Algebraic Number Theory Course Notes - Matthew Baker (Georgia Tech).

Number Theory / Analytic Number Theory

• Analytic Number Theory - Otto Forster (LMU Munich).

• Analytic Number Theory - Andreas Strömbergsson (Uppsala University).

Combinatorics and Discrete Mathematics / Analytic Number Theory

• Basic Combinatorics - Carl G. Wagner (University of Tennessee).

• Applied Combinatorics - Mitchel T. Keller, William T. Trotter.

• Notes on Combinatorics - Peter J. Cameron.

• Analytic Combinatorics - Philippe Flajolet, Robert Sedgewick.

• generatingfunctionology - Herbert Wilf.

Combinatorics and Discrete Mathematics / Graph Theory

• Graph Theory: Lecture Notes - Christopher Griffin.

• Graph Theory - Reinhard Diestel.

Geometry and Topology / Graph Theory

• Fundamentals of Geometry - Oleg A. Belyaev.

• Euclid's Elements (David Joyce edition) - Euclid.

• Euclid's Elements Redux - Daniel Callahan.

• Mathematical Illustrations - Bill Casselman.

• Plane Geometry - George Wentworth and David Eugene Smith (1913).

• Planes and Spherical Trigonometry - George Wentworth and David Eugene Smith (1915).

• Coordinate Geometry - Henry Buchard Fine and Henry Dallas Thompson (1911).

• Analytic Geometry - Lewis Parker Siceloff, George Wentworth, David Eugene Smith (1922).

Geometry and Topology / Differential Geometry

• Topics in Differential Geometry - Peter W. Michor.

• Lectures on Differential Geometry - Wulf Rossmann.

• An Introduction to Riemannian Geometry - Sigmundur Gudmundsson (Lund University).

• The Geometry and Topology of Three-Manifolds - W. Thurston.

• Semi-Riemann Geometry and General Relativity - Shlomo Sternberg.

• Discrete Differential Geometry - Keenan Crane.

Geometry and Topology / Algebraic Geometry

• Introduction to Algebraic Geometry - Igor V. Dolgachev.

• Foundations of Algebraic Geometry - Ravi Vakil.

• Algebraic Geometry - Jean Gallier, Stephen S. Shatz (University of Pennsylvania).

• Algebraic Geometry - J.S. Milne.

• Algebraic Geometry - Andreas Gathmann (RPTU).

Geometry and Topology / General Topology

• Introduction to Topology - Free introductory notes associated with Renzo Cavalieri's Colorado State University topology course and compiled by students. Covers point-set topology, compactness, connectedness, surfaces, Euler characteristic, and the fundamental group.

• Introduction to Topology - Alex Küronya.

• General Topology - Pierre Schapira (Sorbonne University).

• Elementary Topology Problem Textbook - Oleg Viro.

• General Topology - Jesper M. Møller.

Geometry and Topology / Algebraic Topology

• Algebraic Topology - Allen Hatcher.

• A Concise Course in Algebraic Topology - J. P. May.

• Introduction to Algebraic Topology - Martin Cadek.

• Algebra and Topology - Pierre Schapira (Sorbonne University).

• Lecture Notes in Algebraic Topology - Paid textbook by James F. Davis and Paul Kirk.

Analysis / Real Analysis

• Calculus Open Textbook - Gilbert Strang (MIT OpenCourseWare).

• Elementary Calculus: An Approach Using Infinitesimals - Professor H. Jerome Keisler.

• Introduction to Real Analysis - William F. Trench (Trinity University, Texas).

• Basic Analysis: Introduction to Real Analysis - Jiří Lebl.

• Elementary Real Analysis - Brian S. Thomson, Judith B. Bruckner, Andrew M. Bruckner.

• Lecture Notes in Real Analysis - Eric T. Sawyer (McMaster University).

• Advanced Real Analysis - Curtis T. McMullen.

• Real Analysis for Graduate Students - Richard F. Bass.

• Modern Real Analysis - William P. Ziemer (Indiana University).

• Advanced Calculus - Lynn Loomis, Schlomo Sternberg.

• Analysis of Functions of a Single Variable - Lawerence Baggett.

• The Calculus of Functions of Several Variables - Dan Sloughter.

• A ProblemText in Advanced Calculus - John M. Erdman.

• Calculus and Linear Algebra. Vol. 1 - Wilfred Kaplan, Donald J. Lewis.

• Active Calculus - Matt Boelkins.

• Calculus Made Easy - Silvanus P. Thompson (1910).

• Elements of Differential and Integral Calculus - William Anthony Granville (1911).

Analysis / Complex Analysis

• An Introduction to Complex Analysis and Geometry - Paid textbook by John P. D'Angelo.

• A First Course in Complex Analysis - Matthias Beck, Gerald Marchesi, Dennis Pixton, Lucas Sabalka.

• A Guide to Complex Variables - Paid textbook by Steven G. Krantz.

• Complex Analysis - Charles Walkden.

• Complex Analysis - Christian Berg.

• Complex Variables - R. B. Ash, W.P. Novinger.

• Complex Analysis - Christer Bennewitz.

• Complex Analysis - Donald E. Marshall.

• Complex Analysis - G. Cain (Georgia Tech).

Analysis / Functional Analysis

• Functional Analysis: Lecture Notes - Jeff Schenker (Michigan State University).

• Functional Analysis - Alexander C. R. Belton.

• Functional Analysis - Christian Remling.

• Theory of Functions of a Real Variable - Shlomo Sternberg.

• Functional Analysis - Lawerence Baggett.

Analysis / Operator Theory

• Lecture Notes on Operator Algebras - Free graduate notes by John M. Erdman on Hilbert-space operators, Banach algebras, spectral theory, C*-algebras, compact operators, and K-theory.

Analysis / Harmonic Analysis

• Harmonic Analysis Lecture Notes - Richard S. Laugesen (University of Illinois at Urbana-Champaign).

Analysis / Measure Theory

• Lecture Notes in Measure Theory - Christer Borell.

• A Crash Course on the Lebesgue Integral and Measure Theory - Steve Cheng.

• Lecture Notes: Measure Theory - Bruce K. Driver.

Differential Equations and Dynamical Systems / Ordinary Differential Equations

• Difference Equations To Differential Equations - Dan Sloughter.

• Ordinary Differential Equations: Lecture Notes - Eugen J. Ionascu.

• Ordinary Differential Equations - Peter Philip.

• Differential Equations - Gabriel Nagy.

• Ordinary Differential Equations and Dynamical Systems - Gerald Teschl.

• Difference Equations to Differential Equations - Dan Sloughter.

• Elementary Differential Equations - William F. Trench.

• Elementary Differential Equations With Boundary Value Problems - William F. Trench.

• Notes on Diffy Qs: Differential Equations for Engineers - Jiří Lebl.

• Differential Equations - H. B. Phillips (1922).

Differential Equations and Dynamical Systems / Partial Differential Equations

• Linear Methods of Applied Mathematics - Evans M. Harrell II, James V. Herod (Georgia Tech).

Differential Equations and Dynamical Systems / Ergodic Theory and Chaos

• Complexity: A Guided Tour - Paid textbook by Melanie Mitchell.

Probability and Statistics / Probability

• Harvard Statistics 110: Probability - Free probability course with a textbook, lecture videos, exercises, and an optional edX version by Joe Blitzstein.

• Introduction to Probability - Charles M. Grinstead, J. Laurie Snell.

• Introduction to Probability - Dimitri P. Bertsekas, John N. Tsitsiklis (MIT).

• A Short Introduction to Probability - Dirk P. Kroese (University of Queensland).

• Probability: Theory and Examples - Rick Durrett (5th edition).

• The Only Probability Cheatsheet You'll Ever Need - William Chen.

• An Introduction to Probability and Random Processes - Gian-Carlo Rota, Kenneth Baclawski.

Probability and Statistics / Stochastic Processes

• Research and Lecture Notes - Advanced notes by Fabrice Baudoin on stochastic analysis, differential geometry, and Dirichlet spaces.

• On Stochastic Processes - K. Ito (Tata Institute of Fundamental Research).

• Probability and Stochastic Processes with Applications - Oliver Knill (Harvard University).

• Stochastic Processes - Amir Dembo (Stanford University).

• Lecture Notes on Stochastic Processes - Frank Noé, Bettina Keller and Jan-Hendrik Prinz (Freie Universität Berlin).

• An Introduction to Stochastic Processes in Continuous Time - Flora Spieksma (Leiden University).

• Markov Chains and Mixing Times - David A. Levin, Yuval Peres, Elizabeth L. Wilmer.

• Convergence of Stochastic Processes - Paid textbook by David Pollard.

Probability and Statistics / Statistics

• Lecture Notes on Statistical Theory - Ryan Martin (University of Illinois).

• Introduction to Statistics and Data Analysis for Physicists - Gerhard Bohm, Günter Zech.

• Lectures on Statistics - William G. Faris.

• Statistical Theory - Adolfo J. Rumbos.

• Theory of Statistics - James E. Gentle (George Mason University).

• Theory of Statistics - Joseph C. Watkins (University of Arizona).

• UCLA Statistical Methods and Data Analytics - Tutorials and examples for R, Stata, SAS, and SPSS.

• NIST Handbook of Statistical Methods - Resource on practical statistics directed towards scientists and engineers.

• Concepts and Applications of Inferential Statistics - Richard Lowry.

Probability and Statistics / Statistical Learning

• An Introduction to Statistical Learning - Gareth James, Daniela Witten, Trevor Hastie, Robert Tibshirani.

• The Elements of Statistical Learning - Trevor Hastie, Robert Tibshirani, Jerome Friedman.

• Reinforcement Learning: An Introduction - Richard S. Sutton, Andrew G. Barto (2nd edition).

Probability and Statistics / Algebraic Statistics

• Algebraic Statistics for Computational Biology - Paid textbook edited by Lior Pachter and Bernd Sturmfels.

Numerical and Computational Mathematics / Numerical Analysis

• Introduction to Numerical Analysis - Doron Levy (University of Maryland).

• A Concise Introduction to Numerical Analysis - Douglas N. Arnold (University of Minnesota).

• Numerical Analysis (Second Edition) - L. Ridgway Scott.

• Lectures in Basic Computational Numerical Analysis - J. M. McDonough (University of Kentucky).

Optimization, Operations Research, and Control / Numerical Analysis

• Nonlinear Optimization - Free graduate MIT course covering analytical and computational methods for unconstrained and constrained optimization.

• CVXPY - Open-source Python modeling language for convex, geometric, quasiconvex, and related optimization problems.

Optimization, Operations Research, and Control / Control Theory

• Feedback Systems: An Introduction for Scientists and Engineers - Free textbook by Karl J. Åström and Richard M. Murray on modeling, feedback, stability, performance, state feedback, and control design.

Mathematical Physics / Control Theory

• Introduction to Continuum Mechanics - Ray M. Bowen.

• Mechanism of the Heavens (1831) - Mary Somerville.

Interdisciplinary Mathematics / Mathematics for Computer Science

• Algorithms and Complexity - H. Wilf.

• Lecture Notes on Optimization - Pravin Varaiya.

• Information Theory, Inference, and Learning Algorithms - David J. C. MacKay.

Interdisciplinary Mathematics / Mathematics for Machine Learning

• Mathematics for Machine Learning - Free textbook on the linear algebra, geometry, calculus, probability, and optimization needed to study machine learning.

• Deep Learning: Foundations and Concepts - Free-to-read online textbook by Christopher M. Bishop and Hugh Bishop, with a probability-based treatment of modern deep-learning models and methods.

Interdisciplinary Mathematics / Information and Coding Theory

• Information Theory - Free graduate MIT course on entropy, source and channel coding, rate distortion, Gaussian channels, feedback, and multi-user information theory.

• Essential Coding Theory - Free graduate MIT course on error-correcting codes, Hamming spaces, and the algebraic and complexity aspects of coding theory.

• Error Correction Zoo - Maintained reference database of classical, quantum, and hybrid error-correcting codes, with definitions, relationships, and references.

Interdisciplinary Mathematics / Mathematical Finance

• Topics in Mathematics with Applications in Finance - Free undergraduate MIT course covering bond mathematics, probability, portfolio methods, time series, stochastic processes, and quantitative finance.

Interdisciplinary Mathematics / Mathematical Biology

• Mathematical Biology - Jeffrey Chasnov.

Interdisciplinary Mathematics / Signal Processing

• Introduction to Signal Processing - Sophocles J. Orfanidis (Rutgers University).

• Foundations of Signal Processing - Martin Vetterli, Jelena Kovacevic, Vivek K Goyal.

Mathematical Practice / AI for Mathematics

• LeanDojo v2 (⭐123) - Open-source framework for training, evaluating, and deploying AI-assisted theorem provers for Lean 4.

• miniF2F (⭐104) - Cross-system benchmark of formalized olympiad, high-school, and undergraduate problems for evaluating automated theorem provers.

• AlphaGeometry (⭐4.9k) - Open research implementation combining learned guidance with symbolic deduction for olympiad geometry problems.

Mathematical Practice / Mathematical Software and Tools

• Wolfram Alpha - Computational knowledge engine for evaluating expressions, plotting functions, and answering structured queries. Some advanced features require a paid plan.

• SymPy - Python library for symbolic algebra, calculus, equation solving, matrices, and code generation.

• SageMath - Free mathematics software combining computer algebra, numerical computation, geometry, statistics, and visualization through Python.

• Macaulay2 - Research system for algebraic geometry and commutative algebra with specialized computational packages.

• GNU Octave - Free environment for numerical computing, linear algebra, plotting, and MATLAB-compatible scripts.

• Magma - Subscription-based computer algebra system for research in algebra, number theory, algebraic geometry, and combinatorics.

• MATLAB - Paid numerical computing environment by MathWorks.

History and Mathematics Education / Mathematical Software and Tools

• MacTutor History of Mathematics Archive - University of St Andrews archive of mathematician biographies, histories of mathematical topics, timelines, institutions, and related reference material.

• NRICH - Free curriculum-linked problems, investigations, articles, and teacher guidance from the University of Cambridge for learners aged 3 to 18.

Community and Further Reading / Journals and Magazines

• Bulletin of the American Mathematical Society - Expository articles on contemporary mathematical research, written in a way that gives insight to mathematicians who may not be experts in the particular topic.

• Notices of the American Mathematical Society - Publicizes activities of the Society and features surveys, reports, news, announcements, and opinions on industry trends, academia, and research.

• Chalkdust Magazine - Independent magazine for mathematically curious readers, with free expository articles, interviews, puzzles, and downloadable issues.

Community and Further Reading / Blogs

• ILoveMaths - Mathematics lessons and activities for Indian classes 6 to 12.

• 3Blue1Brown - Animated explanations of mathematics by Grant Sanderson.

• Math Is Fun - Lightweight lessons and reference pages for school mathematics.

Community and Further Reading / Related Curated Lists

• Scientific Computing (⭐1.6k) - Curated software for numerical analysis, scientific computing, meshing, solvers, and visualization.

• Optimization (⭐723) - Courses, books, notes, and software across mathematical optimization and operations research.

• Interactive Mathematics (⭐301) - Tools and libraries for building interactive mathematical explanations and explorations.

• AI for Mathematics (⭐78) - Research index covering AI-assisted mathematical reasoning, discovery, formal proof, and related datasets. Individual entries require independent review.

2. Awesome Zig

Network & Web / WebAssembly

• zwasm (⭐161) - From-scratch WebAssembly runtime in Zig. Full WebAssembly 3.0 with 100% spec conformance, WASI 0.1/0.2/0.3, and interpreter + JIT (arm64/x86_64) + AOT backends.

3. Awesome Audio Visualization

Experiments

• Master Pro Audio Analyzer Suite (⭐0) - 100% private, client-side Web Audio analyzer with 8192-FFT Spectrogram, RTA, and Phase Scope.

• Nutilz Audio Waveform Generator - Upload an MP3, WAV, OGG, M4A or FLAC file and instantly generate a customizable waveform visualization (bars, mirrored bars, or line) using the Web Audio API, downloadable as a PNG. Runs entirely in the browser, no upload.

• DjMirror Pulse - Real-time audio-reactive visuals and DMX lighting control for live DJ sets, as a standalone desktop application.

People to Follow

• Varun Maurya - Cloud & Media Systems Engineer, Solutions Architect, Hybrid AV/IT Infrastructure, Live Events & Studio Post-Production Audio Engineer

4. Awesome Zsh Plugins

Plugins / superconsole - Windows-only

• lumen (⭐0) - Deterministic command suggestions for ZSH — inline, on demand, no AI round-trip required.

Themes / superconsole - Windows-only

• emojify (⭐0) - Theme for displaying different types of emoji at the prompt. Includes decorators for git status, current directory and user@hostname.

• pond (⭐0) - A calm two-line oh-my-zsh theme in pastel greens and blues.

• pretty (⭐51) - Prompt written in rust with decorators for git state, branch, tag pointing at current commit, count of changed, newly-added, staged, conflicting files, number of files in the stash.

• vaporwave (⭐0) - Colorful with decorators for git status, python virtualenv, exit status of last command and time.

• weakline (⭐0) - a blazingly fast, lightweight, and modern prompt written in Go. Includes decorators for git status, current directory and python virtual environment.

5. Awesome Gemini Cli

Development Tools & Utilities

• Hexis (⭐58) - Git-backed platform for skills, tools, and context for AI agents, available to Gemini CLI through a remote OAuth MCP server.

6. Awesome Go

Networking / Network Utilities

• cavaliergopher/grab (⭐1.5k) — Download manager package ☆1,483

7. Awesome Cmake

Modules

• better.cmake - Collection of modern CMake extensions [[APACHE2]][APACHE-2.0]

8. Awesome Ruby

Error Handling

• Rails Error Dashboard (⭐88) - Self-hosted error tracking for Rails, running inside your app with no external services.

9. Free for Dev

Cloud management solutions

• Parsivex - Parsivex scans your AWS account for idle EC2, unattached EBS, oversized RDS, stale snapshots, NAT gateway overuse etc. Free tier provides a monthly scan for one AWS account and returns total monthly waste plus a category breakdown. Paid plans give access to itemized findings and scheduled re-scans.

Web Hosting

• Harvis.dev - Static site hosting via CLI (npx harvis) with no config files or build step. Includes free subdomain, free form submissions collections, GitHub Actions integration, CloudFlare CDN, free SSL.

10. Awesome Claude Code

Design & UI/UX / Obsidian

• Diagram Design (⭐12k) by Cathryn Lavery - Another welcome contribution to the domain of making Claude Code output look stylish, this collection of skills produces a variety of editorial diagrams in the form of self-contained HTML + SVG. Although I never thought I'd hear these words together, according to the author: "no Mermaid-slop."\       

Skills / Ralph Wiggum

• SuperSEO Skills (⭐251) by sanderbz - A nice package of Claude Skills focused on SEO workflows: page audits, content briefs, article writing, E-E-A-T audits, semantic gap analysis, and more. Each skill fetches the target page and reads the top-ranking competitors itself, so users don't paste in keyword exports or crawl reports.\       

11. Awesome Go

Database Tools

• filesql (⭐375) - Query CSV, TSV, LTSV, JSON, JSONL, Parquet, Excel, ACH, and Fedwire files with SQL through the database/sql API, backed by in-memory SQLite.

• sqly (⭐153) - Execute SQL against CSV, TSV, LTSV, JSON, Parquet, and Excel files in an interactive shell, backed by in-memory SQLite.

Financial

• eu-vat-rates-data-go (⭐1) - VAT rates and VAT number formats for 45 European countries, embedded at compile time and refreshed daily from the European Commission TEDB.

Markup Languages

• markdown (⭐135) - Markdown builder that generates GitHub Flavored Markdown and mermaid diagrams through method chaining.

12. Awesome Quant

Trading & Backtesting

• honest-signals (⭐1) - Python - Scores detected chart patterns against the pattern-free baseline for the same market, timeframe and horizon, reporting lift with cluster-robust confidence intervals instead of a hit rate against 50%.

• TolmachЁv Netcode SDK (⭐11) - CPP - Enterprise-grade deterministic state synchronization engine for MFT gateways and statistical arbitrage. Eliminates microsecond deltas locking order books via topological mathematics. Throughput >41.5M TPS, physical RTT 24.175 ns, atomic validation (0 CPU load). Website

• TraderHarness (⭐15) - Python - Contamination-resistant A-share backtesting environment for LLM trading agents with point-in-time masking, entity/date anonymization, fingerprinted replay, and trajectory (SFT) export.

Market Data & Data Sources

• Dados B3 - REST/MCP - Fundamental data API for the Brazilian stock exchange (B3): ROIC, ROE, margins, point-in-time multiples, public methodology, free tier.

Commercial & Proprietary Services

• Filings Flow - Free SEC 13F research web app covering 11,700+ institutional managers and 208,000+ filings from 2019 onward. Quarter-over-quarter position changes with share-based thresholds, confidential-treatment reveals badged, per-filing links to the EDGAR source document, and Excel export on every table. No account required.

13. Awesome Rust

Libraries / Data processing

• logisky/LogiSheets (⭐136) [logisheets-rs] - A new, modern spreadsheet engine that drives real products.

Libraries / Reverse engineering

• wakaru (⭐953) [wakaru] - JavaScript decompiler: unpacks webpack/esbuild/Metro/Browserify bundles into modules and reverses minifier and Babel/TypeScript output into readable code

• Next: Aug 12, 2026