1 个仓库
Static analysis used to map dynamic language patterns onto static types for system-level languages.
Distinct from Structural Static Analysis: Focuses on the transformation of dynamic patterns to static types for compilation, rather than just structural discovery.
Explore 1 awesome GitHub repository matching testing & quality assurance · Type-Mapping Transformations. Refine with filters or upvote what's useful.
Porffor 是一个提前(ahead-of-time)编译器,可将 JavaScript 和 TypeScript 源代码转换为原生机器码或 C 二进制文件。它作为一个原生二进制生成器和转译器,生成无需运行时或虚拟机即可运行的独立可执行文件。 该项目将源代码转换为 C 语言文件和 WebAssembly 二进制格式。它包含一个针对 TypeScript 的直接转译为二进制的流水线,允许在无需单独转译为 JavaScript 的情况下生成目标可执行文件。 该工具集还包括一个用于实时代码执行的交互式读取-求值-打印循环(REPL),以及用于调试源代码和分析执行性能的功能。
Analyzes source code structure to map dynamic JavaScript patterns onto static types required for C and system-level languages.