Stars
Linux version for the DeepCool Digital Windows software.
vitefolts First Order Logic Typescript theorem prover
A very simple, highly customisable youtube-like react loader component.
Specification for Discreet Log Contracts
The ultimate, most advanced, security, DeFi, assembly, web3 auditor course ever created.
Drop in a screenshot and convert it to clean code (HTML/Tailwind/React/Vue)
Seaport is a marketplace protocol for safely and efficiently buying and selling NFTs.