Lqs66

Pinned Repositories

aadl2uppaal
A Tool-Chain for Quantitative Evaluation of Uncertainty-Aware Hybrid AADL Designs
Language:Java0 0 00
AADLib
Library of AADL models
Language:Shell00
allan-variance
Simple allan variance in Python
Language:Jupyter Notebook00
ardupilot-4.3.0
ArduPlane, ArduCopter, ArduRover, ArduSub source
Language:C++0 0 00
clang-px4
PX4 Pro Autopilot Software
Language:C++0 0 00
Cypis
Automated UPPAAL Model Reduction Tool in Java
Language:Java0 0 00
Data-Structure
<数据结构>（C语言版）清华大学出版社，严蔚敏
Language:C0 0 00
front-templates
前端页面模板，表单、表格等样式
Language:HTML0 0 00
grammars-v4
Grammars written for ANTLR v4; expectation that the grammars are free of actions.
Language:ANTLR0 0 00
hello-algo
《Hello 算法》：动画图解、一键运行的数据结构与算法教程，支持 Java, C++, Python, Go, JS, TS, C#, Swift, Rust, Dart, Zig 等语言。
Language:Java0 0 00

Lqs66's Repositories

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