amato-gianluca

Gianluca Amato's repositories

UniMath

This coq library aims to formalize a substantial body of mathematics using the univalent point of view.

Language:CoqNOASSERTION3 50

weirds

Software and data on weird numbers (and friends)

Language:PythonGPL-3.01 20

ciao

Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.

Language:PrologLGPL-3.0000

ciaopp

The Ciao Preprocessor

Language:PrologLGPL-3.0000

docker-wims

Docker image for WIMS (Web Interactive Multipurpose Server)

Language:Dockerfile020

docker-wims-lti

Docker image for WIMS (Web Interactive Multipurpose Server) LTI

Language:Dockerfile010

FamilyLMC

Language:JavaScriptGPL-3.0000

Jandom

This is my personal fork of the official jandom-devel/Jandom repository. WARNING! This is subject to frequent rebasing.

Language:ScalaLGPL-3.0020

JandomWeb

A web interface for the Jandom Static Analyzer

Language:HTMLGPL-3.0010

lezioni-logica

Lezioni di logica

Language:TeXCC-BY-SA-4.0000

Manifolds

Differential geometry in HOL Light.

Language:Coq030

MyHOTT

My implementation of the HOTT/UF book

Language:CoqGPL-3.0010

public-engagement2

The second version of the public engagement software, written in PHP

Language:PHP000

reinforcement-learning

Experiments from the Sutton & Barto book on reinforcemente learning

Language:Jupyter Notebook000

rms-support-letter.github.io

An open letter in support of Richard Matthew Stallman being reinstated by the Free Software Foundation

Language:PythonGPL-3.0000

ScalaFix

A Scala library for solving fixpoint equations

Language:ScalaGPL-3.0000

wims-lti

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

Language:PythonGPL-3.0000

WIMS-modules

Internationalization of WIMS modules

Language:C++000

wimsapi

A Python 3 implementation of WIMS adm/raw module.

Language:PythonMIT000