7 packages found. Page 1 of 1.

Name Version Votes Popularity? Description Maintainer
libksi 3.14.2207-1 0 0.00 Guardtime KSI C SDK amaloz
libsnark-git v20140603.r321.g3e92af1-1 0 0.00 libsnark: a C++ library for zkSNARK proofs amaloz
matterhorn 50200.2.0-1 3 0.01 A terminal-based chat client for MatterMost amaloz
matterhorn-bin 50200.2.0-1 1 0.07 A terminal-based chat client for MatterMost amaloz
matterhorn-git 50200.1.0-1 1 0.00 A terminal-based chat client for MatterMost amaloz
sealcrypto 3.1.0-3 0 0.00 Simple Encrypted Arithmetic Library amaloz
yices 2.6.1-1 1 0.00 The Yices SMT Solver amaloz

7 packages found. Page 1 of 1.