Qiaosen Liu's repositories
aadl2uppaal
A Tool-Chain for Quantitative Evaluation of Uncertainty-Aware Hybrid AADL Designs
AADLib
Library of AADL models
allan-variance
Simple allan variance in Python
ardupilot-4.3.0
ArduPlane, ArduCopter, ArduRover, ArduSub source
clang-px4
PX4 Pro Autopilot Software
Cypis
Automated UPPAAL Model Reduction Tool in Java
Data-Structure
<数据结构>(C语言版)清华大学出版社,严蔚敏
front-templates
前端页面模板,表单、表格等样式
grammars-v4
Grammars written for ANTLR v4; expectation that the grammars are free of actions.
hello-algo
《Hello 算法》:动画图解、一键运行的数据结构与算法教程,支持 Java, C++, Python, Go, JS, TS, C#, Swift, Rust, Dart, Zig 等语言。
it-ebooks-cn
计算机电子书pdf整理
llvm-14.0.0
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github pull requests at this moment. Please submit your patches at http://reviews.llvm.org.
llvm-ir-cmake-utils
LLVM IR CMake utils for bitcode file manipulation by opt and friends
LSM-based-RBAC
基于角色访问控制的Linux安全模块
LLVM-embedded-toolchain-for-Arm
A project dedicated to building LLVM toolchain for 32-bit Arm embedded targets.
ocarina
AADL model processor: mappings to code (C, Ada); Petri Nets; scheduling tools (MAST, Cheddar); WCET; REAL
px4-clang
Build scripts for containers and virtual machines running various PX4 setups, like SITL with ROS.
qgroundcontrol
Cross-platform ground control station for drones (Android, iOS, Mac OS, Linux, Windows)
SCENT
TCP Side Channel Excavation Tool
uppaal
EMF-based tooling for the UPPAAL model checker