Diff & patch JavaScript objects

Appunti di Analisi Matematica Uno

Repository for the Stacks Project

gestione informazioni amministrative di dipartimento

Translator from GED to JSON-LD

A web-based collaborative LaTeX editor

plasTeX is a Python package that processes LaTeX documents into an XML-DOM-like object which can be used to generate various types of output.

An application to access Wacom SmartPad devices

Sistema inserimento piani di studio

covid19 interactive charts

COVID-19 Italia - Monitoraggio situazione

A textbook on informal homotopy type theory

Repo for guide.sst.dev

A plugin to deploy front-end assets to S3 via the Serverless Framework

The open-source database for the realtime web.

An online credibility network built on ethereum

JSXGraph is a cross-browser library for interactive geometry, function plotting, charting, and data visualization in a web browser.