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:
- Cambridge University Spaceflight landing predictor - a web-based tool for predicting the flight paths of meteorological sounding balloons…☆75Updated 3 years ago
- Toolkit for research purposes in AIS. See the website for the paper.☆114Updated 4 years ago
- Readsb is a Mode-S/ADSB/TIS decoder for RTLSDR, BladeRF, Modes-Beast and GNS5894 devices. Future development version with protocol buffer…☆109Updated last week
- Version of dump1090 for RSP devices☆66Updated last week
- Automatic Information System decoder for shipborne position reporting for the Gnuradio project☆153Updated 4 years ago
- PLEXIL5 is a Formal Verification Environment for PLEXIL☆19Updated 2 months ago
- Mode S multilateration server☆76Updated 8 years ago
- vdl mode 2 SDR decoder☆89Updated last year
- Code repository for AirspyHF+☆169Updated last month
- Nordic nRF905 , OGN tracker and PilotAware (SV650/Si4432) demodulators. FLARM, OGNTP and P3I decoders.☆15Updated 5 years ago
- Synchronized RTL-SDR receivers and direction finding☆164Updated 9 years ago
- Mode S multilateration client☆88Updated 2 years ago
- dump1090 decoder with High Precision Timestamping (http://eprints.networks.imdea.org/1768/)☆58Updated last year
- Radio Frequency Satellite Tracking☆216Updated last week
- The book about decoding Mode-S and ADS-B data☆123Updated 5 months ago
- An ADSB open source decoder for the airspy☆34Updated last year
- ☆23Updated 6 years ago
- galileo open source monitoring☆220Updated last month
- Real-time GPS signal simulator for LimeSDR☆130Updated 3 years ago
- UAT (ADS-B 978) test signal generator☆52Updated 4 years ago
- Simulink blockset and MATLAB functions to interface with LimeSDR☆43Updated 8 years ago
- A library for decoding various ACARS message payloads☆138Updated 3 months ago
- ☆21Updated 4 years ago
- nRF905 single-chip radio transceiver demodulator + FLARM protocol decoder☆62Updated 7 years ago
- Read, write, and interact with data in the Digital RF and Digital Metadata formats☆117Updated last week
- Multichannel HFDL decoder☆152Updated 3 months ago
- GNURadio block for spectrum visualization using GPU; mirror of https://gitea.osmocom.org/sdr/gr-fosphor☆140Updated last year
- Lightweight, portable software-defined radio☆161Updated 3 years ago
- SDR DSP utilities embedded in Haskell☆40Updated last year
- Well-Clear Boundary Models for Integration of UAS in the NAS☆52Updated 5 years ago