Discover @marcofavorito Open Source projects

Marco Favorito (@marcofavorito)

marcofavorito

Stars
201
Global Rank 122,768 (Top 5 %)
Followers 124
Following 452
Registered about 10 years ago
Most used languages

Python
42.9 %

C++
11.4 %

HTML
8.6 %

TeX
8.6 %

Java
5.7 %

Shell
5.7 %

Batchfile 2.9 %

TypeScript
2.9 %

C
2.9 %

Jupyter Notebook
2.9 %

Lean 2.9 %

JavaScript
2.9 %
Location 🇮🇹 Italy
Country Total Rank 1,134
Country Ranking

Lean 6

HTML
53

TeX
64

Batchfile 74

Jupyter Notebook
367

Python
530

TypeScript
560

C++
887

Shell
990

C
1,082

Java
1,755

JavaScript
2,969

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

marcofavorito.github.io

My personal webpage.

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.