gmh5225 Goto Github PK

yara-yaramod

Parsing of YARA rules into AST and building new rulesets in C++.

yara-yaranalyzer

Yara Rule Analyzer and Statistics

yara-yarang

yara-yls

YARA Language Server

yara_merger

Merge all Yara rules from official Yara github repository in one .yar file

yara_rules

yaraparser

Python 3 tool to parse Yara rules (extension of yarabuilder)

yatsenos-tutorial-volume-1

A Simple 32-bit OS lab tutorial.

yaxpeax-eval

batch eval tool for machine code. eval() but for asm.

yaya

Yet Another Yara Automaton - Automatically curate open source yara rules and run scans

yclass

Inspect and recreate in-memory data structures

yijing

算卦，易经，风水，suangua，yijing

yolov5forcsgo

CSGO character detection and auto aim

yoru

夜 - Yoru | Aesthetic and Beautiful Awesome Environment :first_quarter_moon:

youve-got-mail

You've Got Mail - route emails to SMS messages

yy-thunks

Fix DecodePointer, EncodePointer,RegDeleteKeyEx etc. APIs not found in Windows XP RTM.

z3

The Z3 Theorem Prover

z3-note-z3-solver

Notes on using the Z3 solver

z3-performancetest

z3-playground

A repository to store Z3-python scripts you can use as examples, reminders, whatever.

z3-solver-demo

Demonstration of some SAT/SMT solvers/optimizers in multiple programming languages.

z3-static-build-windows

Automatic building of Z3 static libraries on Windows

z3-study

z3 solver 学习

z3-symbolicexecutiondemystified

Slides and Material for "SymbolicExecutionDemystified" Presentation @ Insomni'Hack 2022

z3-tutorial

Z3 Tutorial

z3-z3prover-walkthrough

Z3prover Tutorial

z3.rs

Rust bindings for the Z3 solver.

z3test

Test and benchmark repository for Z3.

zaos

x64 hobby os

zasm

x86-64 Assembler based on Zydis