marcofavorito Goto Github PK

jekyll-pandoc-multiple-formats

Use pandoc on jekyll to generate posts in multiple formats. Development has moved to https://0xacab.org/edsl/jekyll-pandoc-multiple-formats

jekyll-pdf

Create PDFs from Jekyll pages & documents.

knowledge-based-telegram-bot

A Knowledge-based Telegram bot

latex-template

My Latex template.

leanings

Experiments using the Lean theorem prover

learnlib-examples

Learning regular languages using LearnLib

linux-mail-slots

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

linux-modules-templates

lisa-issue

marcofavorito

marcofavorito.github.io

My personal webpage.

master-thesis

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

mdckp

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

mdp-planner-chip-production

mic-toolbox

Toolbox for implementation of the Markov information criterion

micrograd-js

A porting of Karpathy's Micrograd to JS

mkdocs-bibtex

A MkDocs plugin for citation management using bibtex

ml-from-scratch

Machine Learning algorithms implementation in Python from scratch.

ml-project-checklist

moby_dict

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

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.

my-cmake-template

Repository template for CMake projects.

my-exercism

My Exercism solutions.

nike

LTLf synthesis at gods' speed

open-aea

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

pac-rdps-code

Code for the PAC-RDP paper.

papis

Powerful and highly extensible command-line based document and bibliography manager.

pdfa-learning

Implementation of PDFAs and PDFA learning algorithm.

pintourist

portable-search-engine

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