#

apron

Here are 5 public repositories matching this topic...

ChunghaSung / intAbs

Repository for ASE 2017 paper, "Modular Verification of Interrupt-driven Software".

static-analysis priority abstract-interpretation interrupt-driven-programs apron

Updated May 20, 2019
C

apronai / apron-dataset

Information and scripts for the Apron Dataset

benchmark computer-vision deep-learning detection dataset airport classification aircraft tarmak apron

Updated Dec 21, 2022
Python

pyapron / pyapron

pyApron: A library for numerical abstract domains manipulation based on Apron

python static-analysis abstract-interpretation abstract-domain convex-polyhedron numerical-domain apron

Updated Sep 5, 2018
Python

euctrl-pru / HexAeroPy

A package to determine used airports, runways, taxiways and stands based on available flight coordinates.

uber h3 detection airport runway aircraft eurocontrol stands ades trajectory apron taxiways adep hexaero hexaeropy

Updated Apr 23, 2024
HTML

euctrl-pru / HexAeroR

A package to determine used airports, runways, taxiways and stands based on available flight coordinates.

uber h3 detection airport runway aircraft eurocontrol stands ades trajectory apron taxiways adep hexaero hexaeror

Updated Mar 8, 2024
HTML

Improve this page

Add a description, image, and links to the apron topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the apron topic, visit your repo's landing page and select "manage topics."