Programming
Software development: programming languages, coding, libraries and frameworks, software engineering and architecture, source control, developer tools, databases, and infrastructure.
-
Programming with algebras youtube.com
-
Scrap your boilerplate: a practical design pattern for generic programming, 2003, SPJ et al. research.microsoft.com
-
Recursion Schemes in JavaScript and Flow medium.com
-
Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire, 1991, Meijer et al. maartenfokkinga.github.io
-
The Haskell Cast haskellcast.com
-
Algorithms and Complexity www2.math.upenn.edu
H. Wilf.
-
SymPy sympy.org
Python library for symbolic algebra, calculus, equation solving, matrices, and code generation.
-
Rocq Prover rocq-prover.org
Open-source interactive theorem prover and dependently typed programming language for mechanized mathematics and verified software.
-
Essential Coding Theory ocw.mit.edu
Free graduate MIT course on error-correcting codes, Hamming spaces, and the algebraic and complexity aspects of coding theory.
-
Information Theory ocw.mit.edu
Free graduate MIT course on entropy, source and channel coding, rate distortion, Gaussian channels, feedback, and multi-user information theory.
-
A=B math.upenn.edu
Marko Petkovšek, Herbert Wilf, and Doron Zeilberger on algorithms for proving hypergeometric identities.
-
Maple maplesoft.com
Paid computer algebra and numerical mathematics system for symbolic computation, visualization, and programming.
-
Graph Theory : Interactive Algorithm Visualizer | Graph Theory Learning Platform learngraphtheory.org
Hadjoudj Mohammed Islam.
-
Lean-related Conferences and Events leanprover-community.github.io
Maintained calendar and archive of conferences, workshops, and tutorials about Lean, mathlib, and formalized mathematics.
-
Courses Using Lean leanprover-community.github.io
Maintained, filterable index of university courses that teach Lean or use it for mathematics, logic, programming, and formal verification.
-
Lean lean-lang.org
Open-source interactive theorem prover and programming language based on dependent type theory, used for formal mathematics and software verification.
-
Information Theory, Inference, and Learning Algorithms inference.org.uk
David J. C. MacKay.
-
Free Math freemathapp.org
Free, open-source software for recording, organizing, and reviewing digital mathematics homework without solving the problems automatically.
-
Fundamentals of Numerical Computation fncbook.com
Online textbook by Tobin Driscoll and Richard Braun with Julia, MATLAB, and Python editions covering core numerical methods for linear systems, approximation, root finding, ODEs, and PDEs.
-
Error Correction Zoo errorcorrectionzoo.org
Maintained reference database of classical, quantum, and hybrid error-correcting codes, with definitions, relationships, and references.
-
Advanced Linear Algebra: Foundations to Frontiers cs.utexas.edu
Online text by Robert van de Geijn and Margaret Myers on algorithms for advanced numerical linear algebra.
-
Type Theory and Functional Programming cs.kent.ac.uk
Simon Thompson.
-
Screaming Frog SEO Spider Tool & Crawler Software screamingfrog.co.uk
The Screaming Frog SEO Spider is a small desktop program (PC or Mac) which crawls websites links, images, CSS, script and apps from an SEO perspective.
-
WordPress Plugins: SEO lynda.com
Drive more visitors to your WordPress site by performing search engine optimization, or SEO, with the help of two powerful plugins. With Morten Rand-Hendriksen by Lynda.com.
-
SEO Tools Fundamentals lynda.com
Learn about today's top SEO tools for technical optimization, content optimization, offsite optimization, and competitive research. With Brad Batesole by Lynda.com.
-
Keyword Clarity keywordclarity.io
Free keyword analytics tool that allows you to visualize and group keyword metrics with tree diagrams. The tool works with data from the Google Search Console API and CSVs.
-
Structured Data Testing Tool developers.google.com
Paste in your rich snippets or url to test it.
-
Reinforcement Learning: An Introduction web.stanford.edu
Sutton and Barto's foundational treatment of reinforcement learning concepts and algorithms.
-
LLM Engineer's Handbook packtpub.com
LLMOps, fine-tuning, serving, and production workflows.
-
Codex Orchestration with Symphony openai.com
A reference architecture that turns project work into isolated, observable coding-agent runs.
-
Harness Engineering openai.com
OpenAI's field report on building software with coding agents, repository constraints, automated checks, and human steering.
-
Blueprint github.com
An open-source set of focused agent skills for designing, implementing, testing, reviewing, and shipping software changes.
-
GitHub Copilot coding agent docs.github.com
An asynchronous agent that works from GitHub issues and opens pull requests.
-
OpenHands docs.all-hands.dev
An open-source platform for running software development agents locally or in the cloud.
-
AI Engineer aiengineer.co
A paid program for agentic coding and building, testing, and shipping production AI systems.
-
Data Structures and Algorithms people.mpi-inf.mpg.de
-
Data Structures, 2014 people.eecs.berkeley.edu
-
Efficient Algorithms and Intractable Problems, 2001 people.eecs.berkeley.edu
-
Algorithm Design pearsonhighered.com
-
Kattis open.kattis.com
-
Data Structures and Algorithms online-learning.harvard.edu
-
-
Design and Analysis of Algorithms, 2015 ocw.mit.edu
-
Introduction to Algorithms mitpress.mit.edu
-
Grokking Algorithms manning.com
-
Learneroo Algorithms Tutorials learneroo.com
-
Algorithm course for smart programming inflearn.com
-
HackerRank hackerrank.com
-
Fundamentals of Algorithms geeksforgeeks.org
-
Thinking critically about and researching algorithms futuredata.stanford.edu
- next page of items loading…
