SIGNALS / RF / FORMAL METHODS
Nevins Port
A native receive-only radio console with capture packs, conservative signal cards and policy specifications.
- Current state
- RF prototype
- Discipline
- Signals · RF · Formal methods
- Built with
- C++23 / F* / GLFW / OpenGL / librtlsdr / CMake
The idea
Radio observations are easier to understand when the capture, interpretation and permitted next step stay connected. Nevins Port explores a native listening station that makes spectra, evidence records and conservative signal summaries readable.
How it works
C++23 owns the CLI, GLFW/OpenGL dashboard, receiver adapters and capture handling. Deterministic mock data and an explicit RTL-SDR path feed the same analysis pipeline. F* modules specify bounded device values, capture manifests and routing rules; the current runtime still uses a C++ mirror bridge.
What’s implemented
- Native spectrum/waterfall, receiver metrics and signal-card panes
- Deterministic mock surveys and an explicit receive-only RTL-SDR capture path
- Capture pack writing, explanation and replay
- F* policy/validation specifications and native regression tests
PROJECT STATUS / RF PROTOTYPE
Where it stands
First-pass native RF prototype
- First implementation pass; hardware-mode support is optional and not required by CI
- The runtime bridge currently mirrors the F* rules in C++; generated KaRaMeL integration remains planned
- Richer controls and DSP summaries remain unfinished
Source & resources
Documentation behind this project page
Reviewed October 1, 2026. Project descriptions reflect a source review; repository validation claims were not independently reproduced.