knowsys/TheoLog

Vorlesungsunterlagen "Theoretische Informatik und Logik", Fakultät Informatik, TU Dresden

GitHub repository with 27 stars and 25 forks.

Language: TeX

Topics: complexity, first-order-logic, german, teaching, teaching-materials, theoretical-computer-science, turing-machine

Open provider repository

Latest metric snapshot

2026-06-04: 27 stars and 25 forks.

Trending in TeX

  1. 2. PaperGuru-AI/PaperGuru-Benchmark

    Lifecycle-Aware Memory for long-horizon LLM agents — 66.05% on PaperBench, 94.66% on SurveyBench, 10 peer-reviewed acceptances at FSE/ICML/TOSEM/AEI/ICoGB

    GitHub repository with 607 stars and 93 forks.

    Trending score: 1.41; stars gained: +30; forks gained: +1.

    Language: TeX

  2. 3. xiyin137/QFT

    GitHub repository with 55 stars and 4 forks.

    Trending score: 1.39; stars gained: +23; forks gained: +2.

    Language: TeX

  3. 4. xiongqi123123/awesome-rebuttal

    a skill for rebuttal

    GitHub repository with 158 stars and 4 forks.

    Trending score: 1.37; stars gained: +26; forks gained: +1.

    Language: TeX

  4. 5. SiriusFzh/NovaForge

    锻造你的知识体系 | 考研·考公·专业课·科研·项目·竞赛通用笔记模板。LaTeX+Typst+Markdown三版本,7步模块化结构,6种场景模板,一键换色,开箱即用。

    GitHub repository with 373 stars and 12 forks.

    Trending score: 1.21; stars gained: +19; forks gained: +0.

    Language: TeX

    Topics: latex-template, note-taking, novaforge, study-notes, template

  5. 6. Faust-Donf/beamer-academic

    一键从论文生成高质量学术答辩PPT | AI-powered thesis defense slides generator | Claude Code & Codex Skill

    GitHub repository with 120 stars and 5 forks.

    Trending score: 0.98; stars gained: +10; forks gained: -1.

    Language: TeX

    Topics: academic, ai-tools, beamer, beamer-template, claude-code, codex

Trending topic: complexity

  1. 1. imstillashish/orthex

    Most developers memorize LeetCode solutions instead of understanding their code. Orthex is a browser extension that injects a real-time AI code reviewer right into their LeetCode workspace, instantly analyzing and visualizing time and space complexity.

    GitHub repository with 7 stars and 0 forks.

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

    Language: JavaScript

    Topics: analysis, complexity, leetcode, leetcode-practice, leetcode-solutions, space

  2. 2. projectwallace/color-sorter

    Sort CSS colors by hue, then by saturation

    GitHub repository with 79 stars and 3 forks.

    Trending score: 0.05.

    Language: TypeScript

    Topics: css, color-sorting, colors, analytics, stats, complexity