Universal wireless communication library for embedded devices

KORE to llvm translation

A Scripting Editor for F# on Windows

PySDR.org textbook source material, feel free to post issues/PRs

A web-based SDR toolkit for analyzing, processing, and sharing RF recordings

SCAT: Signaling Collection and Analysis Tool

Example Radar programs for the Phaser (CN0566)

Differential Fuzzer for Ethereum 2.0

An implementation of TEMPEST en GNU Radio

Software radio distribution and installer for conda

This is the fully-functional GNU Radio software-defined radio (SDR) implementation of a LoRa transceiver with all the necessary receiver components to operate correctly even at very low SNRs. This …

A Simple showcase for the Sea-of-Nodes compiler IR

Apache mynewt

Meshtastic device firmware

Kani Rust Verifier

The HW-CBMC and EBMC Model Checkers for Verilog

Circuit Artist is a digital circuit drawing and simulation game.

A symbolic testing tool for EVM smart contracts

100kHz to 6GHz 2 port USB based VNA

Instruction Set Generator initially contributed by Futurewei

Custom firmware for the HackRF PortaPack H1/H2/H4

A Lightweight Partially Homomorphic Encryption Library for Python

TAK Server

Investment Research for Everyone, Everywhere.

attack implementation against FHE

SMT 2023 Submission; license pending

Triton is a virtual machine that comes with Algebraic Execution Tables (AET) and Arithmetic Intermediate Representations (AIR) for use in combination with a STARK proof system.

Automated verification of uniqueness property for ZKP circuits