Repositories list

• ParserDSL

  Public
  C

  •

  MIT License

  •0•0•0•0•Updated Dec 17, 2024Dec 17, 2024

• formula

  Public
  FORMULA 2.0: Formal Specifications for Verification and Synthesis

  C#

  •

  Other

  •17•9•10•0•Updated Nov 6, 2024Nov 6, 2024

• clamav-p

  Public
  P code to find a bug in ClamAV 0.94 untar

  OpenEdge ABL

  •0•0•0•0•Updated Oct 17, 2024Oct 17, 2024

• clamav-nuxmv

  Public
  nuXmv code to find a bug in ClamAV 0.94 untar

  0•0•0•0•Updated Oct 17, 2024Oct 17, 2024

• FormulaLLMPY

  Public
  Poetry package for the Formula LLM python code.

  Python

  •

  Other

  •0•0•1•0•Updated Jul 30, 2024Jul 30, 2024

• ArduPilot-Modes

  Public
  Ardupilot applications that use modes and mode-grouping

  C++

  •2•0•0•0•Updated Apr 3, 2024Apr 3, 2024

• MAVProxy

  Public
  MAVLink proxy and command line ground station

  Python

  •

  GNU General Public License v3.0

  •682•0•0•0•Updated Mar 29, 2024Mar 29, 2024

• PCoreFlightSystem

  Public
  OpenEdge ABL

  •1•0•0•0•Updated Jan 26, 2024Jan 26, 2024

• ardupilot

  Public
  ArduPlane, ArduCopter, ArduRover, ArduSub source

  C++

  •

  GNU General Public License v3.0

  •18k•0•0•0•Updated Dec 6, 2023Dec 6, 2023

• FormulaSelfRepairLLM

  Public
  Python

  •3•1•0•1•Updated Nov 16, 2023Nov 16, 2023

• MAVSDK

  Public
  API and library for MAVLink compatible systems written in C++17

  C++

  •

  BSD 3-Clause "New" or "Revised" License

  •512•0•0•0•Updated Oct 27, 2023Oct 27, 2023

• MAVSDK-Proto

  Public
  Collection of proto files used by gRPC in MAVSDK

  Python

  •94•0•0•0•Updated Oct 6, 2023Oct 6, 2023

• MAVProxyModules

  Public
  Roff

  •0•0•0•0•Updated Sep 27, 2023Sep 27, 2023

• p-state-visualizer

  Public
  Python

  •

  Apache License 2.0

  •0•0•0•0•Updated Aug 30, 2023Aug 30, 2023

• UAV-DSL

  Public
  A domain-specific language to support mission specifications, physics-based modeling and compilation to other modeling language to support reasoning about drone properties.

  0•0•0•0•Updated Jul 12, 2023Jul 12, 2023

• FormulaLLM

  Public
  Python

  •0•0•0•0•Updated Jul 5, 2023Jul 5, 2023

• nand-runtime-monitor

  Public
  A code generator and testing infrastructure for a simple Nand framework

  OpenEdge ABL

  •0•0•0•0•Updated Jun 30, 2023Jun 30, 2023

• GenerateDataLLM

  Public
  Python

  •0•0•0•0•Updated Jun 26, 2023Jun 26, 2023

• P-Power-Constraint-Demo

  Public
  Scilab

  •0•0•0•0•Updated Jun 9, 2023Jun 9, 2023

• P-Power-Constraint

  Public
  P model for VSPELLS engagement 3 challenge question 4

  Scilab

  •0•0•0•0•Updated Jun 9, 2023Jun 9, 2023

• vscode-formula-dotnet

  Public
  Visual studio code extension for the Formula Dotnet language.

  TypeScript

  •1•0•0•0•Updated Jun 7, 2023Jun 7, 2023

• qgroundcontrol

  Public
  Cross-platform ground control station for drones (Android, iOS, Mac OS, Linux, Windows)

  C++

  •

  Other

  •3.7k•0•0•0•Updated May 19, 2023May 19, 2023

• hook_dsl

  Public
  A simple Frama-C plugin to take function prototypes and generate a file for writing function hooks

  OCaml

  •0•0•0•0•Updated May 10, 2023May 10, 2023

• P-Mode-Grouping

  Public
  Mode group challenge using P programming language and ArduPilot

  Scilab

  •1•0•0•0•Updated May 4, 2023May 4, 2023

• nand-framac

  Public
  The C NAND driver framework annotated with Frama-C

  C

  •0•0•0•0•Updated Apr 17, 2023Apr 17, 2023

• P-Nand-Driver-Model

  Public
  A P model of a simplified NAND device driver

  OpenEdge ABL

  •0•0•0•0•Updated Mar 15, 2023Mar 15, 2023

• MitesAADL

  Public
  0•0•0•0•Updated Feb 2, 2023Feb 2, 2023

• jupyter-core

  Public
  Library for writing Jupyter kernels in .NET Core

  C#

  •

  MIT License

  •22•0•0•0•Updated Dec 14, 2022Dec 14, 2022

• PDrone

  Public
  Ardupilot and QGroundControl P models.

  OpenEdge ABL

  •0•0•0•0•Updated Nov 19, 2022Nov 19, 2022

• P

  Public
  The P programming language.

  C#

  •

  MIT License

  •180•0•0•0•Updated Nov 14, 2022Nov 14, 2022