你好，世界！ 我已经将许多个人项目从GitHub移至个人Git。 在查看我的其余投资组合 :telescope: 我目前正在使用类别理论来改善科学知识和模型的表示形式 :speech_balloon: 向我询问有关组织和我们的科学建模框架生态系统的信息 :high_voltage: 有趣的事实：我与GA共同拥有 ，这是的鸡尾酒餐饮服务 :closed_mailbox_with_raised_flag: 我的联系信息可以在上找到 与我联系： 语言和工具： :high_voltage: