Structured source of truth for Terence Tao's web content (book errata, rendered to GitHub Pages)
☆74Sep 23, 2026Updated this week
Alternatives and similar repositories for tao-web
Users that are interested in tao-web are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A collection of robust statistical tests in Julia☆19Mar 17, 2017Updated 9 years ago
- Package to build Cases for Power Systems Modeling☆17Updated this week
- Distribution System Simulator based on OpenDSS and OpenDSSDirect.py. Modern Syntax, DataFrames, Pint, Networkx, Algorithmic Agents.☆14Jan 21, 2022Updated 4 years ago
- Automatic textbook formalization of Grinberg Algebraic Combinatorics☆25Apr 1, 2026Updated 5 months ago
- Fast and reliable solver for the Optimal Power Flow Problem☆14Dec 12, 2024Updated last year
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- ☆30Jun 4, 2025Updated last year
- ☆14Jun 29, 2023Updated 3 years ago
- Tools for the analysis and visualization of PowerModels data and results☆17Dec 19, 2023Updated 2 years ago
- ☆24May 18, 2026Updated 4 months ago
- Tools for constructing and analyzing the incidence graph or matrix of variables and constraints in a JuMP model☆16Mar 6, 2026Updated 6 months ago
- Decomposition into Low-Rank and Sparse Matrices in Computer Vision☆14Mar 7, 2019Updated 7 years ago
- Tools to estimate Linear Time-Varying models in Julia☆19Aug 30, 2022Updated 4 years ago
- A group project with the goal of modeling traffic flow☆17Jun 6, 2012Updated 14 years ago
- This code can be used on a mobile robot for avoiding obstacles. This code was originally written for use with a Summit XL mobile robot fr…☆15Oct 21, 2016Updated 9 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Personal dotfiles and scripts for Linux machines.☆27Jun 21, 2026Updated 3 months ago
- A profiling tool to peek and profile the memory or cpu usage of a process☆12Jan 20, 2024Updated 2 years ago
- Powerflow for unbalanced three-phase power distribution systems with distributed generation☆25Oct 19, 2022Updated 3 years ago
- An extension package of PowerModels.jl for Stochastic Power System Optimization☆25Oct 14, 2025Updated 11 months ago
- ☆11Nov 26, 2014Updated 11 years ago
- Jupyter notebook series for machine learning and deep learning.☆14Jul 20, 2021Updated 5 years ago
- NOI.PH's Online Judge☆14Sep 3, 2026Updated 3 weeks ago
- Algorithms for Learning Graphical Models☆25Jan 25, 2023Updated 3 years ago
- A .NET tool that allows you to easily change the Visual Studio version information in a solution file using a Visual Studio version numbe…☆12Updated this week
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- particle system with pathfinding☆18Sep 8, 2014Updated 12 years ago
- Muon in Int8 Precision Made Possible☆20Jun 18, 2026Updated 3 months ago
- Cross platform Windows PDB Reader for .NET Core to read windows pdb☆18Mar 14, 2020Updated 6 years ago
- JS processor powered by plugins part of the @unifiedjs collective☆24Jul 28, 2025Updated last year
- MSBuild task that merges selected referenced assemblies into your project's output assembly at build time.☆11Apr 20, 2026Updated 5 months ago
- convert MSBuild project files to C# pseudo-code☆10Nov 17, 2024Updated last year
- This alternative to Zoom offers a secure, end-to-end encrypted way to video chat from the safety of your terminal.☆32Apr 17, 2020Updated 6 years ago
- Syntax highlighting for the CodeMirror code editor☆14Mar 27, 2022Updated 4 years ago
- ☆31Apr 3, 2026Updated 5 months ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- ☆13Nov 21, 2025Updated 10 months ago
- A Twitter client app for Fitbit OS☆11Jan 3, 2023Updated 3 years ago
- Utilities for working with streams and pipes☆12Sep 17, 2026Updated last week
- Methods to generate matrix representations of power systems matrices☆31Updated this week
- Copy-on-write fork()-like memory dump using Process Snapshotting APIs☆13Jul 23, 2017Updated 9 years ago
- ANE accelerated embedding models!☆20Dec 11, 2024Updated last year
- ☆12Mar 14, 2023Updated 3 years ago