« Home

All projects

EVMLiSA
An abstract interpretation-based static analyzer for EVM bytecode.
Java

Academic Guarantee Optimization
Answer Set Programming (ASP)-based tool for optimizing the assignment of academic guarantors to university courses.
ASP

Quantum Portfolio Optimization
Quantum Computing-based tool for optimizing portfolio allocation, enhancing traditional methods for improved risk-return management.
Python

Deep Neural Network Library
A flexible C++ library for building, training, and using deep neural networks.
C++

My-gpt4
Multiple reverse engineered language-model api's to decentralise the AI industry.
Python

Tracking messages on Bitcoin blockchain
Tracking messages entered as a value in the OP_RETURN field in a Bitcoin transaction.
Javascript