/idris2-rtlsdr

Idris2 package that provides low level bindings to rtlsdr

Primary LanguageIdrisBSD 2-Clause "Simplified" LicenseBSD-2-Clause

RtlSdr is an Idris2 package that provides low level bindings to rtlsdr high level RTLSDR effects.

Req

 $ sudo dnf install rtl-sdr-devel

Docs

You can find the API documentation published here.