Filipe Casal fcasal

Organizations

Pinned Loading

1. Create code bookmarks and code highlights with a click.

   TypeScript 230 29

2. Interactive documentation on zero-knowledge proof systems and related primitives.

   HTML 173 47

3. Amarna is a static-analyzer and linter for the Cairo programming language.

   Python 148 7

4. Cryptography and number-theory primitives in Julia

   Julia 6 1