Zellic/nextjs-template Zellic/nextjs-template

  • Stars
    star
    2
  • Language
    TypeScript
  • License
    Other
  • Created about 2 years ago
  • Updated almost 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
Zellic/nextjs-template
github

Zellic

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Typescript, Zod REST APIs, Zod forms, various utilities and boilerplate, EveryLayout based SCSS

More Repositories

1

publications

Zellic's audits, publications, and reports
111
star
2

solidity-parser

Solp is a Python library used for reading, parsing and analysis of Solidity source projects and contracts without a dependency on the solc compiler.
Python
52
star
3

weth

Formal verification of WETH9.sol with Z3
Python
45
star
4

poc-hacks

Solidity
38
star
5

move-prover-examples

A gentle, example-based guide to getting started with the Move prover.
Move
30
star
6

Masamune

A smart contract security search utility
Python
20
star
7

example-ctf-challenge

A self-contained example Ethereum challenge using Paradigm's CTF framework
Python
10
star
8

DonkeySwap

Intentionally vulnerable Coin swap protocol. DO NOT USE. FOR LEARNING PURPOSES ONLY.
Move
4
star
9

BokkyPooBahsDateTimeLibrary

Formal verification of the popular BokkyPooBah's DateTimeLibrary
SMT
3
star
10

fhe_attacks

attack implementation against FHE
Sage
1
star