amato-gianluca Goto Github PK

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

lezioni-logica

Lezioni di logica

manifolds

Differential geometry in HOL Light.

myhott

My implementation of the HOTT/UF book

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

scalafix

A Scala library for solving fixpoint equations

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)

wims-lti

LTI bridge between LMS and WIMS. Documentation : https://wims-lti.readthedocs.io/

wims-modules

Internationalization of WIMS modules

wimsapi

A Python 3 implementation of WIMS adm/raw module.