functionlulu's Stars
icsharpcode/ILSpy
.NET Decompiler with support for PDB generation, ReadyToRun, Metadata (&more) - cross-platform!
bzhan/holpy
Implementation of higher-order logic in Python
AsgerHB/Shielded-Learning-for-Hybrid-Systems
arieleiz/UPPAAL2C
Generate C code from an UPPAAL model
danicc097/RailwaySim
Passenger train and locomotive route simulation tool
naumovvs/railway-transport-system
Tools for simulations of a railway transport system
daliwei/RailDelay
Railway network delay simulation tool
HVG-ideas/Reliability-Analysis-Of-Autonomous-UAV-Communication-Using-Statistical-Model-Checking
This Git repositry includes the xml file used in the Reliability Analysis Of Autonomous UAV Communication Using Statistical Model Checking paper. To open the file please use the uppaal-4.1.20-stratego-7 tool. The file include the templates for all the models used in our framework.
davidebasile/FORTE2020
This is the Uppaal Stratego model published at FORTE2020
binary-husky/gpt_academic
为GPT/GLM等LLM大语言模型提供实用化交互接口,特别优化论文阅读/润色/写作体验,模块化设计,支持自定义快捷按钮&函数插件,支持Python和C++等项目剖析&自译解功能,PDF/LaTex论文翻译&总结功能,支持并行问询多种LLM模型,支持chatglm3等本地模型。接入通义千问, deepseekcoder, 讯飞星火, 文心一言, llama2, rwkv, claude2, moss等。