Theory
1,949 items in 14 lists
-
recursion-scheme-talk github.com
-
Neo github.com
An open-source, workflow-first terminal coding agent with subagents, skills, sandboxed tools, and multiple model providers.
-
leetcode-py github.com
-
AI-Assisted Mathematical Discovery github.com
Open thirteen-week course with notes, notebooks, exercises, and case studies on coding agents, machine learning, language models, reinforcement learning, and experimental mathematical research.
-
miniF2F github.com
Cross-system benchmark of formalized olympiad, high-school, and undergraduate problems for evaluating automated theorem provers.
-
HUST Online Judge System github.com
-
dada github.com
-
recursion_schemes github.com
-
Generative Modeling Explained github.com
Statistical Machine Learning Tutorials, 2022. This tutorial on generative modeling is in part of Statistical Machine Learning Tutorial by Ying Nian Wu at UCLA Statistics. The tutorial goes over the key equations and algorithms for learning recent generative models, including…
-
purescript-matryoshka github.com
-
MathFlow github.com
C# math expression library with symbolic computation (differentiation, simplification, equation solving).
-
Wolfram Alpha wolframalpha.com
Computational knowledge engine for evaluating expressions, plotting functions, and answering structured queries. Some advanced features require a paid plan.
-
RichSnippets schema.org
Markup your code with rich snippets, they show up on the search results page.
-
Matomo matomo.org
An open analytics platform.
-
Algorithms Visualization bost.ocks.org
-
Khan Academy Algorithms khanacademy.org
-
HackerEarth hackerearth.com
is a commercial platform for sourcing, assessing, interviewing, and upskilling developers.
-
Continue continue.dev
Open-source AI code assistant. Connect any model and any context to create custom autocomplete and chat experiences inside the IDE. #opensource
-
aider aider.chat
AI pair programming in your terminal, supporting multiple LLM providers. #opensource
-
Deep Learning deeplearningbook.org
Yet halfway through the book, it contains satisfying math content on how to think about actual deep learning.
-
Convnet.js cs.stanford.edu
-
Colah's Blog colah.github.io
Blog for understanding Neural Networks!
-
LeetCode leetcode.com
-
Webpagetest webpagetest.org
Web Page Test gives you an overall performance waterfall as well as rendering timeline for sites. It also provides critical insight into time to first byte and what could be holding back web page performance.
-
AwesomeTechStack awesometechstack.com
Website Tech Stack Analyzer
-
Google Analytics google.com
Freemium web analytics service offered by Google.
-
OuiSEO github.com
An open-source bookmarklet that shows you on-page SEO and social meta data information.
-
Hybrid Automata Library github.com
Java library for hybrid modeling combining agent-based and partial-differential equation components.
-
Intuitive Physics Reading List github.com
GitHub. A reading list on intuitive physics, maintained actively by Shiqian Li.
-
static-land-recursion-schemes github.com
-
Katalyst github.com
-
recursion github.com
-
Linkbuilding Spider github.com
A PHP project to check if websites are linking to your website.
-
A Primer on Bezier Curves pomax.github.io
-
Sight And Light ncase.me
How to create 2D visibility / shadow effects for your game. [Source]
-
The Nature of Code natureofcode.com
-
Vamonos rosulek.github.io
-
Domain-Specific Languages martinfowler.com
Pearson Education, 2010. [All Versions]. [Domain-Specific Languages Guide]. When carefully selected and used, Domain-Specific Languages (DSLs) may simplify complex code, promote effective communication with customers, improve productivity, and unclog development bottlenecks. In…
-
Game of Life en.wikipedia.org
Two-dimensional cellular automaton with emergent life-like patterns.
-
MathOverflow mathoverflow.net
Questions and answers for professional mathematicians.
-
Mathematics Stack Exchange math.stackexchange.com
Community questions and answers about mathematics problems and proofs.
-
Immersive Linear Algebra immersivemath.com
J. Ström, K. Åström, and T. Akenine-Möller.
-
Desmos desmos.com
Browser-based graphing calculator with geometry, tables, statistics, and classroom activities.
-
CVXPY cvxpy.org
Open-source Python modeling language for convex, geometric, quasiconvex, and related optimization problems.
-
Deep Learning: Foundations and Concepts bishopbook.com
A probability-grounded treatment by Christopher and Hugh Bishop.
-
Effective Context Engineering for AI Agents anthropic.com
How to select, structure, and manage the context available to long-running agents.
-
Building Effective Agents anthropic.com
Anthropic's practical patterns and tradeoffs for agentic systems.
-
Data Structure Visualizations cs.usfca.edu
-
Code.org code.org
Every student in every school should have the opportunity to learn computer science.
-
Algomation algomation.com
- next page of items loading…
