karlstroetmann/Logic

Hier finden Sie die Unterlagen zu der Vorlesung "Theoretische Informatik I", die sich im wesentlichen mit der Logik befasst. Die Beispiele sind in der Sprache Python implementiert.

GitHub repository with 54 stars and 41 forks.

Language: TeX

Topics: logic, python, z3-prover

Open provider repository

24h trend summary

Trending score 0.05, activity score 0.05, stars gained +0, forks gained +0.

Latest metric snapshot

2026-06-05: 54 stars and 41 forks.

Similar repositories

  1. 1. karlstroetmann/Logic

    Hier finden Sie die Unterlagen zu der Vorlesung "Theoretische Informatik I", die sich im wesentlichen mit der Logik befasst. Die Beispiele sind in der Sprache Python implementiert.

    GitHub repository with 54 stars and 41 forks.

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

    Language: TeX

    Topics: logic, python, z3-prover

Trending in TeX

  1. 1. 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 619 stars and 96 forks.

    Trending score: 1.32; stars gained: +24; forks gained: +6.

    Language: TeX

  2. 2. xiongqi123123/awesome-rebuttal

    a skill for rebuttal

    GitHub repository with 175 stars and 5 forks.

    Trending score: 1.31; stars gained: +23; forks gained: +1.

    Language: TeX

  3. 3. SiriusFzh/NovaForge

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

    GitHub repository with 384 stars and 13 forks.

    Trending score: 1.07; stars gained: +13; forks gained: +1.

    Language: TeX

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

  4. 4. xiyin137/QFT

    GitHub repository with 63 stars and 5 forks.

    Trending score: 1.02; stars gained: +10; forks gained: +1.

    Language: TeX

  5. 5. Faust-Donf/beamer-academic

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

    GitHub repository with 125 stars and 6 forks.

    Trending score: 1.01; stars gained: +11; forks gained: +0.

    Language: TeX

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

  6. 6. gulucaptain/acmmm_rebuttal_template

    Latex template for ACM conference/Journal rebuttal.

    GitHub repository with 86 stars and 5 forks.

    Trending score: 0.91; stars gained: +8; forks gained: +0.

    Language: TeX

Trending topic: logic

  1. 1. hneemann/Digital

    A digital logic designer and circuit simulator.

    GitHub repository with 5,739 stars and 576 forks.

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

    Language: Java

    Topics: circuit, digital-circuits, education, logic, logic-gates, logisim

  2. 2. karlstroetmann/Logic

    Hier finden Sie die Unterlagen zu der Vorlesung "Theoretische Informatik I", die sich im wesentlichen mit der Logik befasst. Die Beispiele sind in der Sprache Python implementiert.

    GitHub repository with 54 stars and 41 forks.

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

    Language: TeX

    Topics: logic, python, z3-prover

  3. 3. antoineportes/Working-class-filter-design

    Experimental pedagogy: I don't teach, I learn and document along the way. Anyone can join.

    GitHub repository with 17 stars and 0 forks.

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

    Topics: complex-numbers, filter-design, fourier-transform, laplace-transform, signal-processing, bilinear-transform

  4. 4. diegojromerolopez/djbdd

    Java BDD implementation based on hashmaps.

    GitHub repository with 7 stars and 0 forks.

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

    Language: Java

    Topics: java, binary-decision-diagrams, genetic-algorithm, reduction, heuristics, logic