Popular repositories Loading

1. verifpal verifpalPublic

   Cryptographic protocol analysis for students and engineers.

   Go 10 4

2. master-project-evoting master-project-evotingPublic

   TypeScript 3

3. icbc20-bcbev-tutorial icbc20-bcbev-tutorialPublic

   Practical Introduction to Blockchain-based Remote Electronic Voting

   3

4. jquery.adaptive-backgrounds.js jquery.adaptive-backgrounds.jsPublic

   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 slitherPublic

   Forked from crytic/slither

   Static Analyzer for Solidity

   Python 1

6. anoma anomaPublic

   Forked from anoma/anoma

   Implementation of the Anoma protocol in Rust

   Rust 1 1