functionlulu

functionlulu's Stars

• icsharpcode/ILSpy

  .NET Decompiler with support for PDB generation, ReadyToRun, Metadata (&more) - cross-platform!

  Language:C#21.5k3.4k

• bzhan/holpy

  Implementation of higher-order logic in Python

  Language:SMT566

• AsgerHB/Shielded-Learning-for-Hybrid-Systems

  Language:C3

• arieleiz/UPPAAL2C

  Generate C code from an UPPAAL model

  Language:C#51

• danicc097/RailwaySim

  Passenger train and locomotive route simulation tool

  Language:Python123

• naumovvs/railway-transport-system

  Tools for simulations of a railway transport system

  Language:C#11

• daliwei/RailDelay

  Railway network delay simulation tool

  Language:C#1

• 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.

  Language:q11

• davidebasile/FORTE2020

  This is the Uppaal Stratego model published at FORTE2020

  1

• binary-husky/gpt_academic

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

  Language:Python65.1k8k