Pinned Loading

1. eventB-Soton/eventB-Soton.github.io eventB-Soton/eventB-Soton.github.io Public

   Event-B Soton Organisation page

   CSS 2

2. lstEventB lstEventB Public

   Forked from eventB-Soton/lstEventB

   LaTeX package for listing Event-B code

   TeX

3. gpt_academic gpt_academic Public

   Forked from binary-husky/gpt_academic

   为GPT/GLM提供图形交互界面，特别优化论文阅读润色体验，模块化设计支持自定义快捷按钮&函数插件，支持代码块表格显示，Tex公式双显示，新增Python和C++项目剖析&自译解功能，PDF/LaTex论文翻译&总结功能，支持并行问询多种LLM模型，支持清华chatglm等本地模型。兼容

   Python

4. Research_Notes_CCZU Research_Notes_CCZU Public