Clang bindings for .NET written in C#

Additional materials for RootedCON 2015 Apache Struts talk

A static verifier for Rust, based on the Viper verification infrastructure.

This is an online course where you can learn and master the skill of low-level performance analysis and tuning.

Hash collisions and exploitations

SymQEMU: Compilation-based symbolic execution for binaries

SymCC: efficient compiler-based symbolic execution

EDK II Build Specification

Fast and lightweight yet another UEFI implementation

Visit http://slimbootloader.github.io for documentation

Odyssey Lift-off V - Client - Course Companion App

Odyssey Lift-off V - Server - Course Companion App

Neo4j Spatial is a library of utilities for Neo4j that faciliates the enabling of spatial operations on data. In particular you can add spatial indexes to already located data, and perform spatial …

Repository for the book "Crafting Interpreters"

Example use cases from the O'Reilly Graph Databases book

LowLevel Jam 0001

📦✨ your favorite rust -> wasm workflow tool!

NVIDIA Linux open GPU kernel module source

The Ruby Gem that Powers Entitlements - GitHub's Identity and Access Management System

This repository has be archived and moved to the new repository https://github.com/dragonflyoss/Dragonfly2.

What the f*ck Python? 😱

Connect your local process and your cloud environment, and run local code in cloud conditions.

The Deepfake Offensive Toolkit

A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.

AddressSanitizer, ThreadSanitizer, MemorySanitizer

A log4j vulnerability filesystem scanner and Go package for analyzing JAR files.

EDK II

Interactively Visualizing Ownership and Borrowing for Rust

🚀 A robust, performance-focused, and full-featured Redis client for Node.js.