nasa / cprLinks
LAR-19679-1 : CPR*: Formally Verified Compact Position Reporting Algorithm
☆16Updated 5 years ago
Alternatives and similar repositories for cpr
Users that are interested in cpr are comparing it to the libraries listed below
Sorting:
- Toolkit for research purposes in AIS. See the website for the paper.☆114Updated 4 years ago
- PLEXIL5 is a Formal Verification Environment for PLEXIL☆19Updated last month
- Readsb is a Mode-S/ADSB/TIS decoder for RTLSDR, BladeRF, Modes-Beast and GNS5894 devices. Future development version with protocol buffer…☆109Updated this week
- The book about decoding Mode-S and ADS-B data☆124Updated 5 months ago
- A library for decoding various ACARS message payloads☆136Updated 2 months ago
- Version of dump1090 for RSP devices☆66Updated 2 years ago
- dump1090 decoder with High Precision Timestamping (http://eprints.networks.imdea.org/1768/)☆58Updated last year
- Automatic Information System decoder for shipborne position reporting for the Gnuradio project☆153Updated 4 years ago
- Create and transmit AIS frames via gnuradio toolchain and web application in browser. Provides a websocket to PDU message block to change…☆47Updated last year
- Nordic nRF905 , OGN tracker and PilotAware (SV650/Si4432) demodulators. FLARM, OGNTP and P3I decoders.☆15Updated 5 years ago
- UAT (ADS-B 978) test signal generator☆52Updated 4 years ago
- Example Open Drone ID Linux transmitter for Bluetooth and Wi-Fi.☆60Updated 2 years ago
- Mode S multilateration server☆76Updated 8 years ago
- A simple VOR receiver☆63Updated last year
- vdl mode 2 SDR decoder☆88Updated last year
- Real time satellite tracking with antennas.☆86Updated 2 years ago
- FlightAware's 978MHz UAT demodulator☆59Updated 7 months ago
- Mode S multilateration client☆87Updated 2 years ago
- Galileo OSNMA (Open Service Navigation Message Authentication)☆75Updated last month
- Multichannel HFDL decoder☆150Updated 2 months ago
- Synchronized RTL-SDR receivers and direction finding☆164Updated 9 years ago
- open source release: LAR-19282-1 Detect and Avoid Alerting Logic for Unmanned Systems (DAIDALUS) with Dynamic Well-Clear Separation Volum…☆77Updated 3 months ago
- Radio Frequency Satellite Tracking☆213Updated last week
- GNU Radio ADSB decoder and framer☆35Updated 10 years ago
- Satellite Tracking Toolkit☆109Updated last month
- nRF905 single-chip radio transceiver demodulator + FLARM protocol decoder☆61Updated 7 years ago
- VDL Mode 2 message decoder and protocol analyzer☆234Updated 3 weeks ago
- Main GNU Radio recipe repository for use with PyBOMBS☆125Updated 3 months ago
- Real-time GPS signal simulator for LimeSDR☆130Updated 3 years ago
- web visualizer for gr-iridium frames☆54Updated 3 years ago