prashantvpanchal

opentx

OpenTX custom firmware for Transmitters

openLRSng

Configurable firmware for openLRS compatible TX/RX systems

DIY-Multiprotocol-TX-Module

Multiprotocol TX Module (or MULTI-Module) is a 2.4GHz transmitter module which controls many different receivers and models.

betaflight

Open Source Flight Controller Firmware

verifast

Research prototype tool for modular formal verification of C and Java programs

tlaplus

TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

codeql

CodeQL: the libraries and queries that power security researchers around the world, as well as code scanning in GitHub Advanced Security

GFPGAN

GFPGAN aims at developing Practical Algorithms for Real-world Face Restoration.

common-coding-conventions

A concise and universal guide to clear software design.

bloaty

Bloaty: a size profiler for binaries

runx

runx

linux-kernel-analysis

Collection of scripts to analyse the Linux kernel

wg-automotive

Safety_concept_tool

Collection of freeplane scripts/addon to build safety concepts within a freeplane mindmap.

Reverse-Engineering-Intel-x64-101

Material for a RE 101 class on Intel x64 binaries

klee

KLEE Symbolic Execution Engine

fprime

F´ - A flight software and embedded systems framework

tricore_llvm

binutils-tricore

GNU/binutils revision 2.13 targetting Infineon tricore CPU architecture

embedonomicon

How to bootstrap support for a no_std target

Scheduling-Algortihms-Visualizer

Mitigating-Obsolete-TLS

Guidance for mitigating obsolete Transport Layer Security configurations. #nsacyber

SystemExplorer

Windows System Explorer

computer-science

🎓 Path to a free self-taught education in Computer Science!

uext-lora

LoRa communication board based on RFM9x for UEXT connector

PAnSim-Tool

PAnSim Tool

simso-gui

Graphical user interface of SimSo

simso

Simulator of multiprocessor real-time scheduling

mcuboot

Secure boot for 32-bit Microcontrollers!