gavlix

Never hold back from following your dreams, because if you do you’ll miss out on so much life has to offer.

Pinned Repositories

Aleo-Lottery
Aleo Lottery
Language:Shell0 1 00
LovaszSoftmax
Code for the Lovász-Softmax loss (CVPR 2018)
Language:Jupyter Notebook0 0 00
thenos
00
leo
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
Language:Rust4.8k 36 21.3k655

gavlix's Repositories

gavlix/Aleo-Lottery
Aleo Lottery
Language:Shell0 1 00
gavlix/LovaszSoftmax
Code for the Lovász-Softmax loss (CVPR 2018)
Language:Jupyter Notebook0 0 00
gavlix/thenos
00