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.4.0-1 3 0.00 A terminal-based chat client for MatterMost amaloz
matterhorn-bin 50200.4.0-1 2 0.40 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.3.0-1 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.