OmniScope
A cross-language static-analysis framework for FFI resource safety, described by its creator as using LLVM IR to examine code at language boundaries.
Explore projects with shared tags. A project can have several tags; tags describe its focus, not its quality.
Projects with this tag may serve different needs. A shared tag does not mean they have the same features or deliver the same results.
28 projects · Page 2 of 2
A cross-language static-analysis framework for FFI resource safety, described by its creator as using LLVM IR to examine code at language boundaries.
A bridge that sends tasks from Lark messages to a local Trae IDE and returns results to a phone.
A visual FPGA assembly tool. Developers drag modules and connect ports to generate Verilog code, reducing repeated module-instantiation and wiring work.
A meta-skill for creating, refactoring and evaluating AI skills, combining process boundaries, document organization and structural checks.