Java repairnator Software development bot that automatically repairs build fa... 1.9k Java FastView Compare
1.8k 未分类 HACL* HACL*，一个用 F* 编写的经过正式验证的加密库。「HACL*, a formally verified crypt... 2.2k F* FastView Compare
1.9k Java spoon Spoon is a library to analyze, transform, rewrite, transpile... 2.1k Java FastView Compare
未分类 CSVKeychain Import/export between Apple Keychain.app and plain CSV file.... 1.7k AppleScript FastView Compare
C/C++ acpi_call A linux kernel module that enables calls to ACPI methods thr... 2.2k C FastView Compare
