marfvr

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.

python-project-template

Yet another Python project template.

pdfa-learning

Implementation of PDFAs and PDFA learning algorithm.

micrograd-js

A porting of Karpathy's Micrograd to JS

yarllib

Yet Another Reinforcement Learning Library.

nike

LTLf synthesis at gods' speed

streaming-qa-over-shy-and-warded

tl-grammars

Grammars for temporal logic formalisms.

zero-intelligence-plus-code

Code of the seminal paper "Minimal Intelligence Agents for Bargaining Behaviours in Market-Based Environments"

docs-template

Template for documentation.

latex-template

My Latex template.

marcofavorito

my-cmake-template

Repository template for CMake projects.

PAC-RDPs-code

Code for the PAC-RDP paper.

rltg-examples

Reinforcement Learning examples using RLTG

scibench

General framework for experiment benchmarking in academic research

AIDA2

A tool for composition of services in smart manufacturing

beamer-template

My Beamer template.

bitml2mcmas

Strategic Reasoning of BitML Smart Contracts using the MCMAS Model Checker

dotfiles

My dotfiles.

ethereum-whitepaper

Reproducing the Ethereum Whitepaper using Manubot

google-hashcode-2021

Repository for Google HashCode 2021

java-project-template

A Java project template

jekyll-pdf

Create PDFs from Jekyll pages & documents.

marcofavorito.github.io

My personal webpage.

mic-toolbox

Toolbox for implementation of the Markov information criterion

open-aea

A framework for open autonomous economic agent (AEA) development - no package vendor is prioritised over other package vendors

hevm

Symbolic and concrete EVM execution engine

latex-beamerposter

The LaTeX beamerposter package

MDP-Planner-Chip-Production