Pinned Loading

1. citahub/cita citahub/cita Public

   A high performance blockchain kernel for enterprise users.

   Rust 1.3k 207

2. microKanren-rs microKanren-rs Public

   Rust 1

3. jsnark jsnark Public

   Forked from akosba/jsnark

   A Java framework to write circuits/constraints for zk-SNARKs.

   Java 1 1

4. rink1969.github.io rink1969.github.io Public