Pinned Repositories
leo
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
bitcoin
Bitcoin Core integration/staging tree
bot-digikala-treasure-hunt-1400
روبات مسابقه شکار گنج بک فرایدی دیجیکالا ۱۴۰۰
PokemonRedExperiments
Playing Pokemon Red with Reinforcement Learning
scaffold-eth-challenges
Scaffold-Eth 🏗 Challenges repository
Tictacii
whisper-openvino
openvino version of openai/whisper
pediaproject's Repositories
pediaproject/bitcoin
Bitcoin Core integration/staging tree
pediaproject/PokemonRedExperiments
Playing Pokemon Red with Reinforcement Learning
pediaproject/bot-digikala-treasure-hunt-1400
روبات مسابقه شکار گنج بک فرایدی دیجیکالا ۱۴۰۰
pediaproject/scaffold-eth-challenges
Scaffold-Eth 🏗 Challenges repository
pediaproject/Tictacii
pediaproject/whisper-openvino
openvino version of openai/whisper