Timuçin OSANMAZ's repositories
LivePortrait
Bring portraits to life!
sdai
A tokenized wrapper around the DSR.
lambdaworks
lambdaworks offers implementations for both SNARKs and STARKs provers, along with the flexibility to leverage their individual components for constructing customized SNARKs.
DiffSynth-Studio
Enjoy the magic of Diffusion models!
zupass
Zuzalu Passport
hallo
Hallo: Hierarchical Audio-Driven Visual Synthesis for Portrait Image Animation
era-compiler-tester
Integration testing framework for ZKsync compilers
audits-portfolio
Shieldify's public audits portfolio
curve-docs
Curve Docs
v2-foundry
Foundry-based repo for V2 tools, expansions, new vaults, and surrounding infrastructure.
contracts
Smart contracts for the Metrom project.
aloe-ii
Money markets plugged into the power of Uniswap V3
V-Express
V-Express aims to generate a talking head video under the control of a reference image, an audio, and a sequence of V-Kps images.
Examples
An index repository with submodules for different examples of Certora projects