NGINX configuration static analyzer
Repository Index
47,133 repositories indexed
25–48 of 58 · Most stars
A playable preview of Forza Horizon static recompilation
- forza-horizon
- rexglue
- static-recompilation
- windows
HaboMalHunter is a sub-project of Habo Malware Analysis System (https://habo.qq.com), which can be used for automated malware analysis and security assessment on the Linux system.
- malware-analysis
- dynamic-analysis
- security
- linux
Limon is a sandbox developed as a research project written in python, which automatically collects, analyzes, and reports on the run time indicators of Linux malware. It allows one to inspect Linux malware before execution, during execution, and after execution (post-mortem analysis) by performing static, dynamic and memory analysis using open source tools
The 2012 Forza Horizon, native on Windows and Linux, and online again: Horizon World, leaderboards and Rivals on a public server you can also self-host. Bring your own copy.
- decompilation
- forza
- forza-horizon
- reverse-engineering
A Python type checker
God of War: Ascension (PS3), an experiment in static recompilation to run natively on PC, on ps3recomp. No game data included.
A framework for automated extraction of static and dynamic features from Android applications
- android-malware-detection
- android-analysis
Stubs of most MicroPython ports, boards and versions to make writing code that much simpler.
- micropython
- vscode
- type-checking
- static-typing
A collection of awesome static hosting & CMS providers
- static-site
- jekyll
- hosting
- hugo
11 Claude skills that port PlayStation 2 games you own to PC: reverse engineer the code, rebuild the graphics and backend, any controller, play it anywhere, then mod it however you want.
- claude
- claude-skills
- game-dev
- gamepad
An opinionated, curated list of tools for enforcing software development standards: one recommended tool per job, with limits.
Mypy static type checker plugin for Pytest
Generate and maintain stubs for different MicroPython ports to use with VSCode and Pylance, PyRight, Thonny, PyCharm or MyPy
- micropython-stubs
- micropython-stubber
- firmware-stubs
- python
Phantom types for Python.
- phantom-types
- static-analysis
- mypy
- python
OPEM (Open Source PEM Fuel Cell Simulation Tool)
- chemistry
- pem
- fuel-cell
- opem
Based Python static type checker with baseline, sane default settings and based typing features
- based
- python
- typing
- baseline
H(igh) A(ssurance) ROS - Static analysis of ROS1 application code.
- static-analysis
- ros
- quality-assurance
- robotics
A set of helpers for baking your Django Wagtail site out as flat files.
Templates to pin Claude and Google Pay to one static residential proxy on Clash Party, Shadowrocket, and FlClash.
A CLI tool to automatically add type annotations into Python code. Must have tool for annotating existing code.
- code-formatter
- code-generation
- mypy
- pyannotate
Opinionated typing package for precise type hints in Python
- pep484
- python
- python-typing
- numpy
Effects of packers on machine-learning-based malware classifiers that use only static analysis
Integrate mypy in seconds with existing codebase. A friendly CLI tool to make mypy report only new type violations and ignore existing ones.
- baseline
- cli
- legacy-code
- mypy