LAR-19679-1 : CPR*: Formally Verified Compact Position Reporting Algorithm
☆16Nov 30, 2020Updated 5 years ago
Alternatives and similar repositories for cpr
Users that are interested in cpr are comparing it to the libraries listed below
Sorting:
- PLEXIL5 is a Formal Verification Environment for PLEXIL☆19Dec 1, 2025Updated 3 months ago
- This cFS app is called Diagnostic Reasoner (DR), and as the name implies, it will diagnose a system of interest. That is, it will do faul…☆11Jul 1, 2020Updated 5 years ago
- 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…☆15Aug 31, 2022Updated 3 years ago
- ☆21Jan 31, 2022Updated 4 years ago
- Generation of mutant programs☆20Oct 31, 2018Updated 7 years ago
- ☆23Mar 24, 2023Updated 2 years ago
- Program Round-off Error Certifier via Static Analysis☆56Dec 8, 2025Updated 2 months ago
- A Functional Mockup Interface (FMI) Standard Implementation for Trick Base Models and Simulations☆22Jul 16, 2024Updated last year
- Well-Clear Boundary Models for Integration of UAS in the NAS☆53Nov 19, 2020Updated 5 years ago
- ☆12Feb 18, 2026Updated last week
- Tools for generating CFS ECI-compatible code from Simulink models☆30Sep 12, 2023Updated 2 years ago
- ☆29Oct 14, 2017Updated 8 years ago
- This is a new repository for a new tool to be added to the cFS ecosystem called cFS Test Framework (CTF).☆34Oct 1, 2025Updated 5 months ago
- Simple Socket Protocol for Embedded Systems☆12Dec 12, 2025Updated 2 months ago
- An extensible component for detecting cosmetic contact lenses in iris imagery.☆10Jun 25, 2025Updated 8 months ago
- EPICS support for multi-channel analyzers (MCA) and multi-channel scalers (MCS).☆12Aug 25, 2025Updated 6 months ago
- [TPAMI 2022] Disentangling Light Fields for Super-Resolution and Disparity Estimation☆13Apr 2, 2024Updated last year
- ☆13Mar 4, 2017Updated 8 years ago
- KeyTerms centralized terminology management tool☆13Feb 7, 2019Updated 7 years ago
- Context Hub Runtime Environment (CHRE)☆10Oct 17, 2023Updated 2 years ago
- Clover: Closed-Loop Verifiable Code Generation☆42May 12, 2025Updated 9 months ago
- CFS application framework for integrating external C code into the CFS environment☆39Sep 4, 2022Updated 3 years ago
- This is the code for "Neural Network Reconstruction of Plasma Space-Time" by C.Bard and J.Dorelli (DOI: 10.3389/fspas.2021.732275). It is…☆13Oct 6, 2021Updated 4 years ago
- Python utilities for submitting jobs on high performance computing systems☆11Feb 23, 2026Updated last week
- Verifying encodings into propositional logic in Lean☆14Aug 14, 2023Updated 2 years ago
- ☆11Jun 13, 2024Updated last year
- ☆12Oct 1, 2021Updated 4 years ago
- HAL for Infineon ICs☆16Updated this week
- ☆11May 21, 2021Updated 4 years ago
- Complete software package for the Iris Lunar Rover (CMU).☆16Feb 23, 2026Updated last week
- Proof-carrying code completions in Dafny☆11Apr 4, 2025Updated 10 months ago
- A hex editor widget for Qt5☆10Feb 8, 2016Updated 10 years ago
- Lab Material for UEFI / EDK II Training☆11Nov 28, 2022Updated 3 years ago
- [DEPRICATED] Project won't be continued.☆10Jul 31, 2023Updated 2 years ago
- ☆13Sep 12, 2025Updated 5 months ago
- ☆12Jun 18, 2024Updated last year
- Mirror only see https://gitlab.rtems.org/rtems/docs/rtems-docs/☆10Feb 21, 2026Updated last week
- An EPICS areaDetector driver for CCD detectors from Andor Technology using Version 2 of the Andor Software Development Kit (SDK).☆10Dec 17, 2025Updated 2 months ago
- A web scraper designed to link prntscr.com URLs with their associated Imgur images, and archive them.☆14Jan 22, 2018Updated 8 years ago