Lists (9)
Stars
Claude Code skill implementing Manus-style persistent markdown planning — the workflow pattern behind the $2B acquisition.
Rigourous evaluation of LLM-synthesized code - NeurIPS 2023 & COLM 2024
A minimalist SOTA LaTeX OCR model with only 20M parameters, running in browser. Full training pipeline available for self-reproduction. | 超轻量SOTA LaTeX公式识别模型，仅20M参数量，可在浏览器中运行。训练全流程代码开源，以便自学复现。
Introduction to Machine Learning Systems
Unified Efficient Fine-Tuning of 100+ LLMs & VLMs (ACL 2024)
给PDF添加大纲、目录。 Add or edit outline/contents/bookmark to PDF
A little web app that helps you copy+paste syntax-highlighted code into slide decks.
Pympress is a simple yet powerful PDF reader designed for dual-screen presentations
[LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode.
LLVM test suite benchmarks (260 benchmarks - 36 test suites)
a (nearly) no-CSS, fast, minimalist Hugo theme ported from riggraz/no-style-please.
A Modern Hugo Theme with Multiple Color Schemes - Built on TailwindCSS 4.
A Hugo theme focused on simplicity and readability, and content discovery.
Andersen's inclusion-based pointer analysis re-implementation in LLVM
Synthesis from Inductive specification eMpowered by Bidirectional Abstract Interpretation
EVMLiSA: an abstract interpretation-based static analyzer for EVM bytecode
An LLVM IR dataset for data-driven compiler optimization research