Ghidra is a software reverse engineering (SRE) framework

The pattern matching swiss knife

C++ binding to Lua

Pupy is an opensource, cross-platform (Windows, Linux, OSX, Android) C2 and post-exploitation framework written in python and C

Formalization of proofs from Analysis I in the Coq and Lean.

Framework for Man-In-The-Middle attacks

Automated property based testing for Rust (with shrinking).

Tools for concurrent programming in Rust

Rust templating with Handlebars

Advanced Rust quantum computer simulator

metame is a metamorphic code engine for arbitrary executables

Machine Learning library for Rust

An Open Source Machine Learning Framework for Everyone

Modern Memory Safety in C/C++

UNIX-like reverse engineering framework and command-line toolset

proof-of-concept implementation of tor protocol using Microsoft CNG/CryptoAPI

BARF : A multiplatform open source Binary Analysis and Reverse engineering Framework

A static, type inferred and embeddable language written in Rust.

Rust library for syntax highlighting using Sublime Text syntax definitions.

The Elegant Parser

Rhai - An embedded scripting language for Rust.

Simple and portable (but not inflexible) GUI library in C that uses the native GUI technologies of each platform it supports.

Lean Theorem Prover

An automated theorem prover for first order logic.

Exploitation Framework for Embedded Devices

A lint to collect some crate metadata

An experiment.

A (mostly) pure-Rust implementation of various cryptographic algorithms.

Apache Superset is a Data Visualization and Data Exploration Platform

The Roslyn .NET compiler provides C# and Visual Basic languages with rich code analysis APIs.