pauleve

jax

Composable transformations of Python+NumPy programs: differentiate, vectorize, JIT to GPU/TPU, and more

mpv

🎥 Command line video player

OSX-KVM

Run macOS on QEMU/KVM. With OpenCore + Monterey + Ventura + Sonoma support now! Only commercial (paid) support is available now to avoid spammy issues. No Mac system is required.

pwntools

CTF framework and exploit development library

GTFOBins.github.io

GTFOBins is a curated list of Unix binaries that can be used to bypass local security restrictions in misconfigured systems

lkmpg

The Linux Kernel Module Programming Guide (updated for 5.0+ kernels)

ROPgadget

This tool lets you search your gadgets on your binaries to facilitate your ROP exploitation. ROPgadget supports ELF, PE and Mach-O format on x86, x64, ARM, ARM64, PowerPC, SPARC, MIPS, RISC-V 64, and RISC-V Compressed architectures.

arsenal

Arsenal is just a quick inventory and launcher for hacking programs

BlueTeam-Tools

Tools and Techniques for Blue Team / Incident Response

Penetration-Testing-Tools

A collection of more than 170+ tools, scripts, cheatsheets and other loots that I've developed over years for Red Teaming/Pentesting/IT Security audits purposes.

gentoo

[MIRROR] Official Gentoo ebuild repository

kernel-hardening-checker

A tool for checking the security hardening options of the Linux kernel

TbSync

[Thunderbird Add-On] Central user interface to manage cloud accounts and to synchronize their contact, task and calendar information with Thunderbird

molten-nvim

A neovim plugin for interactively running code with the jupyter kernel. Fork of magma-nvim with improvements in image rendering, performance, and more

check_ssl_cert

A shell script (that can be used as a Nagios/Icinga plugin) to check an SSL/TLS connection.

pyeda

Python EDA

Beeline

BEELINE: evaluation of algorithms for gene regulatory network inference

magic_gadget_finder

Unravels any libcs magic for your ret2libc exploit.

BoolODE

Git Repo for simulating Boolean Models

canary-fun

Code samples used for the blog post

ReasoningEngine

Symbolic analysis of discrete dynamical systems

inseca

INSECA is a set of tools to build and manage very secure live Linux based endpoint systems.

COTAN

scBoolSeq

scBoolSeq: scRNA-Seq data binarisation and synthetic generation from Boolean dynamics

NORDic

Network-Oriented Repurposing of Drugs Python Package

ai4scmed.github.io

BooN

Boolean Network Analysis

gentoo-overlay

Netisce

This repository contains the scripts of Netisce as well as the data and computation for the method's validation

IsoDyn

A mechanistic model of stable isotope incorporation