Uppaal教程中gossip girl模型的boolean实现。 教程内的下载地址失效，就自己做了一下，integer以及其他实现略微修改下就行。 包含xml文件以及q文件。

docker-cl-example 示例项目展示了如何在 Docker 容器上运行/开发 Common Lisp Web 应用程序。 该存储库包括 2 种类型的项目。 在 Docker 上运行 Clack 应用程序（端口为5000 ） 使用 Qlot 管理 Common Lisp 库 允许在不重新启动容器的情况下重新加载 Web 服务器 (Woo) 在 Docker 上运行 Clack 应用程序（端口为5000 ） 使用 Qlot 管理 Common Lisp 库 允许在不重新启动容器的情况下重新加载Web服务器（Woo） 运行 RDBMS (PostgreSQL) 容器并允许从应用程序容器访问 运行 Swank 服务器（默认端口为4006 ） 在 GitHub Actions 上构建生产 Docker 镜像工作流文件在。 将生产 Docker 映像发布到 GitHub 容器

Xpdf 是用来处理和转换 PDF 的利器。项目中需要将 PDF 转换为图片，但是发现有的 PDF 文档转换缺失字体，而且下载 ttf 格式的字体也不起作用，于是到官方文档才发现还需要配置字库，而且官方给出的是 pfb 格式的字库，根据说明配置好后问题迎刃而解。压缩包附带语言包、语言包配置文件、官网下载的原文件，解压后可直接运行。

实现服务发现、流量监控、rpc调用

spring cloud alibaba 整合nacos、sentinel、dubbo、rocketmq

haskell-yesod-realworld-example-app：使用Haskell + Yesod构建的示例性现实应用程序

声学仿真

《Django项目实例》《Django 2 by Example》一书中的实例代码，安东尼奥著。

学习TG的案例操作，不错的资源。

“OPC UA客户端示例”演示了如何使用CODESYS OPC UA客户端的IEC 61131-3接口。它包含用于连接其他OPC UA服务器并与其他OPC UA服务器交换数据的功能块。 该示例还包含两个可视化内容，以通过用户界面操作引用的功能块并检查服务器证书。