Gianluca Amato's repositories
bdp-downloader
A Firefox plugin for automatically downloading documents from the website bdp.giustizia.it
ciao
Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.
docker-wims
Docker image for WIMS (Web Interactive Multipurpose Server)
docker-wims-lti
Docker image for WIMS (Web Interactive Multipurpose Server) LTI
lezioni-logica
Lezioni di logica
public-engagement2
The second version of the public engagement software, written in PHP
reinforcement-learning
Experiments from the Sutton & Barto book on reinforcemente learning
rms-support-letter.github.io
An open letter in support of Richard Matthew Stallman being reinstated by the Free Software Foundation
WIMS-modules
Internationalization of WIMS modules