Theory
1,949 items in 14 lists
-
Gemini CLI github.com
An open-source terminal agent built around Gemini and extensible tools.
-
openai/codex github.com
Codex CLI is a coding agent from OpenAI that runs locally.
-
docling github.com
Document parsing and conversion for AI applications.
-
Cline github.com
An open-source coding agent available as an editor extension, CLI, and SDK.
-
Tech Interview Handbook github.com
-
Software Engineering technical interviews github.com
-
-
eugeneyan/applied-ml GitHub repository github.com
-
12-Factor Agents github.com
Practical principles for building controllable LLM applications around deterministic software.
-
OpenAI Evals github.com
An open-source framework and registry for evaluating language models and systems.
-
Services Engineering Reading List github.com
-
pytorch-grad-cam github.com
2021. Class Activation Map methods implemented in Pytorch, with many elegant features.
-
OSSU Math github.com
Free, prerequisite-ordered self-study curriculum modeled on the mathematics requirements of an undergraduate degree.
-
Tangle github.com
-
Elementary Algorithms github.com
-
Algo Deck github.com
-
AlphaGeometry github.com
Open research implementation combining learned guidance with symbolic deduction for olympiad geometry problems.
-
runmat-org/runmat github.com
[runmat] - A runtime for MATLAB-syntax numerical programs, with GPU acceleration through wgpu.
-
Tech Interview Cheat Sheet github.com
-
mathlib github.com
Community-maintained mathematical library for Lean 4, with formalized theories, proof tactics, programming infrastructure, and generated documentation.
-
Jekyll SEO Tag github.com
A Jekyll plugin to add metadata tags for search engines and social networks to better index and display your site's content.
-
SEOstats github.com
SEOstats is a powerful open source PHP library to request a bunch of SEO relevant metrics.
-
Matryoshka github.com
-
MIT OpenCourseWare Lectures on Linear Algebra (18.06) as Jupyter Notebooks github.com
Juan Klopper.
-
andyscott/droste github.com
-
recursion-schemes github.com
-
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.
- next page of items loading…
