amato-gianluca
Associate professor of mathematical logic at the University of Chieti-Pescara.
UniversitĂ di Chieti-PescaraPescara, Italy
Pinned 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.
ciaopp
The Ciao Preprocessor
docker-wims
Docker image for WIMS (Web Interactive Multipurpose Server)
docker-wims-lti
Docker image for WIMS (Web Interactive Multipurpose Server) LTI
FamilyLMC
Jandom
This is my personal fork of the official jandom-devel/Jandom repository. WARNING! This is subject to frequent rebasing.
JandomWeb
A web interface for the Jandom Static Analyzer
UniMath
This coq library aims to formalize a substantial body of mathematics using the univalent point of view.
weirds
Software and data on weird numbers (and friends)
amato-gianluca's Repositories
amato-gianluca/UniMath
This coq library aims to formalize a substantial body of mathematics using the univalent point of view.
amato-gianluca/weirds
Software and data on weird numbers (and friends)
amato-gianluca/bdp-downloader
A Firefox plugin for automatically downloading documents from the website bdp.giustizia.it
amato-gianluca/ciao
Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.
amato-gianluca/ciaopp
The Ciao Preprocessor
amato-gianluca/docker-wims
Docker image for WIMS (Web Interactive Multipurpose Server)
amato-gianluca/docker-wims-lti
Docker image for WIMS (Web Interactive Multipurpose Server) LTI
amato-gianluca/FamilyLMC
amato-gianluca/Jandom
This is my personal fork of the official jandom-devel/Jandom repository. WARNING! This is subject to frequent rebasing.
amato-gianluca/JandomWeb
A web interface for the Jandom Static Analyzer
amato-gianluca/lezioni-logica
Lezioni di logica
amato-gianluca/Manifolds
Differential geometry in HOL Light.
amato-gianluca/MyHOTT
My implementation of the HOTT/UF book
amato-gianluca/public-engagement2
The second version of the public engagement software, written in PHP
amato-gianluca/reinforcement-learning
Experiments from the Sutton & Barto book on reinforcemente learning
amato-gianluca/rms-support-letter.github.io
An open letter in support of Richard Matthew Stallman being reinstated by the Free Software Foundation
amato-gianluca/ScalaFix
A Scala library for solving fixpoint equations
amato-gianluca/wims-lti
LTI bridge between LMS and WIMS. Documentation : https://wims-lti.readthedocs.io/
amato-gianluca/WIMS-modules
Internationalization of WIMS modules
amato-gianluca/wimsapi
A Python 3 implementation of WIMS adm/raw module.