Contiki-NG: The OS for Next Generation IoT Devices

Primary Git Repository for the Zephyr Project. Zephyr is a new generation, scalable, optimized, secure RTOS for multiple hardware architectures.

RIOT - The friendly OS for IoT

My personal website

LLM powered fuzzing via OSS-Fuzz.

C Bounded Model Checker

FreeRTOS-Plus-TCP library repository. +TCP files only. Submoduled into https://github.com/FreeRTOS/FreeRTOS and various other repos.

PicoTCP is a free TCP/IP stack implementation

CBMC Viewer scans the output of CBMC and produces a browsable summary of its findings, making it easy to root cause the issues it finds.

'Classic' FreeRTOS distribution. Started as Git clone of FreeRTOS SourceForge SVN repo. Submodules the kernel.

The DaCapo benchmark suite

A malicious LDAP server for JNDI injection attacks

Sample exploits of common vulnerabilities in Java librarires

The official Google release of packetdrill

Node.js JavaScript runtime ✨🐢🚀✨

The fuzzer afl++ is afl with community patches, qemu 5.1 upgrade, collision-free coverage, enhanced laf-intel & redqueen, AFLfast++ power schedules, MOpt mutators, unicorn_mode, and a lot more!

Source code of open-source Colobot: Gold Edition project developed by Epsitec and TerranovaTeam

Reviews of empirical software engineering research papers.