Write dynamic binary analysis tools in Python

Scan your Rust crate for semver violations.

Insecure Programming by Example - Teach yourself how buffer overflows, format strings, numeric bugs, and other binary security bugs work and how to exploit them

For when people get too hyped up about things

(Cross-Platform) An open source approach to locally record and enable searching everything you view on any computer.

Fast lattice reduction

Convert your ascii diagram scribbles into happy little SVG

A massively parallel, optimal functional runtime in Rust

pry.py - an interactive drop in shell for python, similar to binding.pry in ruby

Function to drop into a python repl real quick.

Playing NES ROMs with Ghidra's PCode Emulator

Lean 4 programming language and theorem prover

supply-chain security for Rust

A cryptographically verifiable code review system for the cargo (Rust) package manager.

The TinyLlama project is an open endeavor to pretrain a 1.1B Llama model on 3 trillion tokens.

Get up and running with Llama 3.2, Mistral, Gemma 2, and other large language models.

This repo is aim to compile all Flare-On challenge's binaries. Update: 2014 -2022.

A cargo-subcommand to speed up Rust Docker builds using Docker layer caching.

LLEF is a plugin for LLDB to make it more useful for RE and VR

a generic package manager, for including other people's code in your projects

Slides and resources for talks I've given

A list of Free Software network services and web applications which can be hosted on your own servers

A curated list of amazingly awesome open-source sysadmin resources.

😎 A curated list of the best resources in the Nix community [maintainer=@cyntheticfox]

Notion-style WYSIWYG editor with AI-powered autocompletion.

A native port of Lotus 1-2-3 to Linux.

CTF write-ups

a Hassle-Free Python Experience

Rust, but in a Makefile.

A modern text editor for the terminal written in Rust