fzy

fzy fozzylang 通用系统语言及生产工具链，具有默认内存安全的已发布安全语言表面、可验证的正确性、确定性执行以及内置的以重放优先的调试功能。 fzy 提供一个生产 CLI fz，用于编译工作流和确定性验证。正确性、确定性、重放、事件工件和生产证据是正常工作流的一部分，而非事后补救。如需快速了解语言的可视化概览，请在浏览器中打开随附的 FZL 展示：open fzl-showcase.html。关于为何选择它的简短论证，请参阅 WHYFZY.md。 仓库架构策略在内部是类型化的，在真实边界处仅使用 JSON。 从这里开始 安装：INSTALL.md 完整手册：USAGE.md...

sogen

Sogen ejecuta programas de Windows y Linux sin un sistema operativo real, y te permite ver y controlar todo lo que hacen. En lugar de reimplementar miles de APIs del sistema operativo, Sogen emula binarios a nivel de CPU y llamadas al sistema y ejecuta las DLLs reales del sistema , por lo que el...

sogen — Updated!

Sogen runs Windows and Linux programs without a real operating system, and lets you see and control everything they do. Instead of reimplementing thousands of OS APIs, Sogen emulates binaries at CPU and syscall level and runs the real system DLLs , so behavior closely matches the real OS. Every...