marche147

HRAST

PoC of modifying HexRays AST

WFPStarterKit

An example driver for Windows that shows how to set-up some basic components of the Windows Filtering Platform

xnu-qemu-arm64

compress

Collection of compression related Go packages.

coreboot

Mirror of https://review.coreboot.org/coreboot.git. We don't handle Pull Requests.

ctf

realworld ctf live stream

Coq-HoTT

A Coq library for Homotopy Type Theory

learn-tt

A collection of resources for learning type theory and type theory adjacent fields.

coq

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

edk2

EDK II

InfinityHook

Hook system calls, context switches, page faults and more.

DbgShell

A PowerShell front-end for the Windows debugger engine.

l1tf-poc

L1TF (Foreshadow) VM guest to host memory read PoC

winafl

A fork of AFL for fuzzing Windows binaries

lhc

The LLVM LHC Haskell Optimization System

sourcemod

SourceMod - Source Engine Scripting and Administration

guide

A workspace for research teams

hdk

(unofficial) Hyper-V® Development Kit

arm-trusted-firmware

Read-only mirror of Trusted Firmware-A

chipwhisperer

ChipWhisperer - the complete open-source toolchain for side-channel power analysis and glitching attacks

haskell-code-explorer

Web application for exploring and understanding Haskell codebases

optee_os

Trusted side of the TEE

glasgow

Scots Army Knife for electronics

oneTBB

oneAPI Threading Building Blocks (oneTBB)

hy

A dialect of Lisp that's embedded in Python

syzygy

Syzygy Transformation Toolchain

futures-await

yosys

Yosys Open SYnthesis Suite

picorv32

PicoRV32 - A Size-Optimized RISC-V CPU

abseil-cpp

Abseil Common Libraries (C++)