« 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

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