VM firmware pkg for Project Mu

Neptune OS: A Windows NT personality for the seL4 microkernel

Program Manager II, a new shell for Windows.

OrangeC Compiler And Tool Chain

Generic recovery and reflashing tool for embedded platforms

Tooling to generate metadata for Win32 APIs in the Windows SDK.

site for discussing profiles design

An LLVM/Clang/LLD based mingw-w64 toolchain

CLI and library for updating firmware on Vortex keyboards and more

GEF (GDB Enhanced Features) - a modern experience for GDB with advanced debugging capabilities for exploit devs & reverse engineers on Linux

State-of-the-art native debugging tools

Unifi Docker files

A modern replacement for Redis and Memcached

A verification tool for many memory models

Hacking & Reverse Engineering RTL960x-based xPON ONTs to suit your OLT

Generic model checker for concurrent C programs (mirror repository)

CoreFreq : CPU monitoring and tuning software designed for the 64-bit processors.

Graphical Debugger for Sublime Text for debuggers that support the debug adapter protocol

poc for CVE-2020-1337 (Windows Print Spooler Elevation of Privilege)

UEFI read/write NTFS driver, based on ntfs-3g

Ext4 file system driver for Windows

A client for matrix, the decentralized communication protocol

Explicit state logic model checking tool -- 2002 winner of the ACM System Software Award.

KeePassXC is a cross-platform community-driven port of the Windows application “KeePass Password Safe”.

Hiding kernel-driver for x86/x64.

🇺🇦 Windows driver with usermode interface which can hide processes, file-system and registry objects, protect processes and etc

🐶 Automated code review tool integrated with any code analysis tools regardless of programming language