colton1skees Goto Github PK
Name: Colton Skees
Type: User
Twitter: ColtonSkees
Name: Colton Skees
Type: User
Twitter: ColtonSkees
Fast Java decompiler written in pure rust
C# Style Guide for Tutorials
Experiment building lifting-bits dependencies with pure CMake
Static analysis & deobfuscation framework for x86/x64
Simplification of General Mixed Boolean-Arithmetic Expressions: GAMBA
Blazing fast and correct x86/x64 disassembler, assembler, decoder, encoder for .NET, Rust, Python, JavaScript
A collection of various IDAPython scripts
KLEE Symbolic Virtual Machine
.NET Tool for parsing and utilizing x86 semantics defined in K. It currently features a WIP symbolic expression generator for VTIL.
Proof-of-concept implementation for the paper "Efficient and Generic Microarchitectural Hash-Function Recovery" (IEEE S&P 2024)
Deobfuscation of Semi-Linear Mixed Boolean-Arithmetic Expressions
Library for Polynomial System Solving through Algebraic Methods
Code deobfuscation framework to simplify Mixed Boolean-Arithmetic (MBA) expressions
A boolean matcher that computes the NPN canonical representative for a given boolean function.
Library for lifting machine code to LLVM bitcode
.NET bindings for Remill
Efficient Deobfuscation of Linear Mixed Boolean-Arithmetic Expressions
Port of MBA Solver SiMBA to C/C++
Unofficial CMake build for Ghidra SLEIGH
A superoptimizer for LLVM IR
A Python3 GUI spotify controller for Linux. (Specifically for Arch Linux)
Style guides for Google-originated open-source projects
Symbolic executor for Binary Ninja's MLIL
A (concrete or symbolic) implementation of IEEE-754 / SMT-LIB floating-point
Triton is a dynamic binary analysis library. Build your own program analysis tools, automate your reverse engineering, perform software verification or just emulate code.
Standalone static version of Triton's x86/x64 translator
VMProtect devirtualizer(WIP)
Reverse engineered API for Microsoft's Time Travel Debugger
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.