A guide on how to understand the performance of your battery with modelling and improve it

30 days of Python programming challenge is a step-by-step guide to learn the Python programming language in 30 days. This challenge may take more than100 days, follow your own pace. These videos ma…

The open-sourced Python toolbox for backdoor attacks and defenses.

Python implementations of cryptographic attacks and utilities.

Make JVM Android integration test visible 🤖📸

Post-quantum cryptography certificates

This repository contains specifications, proof scripts, and other artifacts required to formally verify portions of AWS libcrypto. Formal verification is used to locate bugs and increase assurance …

A Comprehensive Toolkit for High-Quality PDF Content Extraction

💥 Blazing fast terminal file manager written in Rust, based on async I/O.

General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.

A runtime for writing reliable asynchronous applications with Rust. Provides I/O, networking, scheduling, timers, ...

A community-maintained Python framework for creating mathematical animations.

Deep Learning in Javascript. Train Convolutional Neural Networks (or ordinary ones) in your browser.

Formal proof of the Four Color Theorem [maintainer=@ybertot]

GitHub token permissions Monitor and Advisor actions

How to create an OS from scratch

Make your GenAI Apps Safe & Secure 🚀 Test & harden your system prompt

python code for a jigsaw puzzle solving robot

A benchmark for prompt injection detection systems.

Firmware Analysis Tool

A C++11 ASN.1 BER Encoding and Decoding Library

The Z3 Theorem Prover

A powerful and user-friendly binary analysis platform!

This GitHub Action creates a GitHub contribution calendar on a 3D profile image.

The uncompromising Python code formatter

VS Code Hex Editor

Android Keystore Sample

Local python access to NIST's ACVP-Server "Golden Reference" crypto code

A simple tool for visually comparing two PDF files