marcofavorito/marcofavorito.github.io

Stars
2
Language
JavaScript
Created over 7 years ago
Updated 8 months ago

marcofavorito/marcofavorito.github.io

marcofavorito

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

My personal webpage.

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.

master-thesis

My Master's thesis. Reinforcement Learning for LTLf/LDLf goals.

ml-from-scratch

Machine Learning algorithms implementation in Python from scratch.

Jupyter Notebook

micrograd-js

A porting of Karpathy's Micrograd to JS

ethermint-dos

Ethermint Denial-of-Service experiment

how-to-secure-raspberrypi

A guide for secure your RaspberryPi from bad guys!

pythogic

A Python package for deal with logical formulas and formal systems (e.g. FOL)

yarllib

Yet Another Reinforcement Learning Library.

zero-intelligence-plus-code

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

streaming-qa-over-shy-and-warded

tl-grammars

Grammars for temporal logic formalisms.

nike

LTLf synthesis at gods' speed

marcofavorito

docs-template

Template for documentation.

PAC-RDPs-code

Code for the PAC-RDP paper.

rltg-examples

Reinforcement Learning examples using RLTG

latex-template

My Latex template.

moby_dict

Python API for the Moby lexicon project, the largest word list in the world.

scibench

General framework for experiment benchmarking in academic research

my-cmake-template

Repository template for CMake projects.

leanings

Experiments using the Lean theorem prover

my-exercism

My Exercism solutions.

linux-mail-slots

Linux Mail slots, similar to Windows "mail slots".

beamer-template

My Beamer template.

dotfiles

lisa-issue

ethereum-whitepaper

Reproducing the Ethereum Whitepaper using Manubot

google-hashcode-2021

Repository for Google HashCode 2021

runtime-polymorphism

Code from the Sean Parent's Talk "Better Code: Runtime Polymorphism - Sean Parent"

ip-change-detector-telegram-bot

IP-change detector that notifies you via Telegram.

java-project-template

A Java project template

costituzione-della-repubblica-italiana

La Costituzione della Repubblica Italiana

MDCKP

Multiple Disjunctively Constrained Knapsak problem: definition and an approximation algorithm implementation.

learnlib-examples

Learning regular languages using LearnLib

portable-search-engine

Setup scripts for having easy access to a full-fledged search engine leveraging the amazing MG4J.