marcofavorito

Researcher @ Bank of Italy

@bancaditaliaRome, Italy

Pinned Repositories

pddl
Unquestionable PDDL 3.1 parser
Language:Python104 7 4030
black-it
Black-box abm calibration kit by the Bank of Italy
Language:Python43 8 82
ethermint-dos
Ethermint Denial-of-Service experiment
Language:Python71
master-thesis
My Master's thesis. Reinforcement Learning for LTLf/LDLf goals.
Language:TeX10 4 01
ml-from-scratch
Machine Learning algorithms implementation in Python from scratch.
Language:Jupyter Notebook10 3 01
my-bookshelf
Collection of books/papers that I've read/I'm going to read/I would remember that they exist/It is unlikely that I'll read/I'll never read.
Language:HTML75 6 036
pdfa-learning
Implementation of PDFAs and PDFA learning algorithm.
Language:Python11 5 00
python-project-template
Yet another Python project template.
Language:Python13 3 46
lydia
A tool for LDLf translation to DFA and for LDLf synthesis.
Language:C++23 4 297
pythomata
A Python package for automata theory.
Language:Python54 2 236

marcofavorito's Repositories

marcofavorito/my-bookshelf
Collection of books/papers that I've read/I'm going to read/I would remember that they exist/It is unlikely that I'll read/I'll never read.
Language:HTML75 6 036
marcofavorito/python-project-template
Yet another Python project template.
Language:Python13 3 46
marcofavorito/pdfa-learning
Implementation of PDFAs and PDFA learning algorithm.
Language:Python11 5 00
marcofavorito/micrograd-js
A porting of Karpathy's Micrograd to JS
Language:TypeScript7 3 0
marcofavorito/yarllib
Yet Another Reinforcement Learning Library.
Language:Python4 3 01
marcofavorito/nike
LTLf synthesis at gods' speed
Language:C++3 3 0
marcofavorito/streaming-qa-over-shy-and-warded
Language:Python3 4 0
marcofavorito/tl-grammars
Grammars for temporal logic formalisms.
Language:Python3 3 6
marcofavorito/zero-intelligence-plus-code
Code of the seminal paper "Minimal Intelligence Agents for Bargaining Behaviours in Market-Based Environments"
Language:C3 3 0
marcofavorito/docs-template
Template for documentation.
Language:HTML2 3 0
marcofavorito/latex-template
My Latex template.
Language:TeX2 3 0
marcofavorito/marcofavorito
2 3 0
marcofavorito/my-cmake-template
Repository template for CMake projects.
Language:Python2 3 0
marcofavorito/PAC-RDPs-code
Code for the PAC-RDP paper.
Language:Python2 5 0
marcofavorito/rltg-examples
Reinforcement Learning examples using RLTG
Language:Python2 3 1
marcofavorito/scibench
General framework for experiment benchmarking in academic research
Language:Python2 3 0
marcofavorito/beamer-template
My Beamer template.
Language:TeX1 3 0
marcofavorito/bitml2mcmas
Strategic Reasoning of BitML Smart Contracts using the MCMAS Model Checker
Language:Python1
marcofavorito/dotfiles
My dotfiles.
Language:Shell1 3 0
marcofavorito/ethereum-whitepaper
Reproducing the Ethereum Whitepaper using Manubot
Language:HTML1 3 0
marcofavorito/google-hashcode-2021
Repository for Google HashCode 2021
Language:Python1 5 0
marcofavorito/java-project-template
A Java project template
Language:Java1 3 0
marcofavorito/jekyll-pdf
Create PDFs from Jekyll pages & documents.
Language:Ruby1 2 0
marcofavorito/lisa-issue
Language:Python1 3 0
marcofavorito/marcofavorito.github.io
My personal webpage.
Language:JavaScript1 3 0
marcofavorito/MDP-Planner-Chip-Production
Language:Python1 1 0
marcofavorito/mic-toolbox
Toolbox for implementation of the Markov information criterion
Language:Cython1 2 0
marcofavorito/open-aea
A framework for open autonomous economic agent (AEA) development - no package vendor is prioritised over other package vendors
Language:Python1 2 0
marcofavorito/virtual-environments
GitHub Actions virtual environments
Language:PowerShell1 2 0
marcofavorito/AIDA2
A tool for composition of services in smart manufacturing
Language:Python1 0