OONI Explorer: uncover evidence of internet censorship worldwide

LLM Zoomcamp - a free online course about building a Q&A system

Hallo: Hierarchical Audio-Driven Visual Synthesis for Portrait Image Animation

A fork of AFL for fuzzing Windows binaries

A FREE comprehensive reverse engineering tutorial covering x86, x64, 32-bit/64-bit ARM, 8-bit AVR and 32-bit RISC-V architectures.

Six Degrees of Domain Admin

LCOV

Security oriented software fuzzer. Supports evolutionary, feedback-driven fuzzing based on code coverage (SW and HW based)

Algorand's official implementation in Go.

A tool for quickly evaluating IAM permissions in AWS.

The MSR Ironclad project builds provably secure and reliable systems.

Create single line illustrations from your pictures. Get a drawing, SVG or coordinates for a CNC.

Algorand SDK for .Net Framework to interact with the Algorand network

An enterprise-class UI design language and React UI library

Detours is a software package for monitoring and instrumenting API calls on Windows. It is distributed in source code form.

C++ `std::unique_ptr` that represents each object as an NFT on the Ethereum blockchain

Generate x86 Assembly with Go

RNA vaccines have become a key tool in moving forward through the challenges raised both in the current pandemic and in numerous other public health and medical challenges. With the rollout of vacc…

Dafny is a verification-aware programming language

Beautiful calculator app for macOS, Linux & Windows

A Rust library for lattice-based additive homomorphic encryption.

Provable adversarial robustness at ImageNet scale

IDAPython project for Hex-Ray's IDA Pro

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!

Adversarial Threat Landscape for AI Systems

Testing Schnorr's factorization claim in Sage