Saverio Mattia Merenda

Back to home Curriculum

All projects

Swarmloom AI agent orchestration for GitHub: durable jobs, isolated worktrees, independent review, and human merge. AI LLM database Open Ledgerly Self-hosted personal finance with queued Wallet ingestion, FX conversion, and deterministic forecasts separated from AI interpretation. AI LLM database Open Build Production Web App Installable coding-agent skill combining engineering practices with a Bun, Next.js, Hono, Prisma, and Docker starter. AI database Open EVM Cross-chain Policy Agent LLM-assisted Solidity analysis that maps cross-chain calls, events, and destination functions into structured policy JSON. Python LLM software-verification smart-contract ethereum Open EVMLiSA An abstract interpretation-based static analyzer for EVM bytecode. Java static-analysis abstract-interpretation software-verification smart-contract ethereum Open Personal Financial AI Agent Financial AI assistant with OpenAI, Gemini, or local Ollama inference, RAG, portfolio analysis, and Docker deployment. Python AI LLM 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