A static type checker for JavaScript
Static code analysis
Export disassemblies into Protocol Buffers
Progressive Delivery for Kubernetes
A powerful obfuscator for JavaScript and Node.js
A framework for secure and scalable network traffic analysis
Static type checker for Python
An extensible multilanguage static code analyzer
XLS: Accelerated HW Synthesis
Open-source MCP server that gives your coding agent
Low-code platform allows you to build business apps
Improve front-end engineer workflow & standard, powered by TypeScript
An interactive GUI for WhiteboxTools in a Jupyter-based environment
Visualize Solidity control flow for smart contract security analysis
RetDec is a retargetable machine-code decompiler based on LLVM
Flow type linting rules for ESLint
Libraries and queries that power security researchers
BeaEngine disasm project
Fast eslint runner
Web Tracing Framework libraries and extensions
RTTI for Python Source and Binary Files
An experimental programming language for data flow
Static Analysis Tool for Detecting Security Vulnerabilities in Python
CUDA library for continuous optimization and light field analysis
BinNavi is a binary analysis IDE that allows to inspect, navigate, etc