uw-math-ai/TheoremSearch

Semantic Search Over 9 million Mathematical Theorems

GitHub repository with 13 stars and 1 forks.

Language: Jupyter Notebook

Topics: llm, mathematics, natural-language, search-engine

Open provider repository

Latest metric snapshot

2026-06-05: 13 stars and 1 forks.

Similar repositories

  1. 1. GoogleCloudPlatform/generative-ai

    Sample code and notebooks for Generative AI on Google Cloud, with Gemini Enterprise Agent Platform

    GitHub repository with 16,981 stars and 4,249 forks.

    Trending score: 1.87; stars gained: +8; forks gained: +6.

    Language: Jupyter Notebook

    Topics: generative-ai, llm, vertex-ai, langchain, gemini, gemini-api

  2. 2. walkinglabs/modern-llm-notebook

    A hands-on course for building modern LLMs from scratch in PyTorch, with 23 runnable Jupyter Notebooks covering tokenizers, attention, MoE, RLHF, inference, evaluation, and distillation.

    GitHub repository with 37 stars and 9 forks.

    Trending score: 0.87; stars gained: +1; forks gained: +1.

    Language: Jupyter Notebook

    Topics: ai, attention, finetune, gpt, large-language-models, llm

  3. 3. towardsai/ai-tutor-rag-system

    This is a repository for the course "From Beginner to LLM Developer" by Towards AI.

    GitHub repository with 236 stars and 67 forks.

    Trending score: 0.30; stars gained: +1; forks gained: +0.

    Language: Jupyter Notebook

    Topics: agent, agentic, agentic-ai, agents, ai, langchain

  4. 4. betagouv/ComparIA

    Open source LLM arena created by the French Government

    GitHub repository with 73 stars and 16 forks.

    Trending score: 0.10; stars gained: +0; forks gained: +0.

    Language: Jupyter Notebook

    Topics: arena, fastapi, gradio, llm, svelte

  5. 5. Tuesdaythe13th/L4BYR1NTHagentevaluations

    L4BYR1NTH: ARTIFEX Safety Evals

    GitHub repository with 6 stars and 0 forks.

    Trending score: 0.05; stars gained: +0; forks gained: +0.

    Language: Jupyter Notebook

    Topics: agentic, ai, benchmarking, benchmarks, evals, evaluation-framework

  6. 6. rasbt/reasoning-from-scratch

    Implement a reasoning LLM in PyTorch from scratch, step by step

    GitHub repository with 4,422 stars and 647 forks.

    Trending score: 0.04; stars gained: +0; forks gained: +0.

    Language: Jupyter Notebook

    Topics: ai, artificial-intelligence, deep-learning, large-language-models, llms, machine-learning

Trending in Jupyter Notebook

  1. 1. NVIDIA/cosmos

    NVIDIA Cosmos is an open platform of world models, datasets, and tools that enables developers to build Physical AI for robots, autonomous vehicles, smart infrastructure, and more.

    GitHub repository with 9,194 stars and 588 forks.

    Trending score: 2.37; stars gained: +326; forks gained: +20.

    Language: Jupyter Notebook

  2. 2. GoogleCloudPlatform/generative-ai

    Sample code and notebooks for Generative AI on Google Cloud, with Gemini Enterprise Agent Platform

    GitHub repository with 16,981 stars and 4,249 forks.

    Trending score: 1.87; stars gained: +8; forks gained: +6.

    Language: Jupyter Notebook

    Topics: generative-ai, llm, vertex-ai, langchain, gemini, gemini-api

  3. 3. DataTalksClub/llm-zoomcamp

    LLM Zoomcamp - a free online course about real-life applications of LLMs. In 10 weeks you will learn how to build an AI system that answers questions about your knowledge base.

    GitHub repository with 5,614 stars and 1,015 forks.

    Trending score: 1.87; stars gained: +93; forks gained: +13.

    Language: Jupyter Notebook

  4. 4. Biohub/esm

    GitHub repository with 2,685 stars and 332 forks.

    Trending score: 1.82; stars gained: +48; forks gained: +12.

    Language: Jupyter Notebook

  5. 5. nerdai/llm-agents-from-scratch

    Build LLM agents and multi-agent systems from scratch, with MCP, Skills, and A2A

    GitHub repository with 131 stars and 45 forks.

    Trending score: 1.70; stars gained: +32; forks gained: +14.

    Language: Jupyter Notebook

  6. 6. openai/openai-cookbook

    Examples and guides for using the OpenAI API

    GitHub repository with 73,988 stars and 12,525 forks.

    Trending score: 1.57; stars gained: +24; forks gained: +12.

    Language: Jupyter Notebook

    Topics: openai, chatgpt, gpt-4, openai-api

Trending topic: llm

  1. 1. NousResearch/hermes-agent

    The agent that grows with you

    GitHub repository with 181,855 stars and 31,199 forks.

    Trending score: 5.95; stars gained: +1,867; forks gained: +361.

    Language: Python

    Topics: ai, ai-agent, ai-agents, anthropic, chatgpt, claude

  2. 2. affaan-m/ECC

    The agent harness performance optimization system. Skills, instincts, memory, security, and research-first development for Claude Code, Codex, Opencode, Cursor and beyond.

    GitHub repository with 207,683 stars and 31,870 forks.

    Trending score: 5.86; stars gained: +3,345; forks gained: +536.

    Language: JavaScript

    Topics: ai-agents, anthropic, claude, claude-code, developer-tools, llm

  3. 3. esengine/DeepSeek-Reasonix

    DeepSeek-native AI coding agent for your terminal. Engineered around prefix-cache stability — leave it running.

    GitHub repository with 18,328 stars and 1,090 forks.

    Trending score: 5.71; stars gained: +1,388; forks gained: +87.

    Language: Go

    Topics: agent, agent-framework, ai-agent, ai-coding, cli, coding-agent

  4. 4. chopratejas/headroom

    Compress tool outputs, logs, files, and RAG chunks before they reach the LLM. 60-95% fewer tokens, same answers. Library, proxy, MCP server.

    GitHub repository with 13,768 stars and 870 forks.

    Trending score: 5.69; stars gained: +2,829; forks gained: +175.

    Language: Python

    Topics: agent, ai, anthropic, compression, context-engineering, context-window

  5. 5. rohitg00/ai-engineering-from-scratch

    Learn it. Build it. Ship it for others.

    GitHub repository with 28,622 stars and 4,680 forks.

    Trending score: 5.32; stars gained: +1,261; forks gained: +238.

    Language: Python

    Topics: agents, ai, ai-agents, ai-engineering, computer-vision, course

  6. 6. rtk-ai/rtk

    CLI proxy that reduces LLM token consumption by 60-90% on common dev commands. Single Rust binary, zero dependencies

    GitHub repository with 59,069 stars and 3,636 forks.

    Trending score: 4.96; stars gained: +654; forks gained: +44.

    Language: Rust

    Topics: agentic-coding, ai-coding, anthropic, claude-code, cli, command-line-tool