objectionary/reducing-programs-to-objects
LaTeX paper on how to reduce programs to EO objects
GitHub repository with 15 stars and 7 forks.
Language: TeX
Topics: eolang, latex, oop, paper
LaTeX paper on how to reduce programs to EO objects
GitHub repository with 15 stars and 7 forks.
Language: TeX
Topics: eolang, latex, oop, paper
2026-06-05: 15 stars and 7 forks.
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 618 stars and 96 forks.
Trending score: 1.32; stars gained: +24; forks gained: +6.
Language: TeX
a skill for rebuttal
GitHub repository with 169 stars and 5 forks.
Trending score: 1.31; stars gained: +23; forks gained: +1.
Language: TeX
锻造你的知识体系 | 考研·考公·专业课·科研·项目·竞赛通用笔记模板。LaTeX+Typst+Markdown三版本,7步模块化结构,6种场景模板,一键换色,开箱即用。
GitHub repository with 381 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
GitHub repository with 61 stars and 5 forks.
Trending score: 1.02; stars gained: +10; forks gained: +1.
Language: TeX
一键从论文生成高质量学术答辩PPT | AI-powered thesis defense slides generator | Claude Code & Codex Skill
GitHub repository with 124 stars and 5 forks.
Trending score: 1.01; stars gained: +11; forks gained: +0.
Language: TeX
Topics: academic, ai-tools, beamer, beamer-template, claude-code, codex
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
Proof of 𝜑-calculus confluence in Lean4
GitHub repository with 8 stars and 2 forks.
Trending score: 0.33; stars gained: +1; forks gained: +0.
Language: Lean
Topics: eolang, lean4, calculus, phi-calculus, proof
This Maven plugin converts Java Bytecode binary files to EOLANG programs that use the "opcode" atom
GitHub repository with 21 stars and 11 forks.
Trending score: 0.14; stars gained: +0; forks gained: +0.
Language: Java
Topics: bytecode, bytecode-interpreter, code-generation, code-optimization, eolang, java