Xeol：扫描容器镜像、文件系统和SBOM中的过期（EOL）软件和依赖项，提前发现安全风险。

支持多种扫描源，包括Docker、Podman、SBOM等；自动更新数据库，确保EOL信息实时准确；提供CLI工具，集成简单，适合CI/CD流程

Tidyplots：为科学论文打造整洁美观的图表。

简化复杂图表的创建流程，让科研绘图变得轻松；支持多种高级绘图功能，如堆叠条形图、小提琴图等；提供多种预设配色方案，满足不同学术场景需求

Z-Ant：让神经网络在微控制器上轻松部署和优化。

跨平台支持，适配ARM Cortex-M、RISC-V等多种架构；优化性能，支持量化、剪枝和硬件加速；高效内存管理，内存使用优化至极致

simple_GRPO：一个简单的 GRPO（Generative Reinforcement Learning for Policy Optimization）实现，旨在复现类似 r1 的大型语言模型（LLM）思维过程。

仅200行代码，依赖极少，快速上手；分离式参考模型，可在不同GPU上运行，节省显存；1小时内完成训练，快速观察到模型的“顿悟时刻”

Open-R1-Video：为视频理解任务引入R1范式，开源训练代码和数据，助力多模态模型的高效训练

仅用视频、查询和答案即可训练，无需额外标注；使用GRPO训练，显著提升模型推理能力；开源数据集包含4K视频，适配多种硬件环境

Frames of Mind: Animating R1's Thoughts：旨在通过将 R1 的思考链转换为文本，然后使用 OpenAI API 将文本转换为嵌入，并通过 t-SNE 序列绘制这些嵌入，来可视化 R1 的思考过程。

利用t-SNE技术将文本嵌入转化为动态图表，直观呈现AI的“思考路径”；提供连续思考步骤的距离分析，精准捕捉思维跳跃；支持多种问题类型的可视化，帮助理解AI的决策逻辑

为学术项目打造的优雅网页模板，用React和UIKit搭建，支持Markdown和KaTeX公式，轻松搞定学术项目展示。

仅需一个`template.yaml`文件，配置轻松搞定；自动部署到GitHub Pages，零配置；支持自定义主题，适配多种学术风格

Academic Project Page Template | #模板

从任何文本中提取知识图谱的AI工具

支持多种输入格式，包括纯文本和对话消息；自动分块处理长文本，支持高达5000字符的分块；聚类相似实体和关系，让知识图谱更简洁易懂

kg-gen | #工具

Lisa：一个用现代Common Lisp编写的高质量专家系统外壳，为复杂问题提供高效推理引擎。

基于Rete算法，解决多对多匹配难题，效率极高；支持多种Common Lisp实现，如SBCL、LispWorks等；近期完成代码优化，性能大幅提升