Jonas's repositories
Reddit-Shorts-Bot
Program to upload auto generated videos to YouTube
RCAIT
Rapid Classification AI Trainer
Language:C++LGPL-3.0000
solidity-formal-specification
Implementation and specification of new Solidity Data Strucutres
Language:SolidityMIT000