AWS Key Management Serviceを用いて、オブジェクトを暗号化・復号化するためのパッケージです。
published version 0.0.4, 7 years ago- published version 0.1.1, 6 years ago
An automated theorem prover for first-order predicate logic written in TypeScript
published version 0.0.3, 6 years ago