Popular repositories Loading

1. verifpal verifpal Public

   Cryptographic protocol analysis for students and engineers.

   Go 11 4

2. master-project-evoting master-project-evoting Public

   TypeScript 4

3. icbc20-bcbev-tutorial icbc20-bcbev-tutorial Public

   Practical Introduction to Blockchain-based Remote Electronic Voting

   3

4. jquery.adaptive-backgrounds.js jquery.adaptive-backgrounds.js Public

   Forked from briangonzalez/jquery.adaptive-backgrounds.js

   A jQuery plugin for extracting the dominant color from images and applying the color to their parent.

   JavaScript 1

5. slither slither Public

   Forked from crytic/slither

   Static Analyzer for Solidity

   Python 1

6. anoma anoma Public

   Forked from anoma/anoma

   Implementation of the Anoma protocol in Rust

   Rust 1 1