Popular repositories Loading

1. passdapp passdapp Public

   Proof of concept web app demonstrating password-based transaction authentication on Algorand

   TypeScript 1

2. local-di-example local-di-example Public

   This code is intended to be a starting point for adding a DI structure to a project.

   TypeScript 1 1

3. LeshaTat.github.io LeshaTat.github.io Public

   HTML

4. ia-calc ia-calc Public

   Mechanizing black-box reduction-based proofs using minimalistic abstract interpretation framework

   Python

5. simple-asciinema-web-gui simple-asciinema-web-gui Public

   Fast made solution to view local asciinema casts

   JavaScript