Spring Cloud Alibaba provides a one-stop solution for application development for the distributed solutions of Alibaba middleware.

An introduction to lambda calculus in Chinese, including an interpreter in Haskell.

RedisDesktopManager Windows版本

springboot2.0开发的个人网站，集成了：个人首页，个人博客，个人作品

AHU Unofficial Thesis LaTeX Template

为GPT/GLM等LLM大语言模型提供实用化交互接口，特别优化论文阅读/润色/写作体验，模块化设计，支持自定义快捷按钮&函数插件，支持Python和C++等项目剖析&自译解功能，PDF/LaTex论文翻译&总结功能，支持并行问询多种LLM模型，支持chatglm3等本地模型。接入通义千问, deepseekcoder, 讯飞星火, 文心一言, llama2, rwkv, claude2, m…

基于SSM（Spring+SpringMVC+MyBatis）框架实现的后台员工管理系统。前端使用bootstrap-3.3.7设计样式，ajax发送请求。

尚硅谷SSM员工管理系统

Spring Boot学习系列

ProVerif-ATP - Combining ProVerif and Automated Theorem Provers for Security Protocol Verification

The Z3 Theorem Prover

Image Polygonal Annotation with Python (polygon, rectangle, circle, line, point and image-level flag annotation).

Another pytorch implementation of FCN (Fully Convolutional Networks)

PyTorch Implementation of Fully Convolutional Networks, for VGG and ResNet backbones.

deep learning for image processing including classification and object-detection etc.