The Libre Multilingual Analyzer, a Natural Language Processing (NLP) C++ toolkit.

INS/GNSS紧组合程序，使用伪距、伪距率、INS测量，支持双天线测向数据。

High-performance interior-point-method QP and QCQP solvers

CakeML: A Verified Implementation of ML

Venus is a state-of-the-art sound and complete verification toolkit for Relu-based feed-forward neural networks. It can be used to check reachability and local adversarial robustness properties. Ve…

Complete flight control system designed from scratch. Hardware designed with KiCad.

open source release: LAR-19282-1 Detect and Avoid Alerting Logic for Unmanned Systems (DAIDALUS) with Dynamic Well-Clear Separation Volumes).

A PyTorch library entirely dedicated to neural differential equations, implicit models and related numerical methods

A Collaborative Development Assurance Lab

CoqTL allows users to write model transformations and prove engine/transformation correctness in Coq

Neural Network Verification Software Tool

Low Fidelity System Identification of F16 model using Neural Networks, Iterated Extended Kalman Filter and Parameterisation techniques

Team 5 Capstone git for the F16 Modeling and Simulation. Winter/Spring 2020-2021.

Nonlinear and linear flight simulation with autopilots for altitude hold, velocity hold, and pitch controls(SAS damper).

F16 Simulator - Live Piloted Python Simulation ; based on the 'Non-linear F-16 Simulation using Simulink and Matlb' of the University of Minnesota. [As distributed by the TU Delft] (Converted into …

A high-fidelity 6dof dynamic model of fighter F16 based on NASA aerodynamics data. The code are written completely with m function without S-function and Simulink.

Automatic Flight Control System Design for the F16 satisfying Mil-specs

Control Systems Analysis Framework - a framework to minimize the effort required to evaluate, implement, and verify controller design (classical and learning enabled) with respect to the system dyn…

NeuralFoil is a practical airfoil aerodynamics analysis tool using physics-informed machine learning, in pure Python/NumPy.

Supplementary Material for "Q: A Sound Verification Framework for Statecharts and their Implementations" paper in Formal Techniques for Safety-Critical Systems

Clover: Closed-Loop Verifiable Code Generation

Curated List of Research Focused Reading Materials & Videos for Learning about Programming Language Theory Research, Formal Methods and their application in some most active computer Science fields.

OTAWA: An Open Toolbox for Adaptive WCET Analysis. Fork of https://git.renater.fr/anonscm/git/otawa/otawa.git

Universal physical Analysis for Quadcopter about Control Based on Matlab.

PyBullet CartPole and Quadrotor environments—with CasADi symbolic a priori dynamics—for learning-based control and RL

The VerCors verification toolset for verifying parallel and concurrent software

Tools for debugging and profiling ARM Cortex-M devices as found on the PX4 Autopilot FMU boards

Unified Diagnostics Service (UDS) and OBD-II (On Board Diagnostics for Vehicles) C Library

DSVerifier - Digital Systems Verifier