All projects

EVMLiSA An abstract interpretation-based static analyzer for EVM bytecode. Java static-analysis abstract-interpretation software-verification smart-contract ethereum Open Academic Guarantee Optimization Answer Set Programming (ASP)-based tool for optimizing the assignment of academic guarantors to university courses. ASP Open Quantum Portfolio Optimization Quantum Computing-based tool for optimizing portfolio allocation, enhancing traditional methods for improved risk-return management. Python Open Deep Neural Network Library A flexible C++ library for building, training, and using deep neural networks. C++ Open My-gpt4 Multiple reverse engineered language-model api's to decentralise the AI industry. Python Open Tracking messages on Bitcoin blockchain Tracking messages entered as a value in the OP_RETURN field in a Bitcoin transaction. Javascript Open